Skip to main content

verify_zerocheck_and_logup

openvm_stark_backend::verifier::batch_constraints

Function verify_zerocheck_and_logup 

Source 
pub fn verify_zerocheck_and_logup<SC: StarkProtocolConfig, TS: FiatShamirTranscript<SC>>(
    transcript: &mut TS,
    mvk: &MultiStarkVerifyingKey0<SC>,
    public_values: &[Vec<SC::F>],
    gkr_proof: &GkrProof<SC>,
    batch_proof: &BatchConstraintProof<SC>,
    trace_id_to_air_id: &[usize],
    n_per_trace: &[isize],
    omega_skip_pows: &[SC::F],
) -> Result<Vec<SC::EF>, BatchConstraintError<SC::EF>>
Expand description

public_values should be in vkey (air_idx) order, including non-present AIRs.