Struct StarkVerifyingKey

pub struct StarkVerifyingKey<SC: StarkGenericConfig> {
    pub preprocessed_data: Option<VerifierSinglePreprocessedData<SC>>,
    pub params: StarkVerifyingParams,
    pub symbolic_constraints: SymbolicConstraints<Val<SC>>,
    pub quotient_degree: usize,
    pub rap_phase_seq_kind: RapPhaseSeqKind,
}

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

Fields

preprocessed_data: Option<VerifierSinglePreprocessedData<SC>>

Preprocessed trace data, if any

params: StarkVerifyingParams

Parameters of the STARK

symbolic_constraints: SymbolicConstraints<Val<SC>>

Symbolic constraints of the AIR in all challenge phases. This is a serialization of the constraints in the AIR.

quotient_degree: usize

The factor to multiple the trace degree by to get the degree of the quotient polynomial. Determined from the max constraint degree of the AIR constraints. This is equivalently the number of chunks the quotient polynomial is split into.

rap_phase_seq_kind: RapPhaseSeqKind

Implementations

impl<SC: StarkGenericConfig> StarkVerifyingKey<SC>

pub fn num_cached_mains(&self) -> usize

pub fn has_common_main(&self) -> bool

pub fn has_interaction(&self) -> bool

Trait Implementations

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

where Com<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 StarkVerifyingKey<SC>

where Com<SC>: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.