Skip to main content

SP1PcsProofInner

sp1_hypercube

Type Alias SP1PcsProofInner 

Source 
pub type SP1PcsProofInner = SP1PcsProof<SP1GlobalContext>;
Expand description

The proof type for all stages of SP1 proving except for wrap.

Aliased Type§

pub struct SP1PcsProofInner {
    pub basefold_proof: BasefoldProof<KoalaBearDegree4Duplex>,
    pub batch_evaluations: Rounds<MleEval<BinomialExtensionField<KoalaBear, 4>>>,
}

Fields§

§basefold_proof: BasefoldProof<KoalaBearDegree4Duplex>§batch_evaluations: Rounds<MleEval<BinomialExtensionField<KoalaBear, 4>>>