Struct AirProofData

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

Fields

air_id: usize

degree: usize

height of trace matrix.

exposed_values_after_challenge: Vec<Vec<Challenge>>

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

public_values: Vec<Val>

Trait Implementations

impl<Val: Clone, Challenge: Clone> Clone for AirProofData<Val, Challenge>

fn clone(&self) -> AirProofData<Val, Challenge>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, Val, Challenge> Deserialize<'de> for AirProofData<Val, Challenge>

where Val: Deserialize<'de>, Challenge: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Val, Challenge> Serialize for AirProofData<Val, Challenge>

where Val: Serialize, Challenge: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.