Struct WhirProof 

pub struct WhirProof<SC: StarkProtocolConfig> {
    pub mu_pow_witness: SC::F,
    pub whir_sumcheck_polys: Vec<[SC::EF; 2]>,
    pub codeword_commits: Vec<SC::Digest>,
    pub ood_values: Vec<SC::EF>,
    pub folding_pow_witnesses: Vec<SC::F>,
    pub query_phase_pow_witnesses: Vec<SC::F>,
    pub initial_round_opened_rows: Vec<Vec<Vec<Vec<SC::F>>>>,
    pub initial_round_merkle_proofs: Vec<Vec<MerkleProof<SC::Digest>>>,
    pub codeword_opened_values: Vec<Vec<Vec<SC::EF>>>,
    pub codeword_merkle_proofs: Vec<Vec<MerkleProof<SC::Digest>>>,
    pub final_poly: Vec<SC::EF>,
}

WHIR polynomial opening proof for multiple polynomials of the same height, committed to in multiple commitments.

Fields

mu_pow_witness: SC::F

Proof-of-work witness for μ batching challenge.

whir_sumcheck_polys: Vec<[SC::EF; 2]>

Per sumcheck round; evaluations on {1, 2}. This list is “flattened” with respect to the WHIR rounds.

codeword_commits: Vec<SC::Digest>

The codeword commits after each fold, except the final round.

ood_values: Vec<SC::EF>

The out-of-domain values “y0” per round, except the final round.

folding_pow_witnesses: Vec<SC::F>

For each sumcheck round, the folding PoW witness. Length is num_whir_sumcheck_rounds = num_whir_rounds * k_whir.

query_phase_pow_witnesses: Vec<SC::F>

For each WHIR round, the query phase PoW witness. Length is num_whir_rounds.

initial_round_opened_rows: Vec<Vec<Vec<Vec<SC::F>>>>

For the initial round: per committed matrix, per in-domain query.

initial_round_merkle_proofs: Vec<Vec<MerkleProof<SC::Digest>>>

codeword_opened_values: Vec<Vec<Vec<SC::EF>>>

Per non-initial round, per in-domain-query.

codeword_merkle_proofs: Vec<Vec<MerkleProof<SC::Digest>>>

final_poly: Vec<SC::EF>

Coefficients of the polynomial after the final round.

Trait Implementations

impl<SC: StarkProtocolConfig> Clone for WhirProof<SC>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<SC: StarkProtocolConfig> Debug for WhirProof<SC>

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

Formats the value using the given formatter.

impl<SC: DecodableConfig> Decode for WhirProof<SC>

fn decode<R: Read>(reader: &mut R) -> Result<Self>

Reads and decodes a value from the given reader.

fn decode_from_bytes(bytes: &[u8]) -> Result<Self>

impl<'de, SC: StarkProtocolConfig> Deserialize<'de> for WhirProof<SC>

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC: EncodableConfig> Encode for WhirProof<SC>

fn encode<W: Write>(&self, writer: &mut W) -> Result<()>

Writes the encoded representation of self to the given writer.

fn encode_to_vec(&self) -> Result<Vec<u8>>

Convenience method to encode into a Vec<u8>

impl<SC: StarkProtocolConfig> Eq for WhirProof<SC>

impl<SC: StarkProtocolConfig> PartialEq for WhirProof<SC>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<SC: StarkProtocolConfig> Serialize for WhirProof<SC>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.