Trait dock_crypto_utils::transcript::Transcript

pub trait Transcript {
    // Required methods
    fn append<S: CanonicalSerialize>(&mut self, label: &'static [u8], point: &S);
    fn challenge_scalar<F: Field>(&mut self, label: &'static [u8]) -> F;
}

Transcript is the application level transcript to derive the challenges needed for Fiat Shamir during aggregation. It is given to the prover/verifier so that the transcript can be fed with any other data first. Taken from https://github.com/nikkolasg/snarkpack

Required Methods

fn append<S: CanonicalSerialize>(&mut self, label: &'static [u8], point: &S)

fn challenge_scalar<F: Field>(&mut self, label: &'static [u8]) -> F

Implementations on Foreign Types

impl Transcript for Merlin

fn append<S: CanonicalSerialize>(&mut self, label: &'static [u8], element: &S)

fn challenge_scalar<F: Field>(&mut self, label: &'static [u8]) -> F

Implementors