[−][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.

Loading content...

Implementations on Foreign Types

`impl TranscriptProtocol for Transcript`[src]

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

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

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

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

Loading content...

Implementors

Loading content...