Function hacspec_halo2::step_21

source · 
pub(crate) fn step_21(xi: FpVesta, z: FpVesta) -> (FpVesta, FpVesta)
Expand description

Step 21 Get the xi and z challenges. They have to be fed into hacspec, since there is no randomness.

Arguments

  • xi - the ξ challenge
  • z - the z challenge