Struct FRIQueryVerifier 

pub struct FRIQueryVerifier<'a, F, E, C>
where
    F: BinaryField,
{ /* private fields */ }

A verifier for the FRI query phase.

The verifier is instantiated after the folding rounds and is used to test consistency of the round messages and the original purported codeword.

Internally, this is a composition of ProxTestOracles: a BatchBrakedownOracle performs the first, interleaved reduction of the committed codeword(s), then one FRIOracle per fold arity performs each subsequent FRI reduction. The verifier orchestrates the consistency checks between these oracles and the final, fully-folded terminal codeword. The oracles are parameterized by the Merkle commitment handle type C of the channel that receives the query openings.

Implementations

impl<'a, F, E, C> FRIQueryVerifier<'a, F, E, C>

where F: BinaryField, E: FieldOps<Scalar = F> + From<F>, C: Clone,

pub fn new( params: &'a FRIParams<F>, codeword_commitment: &C, round_commitments: &[C], challenges: &'a [E], ) -> Self

pub fn new_batch( params: &'a FRIParams<F>, codeword_commitments: &[C], round_commitments: &[C], challenges: &'a [E], ) -> Self

Constructs a query verifier for a batch of committed input oracles.

The input oracles share the Reed-Solomon code but may have differing batch sizes; they are reduced into a single first-round FRI oracle. The commitments must be supplied in the same order as FRIParams::input_oracles.

Preconditions

• codeword_commitments.len() must equal params.input_oracles().len().
• round_commitments.len() must equal params.n_oracles().
• challenges.len() must equal params.n_fold_rounds().
• Each input oracle’s dimension (log_msg_len - log_batch_size) must be at most params.rs_code().log_dim().

pub const fn n_oracles(&self) -> usize

Number of oracles sent during the fold rounds.

pub fn verify<Channel>(&self, channel: &mut Channel) -> Result<E, Error>

where Channel: MerkleIPVerifierChannel<F, Commitment = C, Elem = E>,