Struct ZkSumcheckData 

pub struct ZkSumcheckData<F, EF> {
    pub mu_tilde: EF,
    pub ell_zk: usize,
    pub round_coefficients: Vec<Vec<EF>>,
    pub pow_witnesses: Vec<F>,
}

Per-round prover output of the HVZK sumcheck protocol.

• Prover writes;
• Verifier reads back during Fiat-Shamir replay.

One instance covers a full run of k rounds.

Wire format

Per round, the polynomial has coefficient layout

    [ c_0, c_1, c_2, ..., c_d ]    with  d = max(ell_zk - 1, 2)

The linear coefficient c_1 is dropped on the wire.

The verifier reconstructs c_1 from the affine identity

    h_j(0) + h_j(1) = 2 * c_0 + sum_{i >= 1} c_i = target

applied to the previous round’s target.

Soundness link to Lemma 6.4

Valid transcripts form an affine subspace of dimension 1 + k * (ell_zk - 1). The k dropped linear coefficients are exactly the redundant degrees of freedom of the rank-nullity argument.

Fields

mu_tilde: EF

Sum of all mask polynomial evaluations across the boolean hypercube {0,1}^k.

Observed on the transcript before the verifier samples the combining challenge. Lives in the extension field because the mask coefficients do.

ell_zk: usize

Message length of the zero-knowledge mask code.

The verifier rejects up front if its own expected value disagrees with this. Pinning this in the transcript closes a non-injectivity gap in the wire-length check: lengths 2 and 3 share a wire layout.

round_coefficients: Vec<Vec<EF>>

Per-round wire payload with the linear coefficient dropped.

One entry per sumcheck round. Layout per entry: [c_0, c_2, c_3, ..., c_d] with d = max(ell_zk - 1, 2).

pow_witnesses: Vec<F>

Per-round proof-of-work witnesses.

Length equals the number of rounds when grinding is enabled. Empty when pow_bits == 0.

Trait Implementations

impl<F: Clone, EF: Clone> Clone for ZkSumcheckData<F, EF>

fn clone(&self) -> ZkSumcheckData<F, EF>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, EF: Debug> Debug for ZkSumcheckData<F, EF>

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

Formats the value using the given formatter.

impl<F, EF: Field> Default for ZkSumcheckData<F, EF>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, F, EF> Deserialize<'de> for ZkSumcheckData<F, EF>

where F: Deserialize<'de>, EF: 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, EF> Serialize for ZkSumcheckData<F, EF>

where F: Serialize, EF: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.