binius_core::protocols::sumcheck_v2

Module univariate

source

Functions§

  • univariatizing_reduction_claim
    Creates sumcheck claims for the reduction from evaluations of univariatized virtual multilinear oracles to “regular” multilinear evaluations.
  • verify_sumcheck_outputs
    Verify the validity of sumcheck outputs for the reduction zerocheck.