Struct AirProofData

pub struct AirProofData<SC: StarkGenericConfig> {
    pub air_id: usize,
    pub degree: usize,
    pub exposed_values_after_challenge: Vec<Vec<SC::Challenge>>,
    pub public_values: Vec<Val<SC>>,
}

Fields

air_id: usize

degree: usize

height of trace matrix.

exposed_values_after_challenge: Vec<Vec<SC::Challenge>>

For each challenge phase with trace, the values to expose to the verifier in that phase

public_values: Vec<Val<SC>>

Trait Implementations

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

where SC::Challenge: 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 AirProofData<SC>

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 AirProofData<SC>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.