Skip to main content

SP1InnerPcs

Type Alias SP1InnerPcs 

Source
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