Struct BinaryPcsProof 

pub struct BinaryPcsProof<F: Field, EF: Field, MT: Mmcs<F>, MX: Mmcs<EF>> {
    pub sumcheck: SumcheckData<F, EF>,
    pub rounds: Vec<RoundProof<EF, MX>>,
    pub base_opened_values: Vec<Vec<F>>,
    pub base_multi_proof: MT::MultiProof,
    pub final_codeword: Poly<EF>,
    pub pow_witness: F,
    pub evals: Vec<OpeningEvals<EF>>,
}

A full opening proof.

The last fold batch has no round entry. Its codeword has already shrunk to 2^log_inv_rate symbols, so it is sent in full.

A Merkle path over it would only repeat what the verifier can already read. Every earlier batch is committed and opened at every coset position a query needs.

The base commitment holds the committed alphabet, every folded one the challenge field. The first fold of the schedule is what crosses between the two.

Fields

sumcheck: SumcheckData<F, EF>

Every sumcheck round message, in round order.

rounds: Vec<RoundProof<EF, MX>>

One entry per intermediate fold batch, excluding the final batch.

base_opened_values: Vec<Vec<F>>

All symbols of the sampled base cosets, in query order with ascending coset offsets. The first batch’s arity determines the number of width-1 rows per query.

base_multi_proof: MT::MultiProof

Multiproof for the base commitment’s queried rows.

final_codeword: Poly<EF>

The final folded codeword, sent in full and absorbed before query grinding/sampling.

pow_witness: F

Witness for the single grind before the query phase.

evals: Vec<OpeningEvals<EF>>

Claimed evaluations, in the opening protocol’s own schedule order.

One batch per protocol entry. Each batch holds the current-point values separately from the successor-point ones.

Trait Implementations

impl<F: Clone + Field, EF: Clone + Field, MT: Clone + Mmcs<F>, MX: Clone + Mmcs<EF>> Clone for BinaryPcsProof<F, EF, MT, MX>

where MT::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, F: Field, EF: Field, MT: Mmcs<F>, MX: Mmcs<EF>> Deserialize<'de> for BinaryPcsProof<F, EF, MT, MX>

where MT::Commitment: Deserialize<'de>, MT::MultiProof: Deserialize<'de>, 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<F: Field, EF: Field, MT: Mmcs<F>, MX: Mmcs<EF>> Serialize for BinaryPcsProof<F, EF, MT, MX>

where MT::Commitment: Serialize, MT::MultiProof: Serialize, 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.