Function constraint_set_zerocheck_claim

source

pub fn constraint_set_zerocheck_claim<F: TowerField, P: PackedField>(
    constraint_set: ConstraintSet<P>,
    oracles: &MultilinearOracleSet<F>,
) -> Result<(ZerocheckClaim<P::Scalar, impl CompositionPoly<P::Scalar>>, OracleClaimMeta), Error>

Expand description

Create a zerocheck claim from the constraint set. Fails when the constraint set contains regular sumchecks. Returns claim and metadata used for evalcheck claim construction.

Function constraint_set_zerocheck_claimCopy item path

Function constraint_set_zerocheck_claim