Struct RoundProof 

pub struct RoundProof<EF: Field, MX: Mmcs<EF>> {
    pub commitment: MX::Commitment,
    pub opened_values: Vec<Vec<EF>>,
    pub multi_proof: MX::MultiProof,
}

One intermediate fold batch: the commitment to that round’s folded codeword, and its query openings.

Fields

commitment: MX::Commitment

Merkle root of this round’s folded codeword.

opened_values: Vec<Vec<EF>>

Every symbol of each queried coset, one width-1 row per symbol. Coset width is 2^arity for the next fold batch, derived from the verifier’s configuration. Cosets follow sampled query order; symbols inside a coset are ascending.

multi_proof: MX::MultiProof

One multiproof authenticating every opened row of this round together.

Trait Implementations

impl<EF: Clone + Field, MX: Clone + Mmcs<EF>> Clone for RoundProof<EF, MX>

where MX::Commitment: Clone, MX::MultiProof: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'de, EF: Field, MX: Mmcs<EF>> Deserialize<'de> for RoundProof<EF, MX>

where MX::Commitment: Deserialize<'de>, MX::MultiProof: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<EF: Field, MX: Mmcs<EF>> Serialize for RoundProof<EF, MX>

where MX::Commitment: Serialize, MX::MultiProof: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.