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_lde_height: RVar<C::N>,
) -> Ext<C::F, C::EF>
Expand description
Verifies a FRI query.
Currently assumes the index that is accessed is constant.