Skip to main content

SP1OuterPcs

Type Alias SP1OuterPcs 

Source
pub type SP1OuterPcs = SP1Pcs<SP1OuterGlobalContext>;
Expand description

The PCS used for wrap proving.

Aliased Type§

pub struct SP1OuterPcs {
    pub basefold_verifier: BasefoldVerifier<Poseidon2Bn254GlobalConfig<KoalaBear, BinomialExtensionField<KoalaBear, 4>>>,
    pub log_stacking_height: u32,
    /* private fields */
}

Fields§

§basefold_verifier: BasefoldVerifier<Poseidon2Bn254GlobalConfig<KoalaBear, BinomialExtensionField<KoalaBear, 4>>>§log_stacking_height: u32