Struct MultiStarkProvingKey

pub struct MultiStarkProvingKey<SC: StarkGenericConfig> {
    pub per_air: Vec<StarkProvingKey<SC>>,
    pub max_constraint_degree: usize,
}

Common proving key for multiple AIRs.

This struct contains the necessary data for the prover to generate proofs for multiple AIRs using a single proving key.

Fields

per_air: Vec<StarkProvingKey<SC>>

max_constraint_degree: usize

Maximum degree of constraints (excluding logup constraints) across all AIRs

Implementations

impl<SC: StarkGenericConfig> MultiStarkProvingKey<SC>

pub fn get_vk(&self) -> MultiStarkVerifyingKey<SC>

impl<SC: StarkGenericConfig> MultiStarkProvingKey<SC>

pub fn get_quotient_vk_data_per_air(&self) -> Vec<QuotientVkData<'_, SC>>

impl<SC: StarkGenericConfig> MultiStarkProvingKey<SC>

pub fn validate(&self, proof_input: &ProofInput<SC>) -> bool

Trait Implementations

impl<SC: StarkGenericConfig> Clone for MultiStarkProvingKey<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 MultiStarkProvingKey<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 MultiStarkProvingKey<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.