Struct BatchBrakedownOracleProver 

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

A ProxTestOracleProver bundling several separately committed BrakedownOracleProvers.

The bundled oracles all wrap interleaved codewords of the same length that are batched into a single folded codeword during the first FRI fold. Their query openings are written sequentially, one oracle’s full decommitment after another, so the verifier reads each committed oracle’s advice in turn.

Implementations

impl<P, C, Data> BatchBrakedownOracleProver<P, C, Data>

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

pub const fn new( oracles: Vec<BrakedownOracleProver<P, C, Data>>, ) -> BatchBrakedownOracleProver<P, C, Data>

Constructs a batch oracle prover from the per-commitment oracle provers.

Trait Implementations

impl<F, P, C, Data> ProxTestOracleProver<F> for BatchBrakedownOracleProver<P, C, Data>

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

type Commitment = C

The Merkle commitment handle for the committed oracle.

fn open_queries<Channel>( &self, indices: &[<Channel as WordIPProverChannel<F>>::Word], channel: &mut Channel, )

where Channel: MerkleIPProverChannel<F, Commitment = <BatchBrakedownOracleProver<P, C, Data> as ProxTestOracleProver<F>>::Commitment>,

Sends the per-oracle batched query openings: the oracle’s optimal Merkle layer once, followed by each queried coset’s values and Merkle opening proof.