Struct dusk_plonk::proof_system::prover::Prover

pub struct Prover {
    pub prover_key: Option<ProverKey>,
    pub preprocessed_transcript: Transcript,
    // some fields omitted
}

Prover composes a circuit and builds a proof

Fields

prover_key: Option<ProverKey>

ProverKey which is used to create proofs about a specific PLONK circuit

preprocessed_transcript: Transcript

Store the messages exchanged during the preprocessing stage This is copied each time, we make a proof

Implementations

impl Prover

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>

Preprocesses the underlying constraint system

impl Prover

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

Creates a new prover object

pub fn circuit_size(&self) -> usize

Returns the number of gates in the circuit

pub fn clear_witness(&mut self)

Resets the witnesses in the prover object. This function is used when the user wants to make multiple proofs with the same circuit.

pub fn clear(&mut self)

Clears all data in the Prover This function is used when the user wants to use the same Prover to make a proof regarding a different circuit.

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 prove_with_preprocessed(
    &self,
    commit_key: &CommitKey,
    prover_key: &ProverKey
) -> Result<Proof, Error>

Creates a Proof that a circuit is satisfied Note that if you intend to make multiple proofs, after calling this method, the user should then call clear_witness. This is automatically done when prove is called

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

Proves a circuit is satisfied, then clears the witness variables If the circuit is not pre-processed, then the preprocessed circuit will also be computed

Trait Implementations

impl Default for Prover

fn default() -> Prover

Returns the "default value" for a type.