Struct CircleCommitPhaseMultiStep 

pub struct CircleCommitPhaseMultiStep<F: Field, M: Mmcs<F>> {
    pub log_arity: u8,
    pub sibling_values: Vec<Vec<F>>,
    pub opening_proof: M::MultiProof,
}

All queries’ openings of one commit-phase codeword, sharing one proof.

The per-query equivalent shipped one full authentication path per query; queries into the same tree overlap heavily, so shared sibling digests are deduplicated by the multiproof.

Fields

log_arity: u8

The log2 of the folding arity used for this round.

The schedule is a protocol-wide constant, so it lives once per round rather than once per query.

sibling_values: Vec<Vec<F>>

For each query, the openings of the commit phase codeword at the sibling locations. For arity k, each entry contains k-1 sibling values.

opening_proof: M::MultiProof

One shared proof authenticating every query’s row in this round’s tree.

Trait Implementations

impl<F: Clone + Field, M: Clone + Mmcs<F>> Clone for CircleCommitPhaseMultiStep<F, M>

where M::MultiProof: Clone,

fn clone(&self) -> CircleCommitPhaseMultiStep<F, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field, M: Debug + Mmcs<F>> Debug for CircleCommitPhaseMultiStep<F, M>

where M::MultiProof: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, F: Field, M: Mmcs<F>> Deserialize<'de> for CircleCommitPhaseMultiStep<F, M>

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Field, M: Mmcs<F>> Serialize for CircleCommitPhaseMultiStep<F, M>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.