Struct dusk_plonk::proof_system::verifier::Verifier

[+] Show declaration

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

[−] Expand description

Verifier verifies a proof

Fields

verifier_key: Option<VerifierKey>

[−] Expand description

VerificationKey which is used to verify a specific PLONK circuit

preprocessed_transcript: Transcript

[−] Expand description

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[+]

[+] Show hidden undocumented items

fn default() -> Verifier[−]

Returns the "default value" for a type.