Struct QueryProof

pub struct QueryProof<CP: CommitmentEvaluationProof> {
    pub bit_distributions: Vec<BitDistribution>,
    pub commitments: Vec<CP::Commitment>,
    pub sumcheck_proof: SumcheckProof<CP::Scalar>,
    pub pcs_proof_evaluations: Vec<CP::Scalar>,
    pub evaluation_proof: CP,
}

The proof for a query.

Note: Because the class is deserialized from untrusted data, it cannot maintain any invariant on its data members; hence, they are all public so as to allow for easy manipulation for testing.

Fields

bit_distributions: Vec<BitDistribution>

Bit distributions

commitments: Vec<CP::Commitment>

Commitments

sumcheck_proof: SumcheckProof<CP::Scalar>

Sumcheck Proof

pcs_proof_evaluations: Vec<CP::Scalar>

MLEs used in sumcheck except for the result columns

evaluation_proof: CP

Inner product proof of the MLEs’ evaluations

Implementations

impl<CP: CommitmentEvaluationProof> QueryProof<CP>

pub fn new( expr: &(impl ProofPlan + Serialize), accessor: &impl DataAccessor<CP::Scalar>, setup: &CP::ProverPublicSetup<'_>, ) -> (Self, ProvableQueryResult)

Create a new QueryProof.

pub fn verify( &self, expr: &(impl ProofPlan + Serialize), accessor: &impl CommitmentAccessor<CP::Commitment>, result: &ProvableQueryResult, setup: &CP::VerifierPublicSetup<'_>, ) -> QueryResult<CP::Scalar>

Verify a QueryProof. Note: This does NOT transform the result!

Trait Implementations

impl<CP: Clone + CommitmentEvaluationProof> Clone for QueryProof<CP>

where CP::Commitment: Clone, CP::Scalar: Clone,

fn clone(&self) -> QueryProof<CP>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, CP> Deserialize<'de> for QueryProof<CP>

where CP: Deserialize<'de> + CommitmentEvaluationProof,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<CP> Serialize for QueryProof<CP>

where CP: Serialize + CommitmentEvaluationProof,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.