Struct StarkProvingKey

pub struct StarkProvingKey<SC: StarkGenericConfig> {
    pub air_name: String,
    pub vk: StarkVerifyingKey<SC>,
    pub preprocessed_data: Option<ProverOnlySinglePreprocessedData<SC>>,
    pub rap_phase_seq_pk: RapPhaseSeqProvingKey<SC>,
}

Proving key for a single STARK (corresponding to single AIR matrix)

Fields

air_name: String

Type name of the AIR, for display purposes only

vk: StarkVerifyingKey<SC>

Verifying key

preprocessed_data: Option<ProverOnlySinglePreprocessedData<SC>>

Prover only data for preprocessed trace

rap_phase_seq_pk: RapPhaseSeqProvingKey<SC>

Trait Implementations

impl<SC: StarkGenericConfig> Clone for StarkProvingKey<SC>

where Com<SC>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'de, SC: StarkGenericConfig> Deserialize<'de> for StarkProvingKey<SC>

where PcsProverData<SC>: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC: StarkGenericConfig> Serialize for StarkProvingKey<SC>

where PcsProverData<SC>: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.