Skip to main content

SP1PcsProofOuter

sp1_hypercube

Type Alias SP1PcsProofOuter 

Source 
pub type SP1PcsProofOuter = SP1PcsProof<SP1OuterGlobalContext>;
Expand description

The proof type for wrap proving.

Aliased Type§

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

Fields§

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