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