Struct StackingProof 

pub struct StackingProof<SC: StarkProtocolConfig> {
    pub univariate_round_coeffs: Vec<SC::EF>,
    pub sumcheck_round_polys: Vec<[SC::EF; 2]>,
    pub stacking_openings: Vec<Vec<SC::EF>>,
}

Fields

univariate_round_coeffs: Vec<SC::EF>

Polynomial for round 0, given by 2 * (2^{l_skip} - 1) + 1 coefficients.

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

Rounds 1, …, n_stack; evaluations at {1, 2}.

stacking_openings: Vec<Vec<SC::EF>>

Per commit, per column.

Trait Implementations

impl<SC: StarkProtocolConfig> Clone for StackingProof<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 StackingProof<SC>

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

Formats the value using the given formatter.

impl<SC: DecodableConfig> Decode for StackingProof<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 StackingProof<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 StackingProof<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 StackingProof<SC>

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

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

Equality operator ==.

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

Inequality operator !=.

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.