Trait OpeningProver

pub trait OpeningProver<PB: ProverBackend> {
    // Required method
    fn open(
        &self,
        challenger: &mut PB::Challenger,
        preprocessed: Vec<&PB::PcsData>,
        main: Vec<&PB::PcsData>,
        after_phase: Vec<PB::PcsData>,
        quotient_data: PB::PcsData,
        quotient_degrees: &[u8],
    ) -> PB::OpeningProof;
}

Polynomial commitment scheme (PCS) opening proof generator.

Required Methods

fn open( &self, challenger: &mut PB::Challenger, preprocessed: Vec<&PB::PcsData>, main: Vec<&PB::PcsData>, after_phase: Vec<PB::PcsData>, quotient_data: PB::PcsData, quotient_degrees: &[u8], ) -> PB::OpeningProof

Opening proof for multiple RAP matrices, where

• (for now) each preprocessed trace matrix has a separate commitment
• main trace matrices can have multiple commitments
• for each after_challenge phase, all matrices in the phase share a commitment
• quotient poly chunks are all committed together

Implementors

impl<SC: StarkGenericConfig> OpeningProver<CpuBackend<SC>> for CpuDevice<'_, SC>