check_proof_evals_len

kimchi::verifier

Function check_proof_evals_len 

Source 
fn check_proof_evals_len<const FULL_ROUNDS: usize, G, OpeningProof>(
    proof: &ProverProof<G, OpeningProof, FULL_ROUNDS>,
    expected_size: usize,
) -> Result<()>
where
    OpeningProof: OpenProof<G, FULL_ROUNDS>,
    G: KimchiCurve<FULL_ROUNDS>,
    G::BaseField: PrimeField,
Expand description

Enforce the length of evaluations inside ProverProof. Atm, the length of evaluations(both zeta and zeta_omega) SHOULD be 1. The length value is prone to future change.