Skip to main content

CompressProvingKey

sp1_prover::worker

Type Alias CompressProvingKey 

Source 
pub type CompressProvingKey<C> = ProvingKey<SP1GlobalContext, RecursionSC, <C as SP1ProverComponents>::RecursionProver>;

Aliased Type§

pub struct CompressProvingKey<C> {
    pub vk: MachineVerifyingKey<KoalaBearDegree4Duplex>,
    pub preprocessed_data: <<C as SP1ProverComponents>::RecursionProver as AirProver<KoalaBearDegree4Duplex, ShardContextImpl<KoalaBearDegree4Duplex, StackedPcsVerifier<KoalaBearDegree4Duplex>, RecursionAir<KoalaBear, COMPRESS_DEGREE, 2>>>>::PreprocessedData,
}

Fields§

§vk: MachineVerifyingKey<KoalaBearDegree4Duplex>

The verifying key.

§preprocessed_data: <<C as SP1ProverComponents>::RecursionProver as AirProver<KoalaBearDegree4Duplex, ShardContextImpl<KoalaBearDegree4Duplex, StackedPcsVerifier<KoalaBearDegree4Duplex>, RecursionAir<KoalaBear, COMPRESS_DEGREE, 2>>>>::PreprocessedData

The preprocessed data.