Struct zkp::toolbox::verifier::Verifier

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)>)>,
}

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>

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.