Struct ark_linear_sumcheck::gkr_round_sumcheck::GKRRoundSumcheck

pub struct GKRRoundSumcheck<F: Field> { /* fields omitted */ }

Sumcheck Argument for GKR Round Function

Implementations

impl<F: Field> GKRRoundSumcheck<F>

pub fn prove(
    f1: &SparseMultilinearExtension<F>,
    f2: &DenseMultilinearExtension<F>,
    f3: &DenseMultilinearExtension<F>,
    g: &[F]
) -> GKRProof<F>

Takes a GKR Round Function and input, prove the sum.

• f1,f2,f3: represents the GKR round function
• g: represents the fixed input.

pub fn verify(
    f2_num_vars: usize,
    proof: &GKRProof<F>,
    claimed_sum: F
) -> Result<GKRRoundSumcheckSubClaim<F>, Error>

Takes a GKR Round Function, input, and proof, and returns a subclaim.

If the claimed_sum is correct, then it is subclaim.verify_subclaim will return true. Otherwise, it is very likely that subclaim.verify_subclaim will return false. Larger field size guarantees smaller soundness error.

• f2_num_vars: represents number of variables of f2