Struct StackedReductionCpu 

pub struct StackedReductionCpu<'a, SC: StarkProtocolConfig> { /* private fields */ }

Trait Implementations

impl<'a, SC: StarkProtocolConfig> StackedReductionProver<'a, CpuColMajorBackend<SC>, ReferenceDevice<SC>> for StackedReductionCpu<'a, SC>

where SC::F: TwoAdicField, SC::EF: TwoAdicField + ExtensionField<SC::F>, CpuColMajorBackend<SC>: ProverBackend<Val = SC::F, Challenge = SC::EF, PcsData = StackedPcsData<SC::F, SC::Digest>, Matrix = ColMajorMatrix<SC::F>>,

fn new( device: &ReferenceDevice<SC>, stacked_per_commit: Vec<&'a StackedPcsData<SC::F, SC::Digest>>, need_rot_per_commit: Vec<Vec<bool>>, r: &[SC::EF], lambda: SC::EF, ) -> Self

We only provide a view to the stacked PcsData per commitment because the WHIR prover will still use the PLE evaluations of the stacked matrices later. The order of stacked_per_commit is common_main, preprocessed for trace_idx=0 (if any), cached_0 for trace_idx=0, ..., preprocessed for trace_idx=1 (if any), ....

fn batch_sumcheck_uni_round0_poly(&mut self) -> UnivariatePoly<SC::EF>

Return the s_0 batched polynomial from univariate round 0 of sumcheck.

fn fold_ple_evals(&mut self, u_0: SC::EF)

fn batch_sumcheck_poly_eval( &mut self, round: usize, _u_prev: SC::EF, ) -> [SC::EF; 2]

fn fold_mle_evals(&mut self, round: usize, u_round: SC::EF)

fn into_stacked_openings(self) -> Vec<Vec<SC::EF>>