Struct ProverDataAfterRapPhases

pub struct ProverDataAfterRapPhases<PB: ProverBackend> {
    pub committed_pcs_data_per_phase: Vec<(PB::Commitment, PB::PcsData)>,
    pub rap_views_per_phase: Vec<Vec<RapSinglePhaseView<usize, PB::Challenge>>>,
}

Fields

committed_pcs_data_per_phase: Vec<(PB::Commitment, PB::PcsData)>

For each challenge phase after the main phase, the commitment and preimage (there should never be a reason to have more than one). This may be empty if challenge phases do not require additional trace commitments.

rap_views_per_phase: Vec<Vec<RapSinglePhaseView<usize, PB::Challenge>>>

For each challenge phase, for each RAP, the challenge, and exposed values for the RAP. The indexing is rap_views_per_phase[phase_idx][rap_idx].

Implementations

impl<PB: ProverBackend> ProverDataAfterRapPhases<PB>

pub fn new( committed_pcs_data_per_phase: Vec<(PB::Commitment, PB::PcsData)>, rap_views_per_phase: Vec<Vec<RapSinglePhaseView<usize, PB::Challenge>>>, ) -> Self

Constructs a new ProverDataAfterRapPhases.