Struct BatchBrakedownFolder 

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

Folds and commits a batch of interleaved codewords that share a folded length.

Each ProxTestFolder is committed separately and folds (by the same challenges) to a codeword of the common length codeword.log_len() - log_batch_size. The folded codewords are summed into a single codeword that continues through the FRI rounds, and the per-commitment BrakedownOracleProvers are bundled into a BatchBrakedownOracleProver.

Implementations

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

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

pub fn new( folders: Vec<ProxTestFolder<P, C, Data>>, log_code_len: usize, ) -> BatchBrakedownFolder<P, C, Data>

Constructs a batch folder from one or more interleaved-codeword folders.

log_code_len is the common (first-round) codeword length the folders combine into. Each folder’s own folded length must not exceed it; folders that fall short are lifted (their folded codewords duplicated) up to log_code_len during Self::fold.

pub fn fold( self, challenges: &[F], ) -> (FieldBuffer<F>, BatchBrakedownOracleProver<P, C, Data>)