Struct FRIQueryProver 

pub struct FRIQueryProver<F, P, C, Data = Vec<P>>
where
    F: Field,
    P: PackedField<Scalar = F>,
    Data: Deref<Target = [P]>,
{ /* private fields */ }

A prover for the FRI query phase.

This is a composition of ProxTestOracleProvers mirroring the verifier’s FRIQueryVerifier: a BatchBrakedownOracleProver for the codeword’s interleaved reduction, then one FRIOracleProver per fold arity for the subsequent reductions.

Implementations

impl<F, P, C, Data> FRIQueryProver<F, P, C, Data>

where F: Field, P: PackedField<Scalar = F>, Data: Deref<Target = [P]>,

pub const fn new( codeword_oracle: BatchBrakedownOracleProver<P, C, Data>, fri_oracles: Vec<FRIOracleProver<F, C>>, ) -> Self

Constructs a query prover from the per-oracle provers built during the fold phase.

codeword_oracle is the BatchBrakedownOracleProver for the originally committed interleaved codeword(s), and fri_oracles holds one FRIOracleProver per fold arity. The terminal codeword is sent in full and therefore is not represented here.

pub const fn n_oracles(&self) -> usize

Number of oracles sent during the fold rounds.

pub fn prove_queries<Channel>( &self, indices: &[Channel::Word], channel: &mut Channel, )

where Channel: MerkleIPProverChannel<F, Commitment = C>,

Proves the FRI challenge queries, batched per oracle.

For each committed oracle (the codeword first, then each fold-round oracle excluding the terminal codeword) this sends the oracle’s optimal Merkle layer once, followed by the coset opening for each query index. This per-oracle batched layout matches the verifier, which receives each oracle’s layer and then all of its query openings together.

Arguments

• indices - the sampled query indices into the original codeword domain