Struct Proof

pub struct Proof<SC: StarkGenericConfig> {
    pub commitments: Commitments<SC>,
    pub opening: OpeningProof<SC>,
    pub per_air: Vec<AirProofData<SC>>,
    pub rap_phase_seq_proof: Option<RapPhaseSeqPartialProof<SC>>,
}

The full proof for multiple RAPs where trace matrices are committed into multiple commitments, where each commitment is multi-matrix.

Includes the quotient commitments and FRI opening proofs for the constraints as well.

Fields

commitments: Commitments<SC>

The PCS commitments

opening: OpeningProof<SC>

Opening proofs separated by partition, but this may change

per_air: Vec<AirProofData<SC>>

Proof data for each AIR

rap_phase_seq_proof: Option<RapPhaseSeqPartialProof<SC>>

Partial proof for rap phase if it exists

Implementations

impl<SC: StarkGenericConfig> Proof<SC>

pub fn get_air_ids(&self) -> Vec<usize>

pub fn get_public_values(&self) -> Vec<Vec<Val<SC>>>

Trait Implementations

impl<SC: StarkGenericConfig> Clone for Proof<SC>

where Com<SC>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, SC: StarkGenericConfig> 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: StarkGenericConfig> 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.