openvm_native_recursion::fri

Function verify_query

Source
pub fn verify_query<C: Config>(
    builder: &mut Builder<C>,
    config: &FriConfigVariable<C>,
    commit_phase_commits: &Array<C, DigestVariable<C>>,
    index_bits: &Array<C, Var<C::N>>,
    proof: &FriQueryProofVariable<C>,
    betas: &Array<C, Ext<C::F, C::EF>>,
    reduced_openings: &Array<C, Ext<C::F, C::EF>>,
    log_max_height: RVar<C::N>,
) -> Ext<C::F, C::EF>
where C::F: TwoAdicField, C::EF: TwoAdicField,
Expand description

Verifies a FRI query.

Currently assumes the index that is accessed is constant.

Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L101