Struct CommitPhaseMultiStep 

pub struct CommitPhaseMultiStep<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.

Implementations

impl<F: Field, M: Mmcs<F>> CommitPhaseMultiStep<F, M>

pub fn checked_log_arity(&self, max_log_arity: usize) -> Option<usize>

Convert log_arity to usize and enforce the protocol bounds.

Returns None when log_arity is zero or exceeds max_log_arity.

Every field of this struct deserializes straight from an untrusted proof, so this is the guard that turns a proof-controlled log_arity into a schedule entry usable by crate::verifier::fold_query. It is public for that reason: a caller replaying the fold chain outside crate::verifier::verify_fri must derive its log_arities through this method.

Trait Implementations

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

where M::MultiProof: Clone,

fn clone(&self) -> CommitPhaseMultiStep<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 CommitPhaseMultiStep<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 CommitPhaseMultiStep<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 CommitPhaseMultiStep<F, M>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.