Struct HalProof

pub struct HalProof<PB: ProverBackend> {
    pub commitments: Commitments<PB::Commitment>,
    pub opening: PB::OpeningProof,
    pub per_air: Vec<AirProofData<PB::Val, PB::Challenge>>,
    pub rap_partial_proof: PB::RapPartialProof,
}

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<PB::Commitment>

The PCS commitments

opening: PB::OpeningProof

Opening proofs separated by partition, but this may change

per_air: Vec<AirProofData<PB::Val, PB::Challenge>>

Proof data for each AIR

rap_partial_proof: PB::RapPartialProof

Partial proof for rap phase if it exists

Trait Implementations

impl<PB: ProverBackend> Clone for HalProof<PB>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, PB: ProverBackend> Deserialize<'de> for HalProof<PB>

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<PB, SC: StarkGenericConfig> From<HalProof<PB>> for Proof<SC>

where PB: ProverBackend<Val = Val<SC>, Challenge = SC::Challenge, Commitment = Com<SC>>, PB::OpeningProof: Into<OpeningProof<PcsProof<SC>, SC::Challenge>>, PB::RapPartialProof: Into<Option<RapPhaseSeqPartialProof<SC>>>,

fn from(proof: HalProof<PB>) -> Self

Converts to this type from the input type.

impl<PB: ProverBackend> Serialize for HalProof<PB>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.