Struct zkp::toolbox::verifier::Verifier

[+] Show declaration

pub struct Verifier<'a> {
    transcript: &'a mut Transcript,
    num_scalars: usize,
    points: Vec<CompressedRistretto>,
    point_labels: Vec<&'static [u8]>,
    constraints: Vec<(PointVar, Vec<(ScalarVar, PointVar)>)>,
}

[−] Expand description

Used to produce verification results.

To use a Verifier, first construct one using Verifier::new(), supplying a domain separation label, as well as the transcript to operate on.

Then, allocate secret (Verifier::allocate_scalar) variables and allocate and assign public (Verifier::allocate_point) variables, and use those variables to define the proof statements. Note that no assignments to secret variables are assigned, since the verifier doesn't know the secrets.

Finally, use Verifier::verify_compact or Verifier::verify_batchable to consume the verifier and produce a verification result.

Fields

transcript: &'a mut Transcript

num_scalars: usize

points: Vec<CompressedRistretto>

point_labels: Vec<&'static [u8]>

constraints: Vec<(PointVar, Vec<(ScalarVar, PointVar)>)>

Methods

impl<'a> Verifier<'a>[−]

pub fn new(proof_label: &'static [u8], transcript: &'a mut Transcript) -> Self[−]

Construct a verifier for the proof statement with the given proof_label, operating on the given transcript.

pub fn allocate_scalar(&mut self, label: &'static [u8]) -> ScalarVar[−]

Allocate a placeholder scalar variable, without an assignment.

pub fn allocate_point(
    &mut self,
    label: &'static [u8],
    assignment: CompressedRistretto
) -> Result<PointVar, ProofError>[−]

Attempt to allocate a point variable, or fail verification if the assignment is invalid.

pub fn verify_compact(self, proof: &CompactProof) -> Result<(), ProofError>[−]

Consume the verifier to produce a verification of a CompactProof.

pub fn verify_batchable(self, proof: &BatchableProof) -> Result<(), ProofError>[−]

Consume the verifier to produce a verification of a BatchableProof.

Trait Implementations

impl<'a> SchnorrCS for Verifier<'a>[+]

[+] Show hidden undocumented items

type ScalarVar = ScalarVar

A handle for a scalar variable in the constraint system.

type PointVar = PointVar

A handle for a point variable in the constraint system.

fn constrain(
    &mut self,
    lhs: PointVar,
    linear_combination: Vec<(ScalarVar, PointVar)>
)[−]

Add a constraint of the form lhs = linear_combination.