pub type SP1InnerPcs = SP1Pcs<SP1GlobalContext>;Expand description
The PCS used for all stages of SP1 proving except for wrap.
Aliased Type§
pub struct SP1InnerPcs {
pub basefold_verifier: BasefoldVerifier<KoalaBearDegree4Duplex>,
pub log_stacking_height: u32,
/* private fields */
}Fields§
§basefold_verifier: BasefoldVerifier<KoalaBearDegree4Duplex>§log_stacking_height: u32