Struct dusk_plonk::proof_system::verifier::Verifier

pub struct Verifier {
    pub verifier_key: Option<VerifierKey>,
    pub preprocessed_transcript: Transcript,
    // some fields omitted
}

Verifier verifies a proof

Fields

verifier_key: Option<VerifierKey>

VerificationKey which is used to verify a specific PLONK circuit

preprocessed_transcript: Transcript

Store the messages exchanged during the preprocessing stage This is copied each time, we make a proof, so that we can use the same verifier to Verify multiple proofs from the same circuit. If this is not copied, then the verification procedure will modify the transcript, making it unusable for future proofs.

Implementations

impl Verifier

pub fn new(label: &'static [u8]) -> Verifier

Creates a new verifier object

pub fn circuit_size(&self) -> usize

Returns the number of gates in the circuit

pub fn mut_cs(&mut self) -> &mut StandardComposer

Returns a mutable copy of the underlying composer

pub fn preprocess(&mut self, commit_key: &CommitKey) -> Result<(), Error>

Preprocess a proof

pub fn key_transcript(&mut self, label: &'static [u8], message: &[u8])

Keys the transcript with additional seed information Wrapper around transcript.append_message

pub fn verify(
    &self,
    proof: &Proof,
    opening_key: &OpeningKey,
    public_inputs: &[Scalar]
) -> Result<(), Error>

Verifies a proof

Trait Implementations

impl Default for Verifier

fn default() -> Verifier

Returns the "default value" for a type.