Struct OpenedValues

pub struct OpenedValues<Challenge> {
    pub preprocessed: Vec<AdjacentOpenedValues<Challenge>>,
    pub main: Vec<Vec<AdjacentOpenedValues<Challenge>>>,
    pub after_challenge: Vec<Vec<AdjacentOpenedValues<Challenge>>>,
    pub quotient: Vec<Vec<Vec<Challenge>>>,
}

Fields

preprocessed: Vec<AdjacentOpenedValues<Challenge>>

For each preprocessed trace commitment, the opened values

main: Vec<Vec<AdjacentOpenedValues<Challenge>>>

For each main trace commitment, for each matrix in commitment, the opened values

after_challenge: Vec<Vec<AdjacentOpenedValues<Challenge>>>

For each phase after challenge, there is shared commitment. For each commitment, if any, for each matrix in the commitment, the opened values,

quotient: Vec<Vec<Vec<Challenge>>>

For each RAP, for each quotient chunk in quotient poly, the opened values

Trait Implementations

impl<Challenge: Clone> Clone for OpenedValues<Challenge>

fn clone(&self) -> OpenedValues<Challenge>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, Challenge> Deserialize<'de> for OpenedValues<Challenge>

where 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<Challenge> Serialize for OpenedValues<Challenge>

where Challenge: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.