[−][src]Trait dusk_plonk::transcript::TranscriptProtocol

pub trait TranscriptProtocol {
    fn append_commitment(&mut self, label: &'static [u8], comm: &Commitment);

    fn append_scalar(&mut self, label: &'static [u8], s: &Scalar);

    fn challenge_scalar(&mut self, label: &'static [u8]) -> Scalar;

    fn circuit_domain_sep(&mut self, n: u64);
}
[−]

Transcript adds an abstraction over the Merlin transcript For convenience

Required methods

fn append_commitment(&mut self, label: &'static [u8], comm: &Commitment)[−]

Append a commitment with the given label.

fn append_scalar(&mut self, label: &'static [u8], s: &Scalar)[−]

Append a Scalar with the given label.

fn challenge_scalar(&mut self, label: &'static [u8]) -> Scalar[−]

Compute a labeled challenge variable.

fn circuit_domain_sep(&mut self, n: u64)[−]

Append domain separator for the circuit size.

Implementations on Foreign Types

impl TranscriptProtocol for Transcript[src][−]

Implementors