Struct Proof 

pub struct Proof<SC: StarkProtocolConfig> {
    pub common_main_commit: SC::Digest,
    pub trace_vdata: Vec<Option<TraceVData<SC>>>,
    pub public_values: Vec<Vec<SC::F>>,
    pub gkr_proof: GkrProof<SC>,
    pub batch_constraint_proof: BatchConstraintProof<SC>,
    pub stacking_proof: StackingProof<SC>,
    pub whir_proof: WhirProof<SC>,
}

Fields

common_main_commit: SC::Digest

The commitment to the data in common_main.

trace_vdata: Vec<Option<TraceVData<SC>>>

For each AIR in vkey order, the corresponding trace shape, or None if the trace is empty. In a valid proof, if vk.per_air[i].is_required, then trace_vdata[i] must be Some(_).

public_values: Vec<Vec<SC::F>>

For each AIR in vkey order, the public values. Public values should be empty if the AIR has an empty trace.

gkr_proof: GkrProof<SC>

batch_constraint_proof: BatchConstraintProof<SC>

stacking_proof: StackingProof<SC>

whir_proof: WhirProof<SC>

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

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

Equality operator ==.

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

Inequality operator !=.

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.