Struct GkrProof 

pub struct GkrProof<SC: StarkProtocolConfig> {
    pub logup_pow_witness: SC::F,
    pub q0_claim: SC::EF,
    pub claims_per_layer: Vec<GkrLayerClaims<SC>>,
    pub sumcheck_polys: Vec<Vec<[SC::EF; 3]>>,
}

Fields

logup_pow_witness: SC::F

The grinding proof-of-work witness before sampling LogUp alpha,beta

q0_claim: SC::EF

The denominator of the root layer.

Note that the numerator claim is always zero, so we don’t include it in the proof. Despite that the numerator is zero, the representation of the denominator is important for the verification procedure and thus must be provided.

claims_per_layer: Vec<GkrLayerClaims<SC>>

The claims for p_j(xi, 0), p_j(xi, 1), q_j(xi, 0), and q_j(xi, 0) for each layer j > 0.

sumcheck_polys: Vec<Vec<[SC::EF; 3]>>

The sumcheck polynomials for each layer, for each sumcheck round, given by their evaluations on {1, 2, 3}.

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

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

Equality operator ==.

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

Inequality operator !=.

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.