[][src]Trait bulletproofs::transcript::TranscriptProtocol

pub trait TranscriptProtocol {
    fn rangeproof_domain_sep(&mut self, n: u64, m: u64);
fn innerproduct_domain_sep(&mut self, n: u64);
fn r1cs_domain_sep(&mut self);
fn r1cs_1phase_domain_sep(&mut self);
fn r1cs_2phase_domain_sep(&mut self);
fn append_scalar(&mut self, label: &'static [u8], scalar: &Scalar);
fn append_point(
        &mut self,
        label: &'static [u8],
        point: &CompressedRistretto
    );
fn validate_and_append_point(
        &mut self,
        label: &'static [u8],
        point: &CompressedRistretto
    ) -> Result<(), ProofError>;
fn challenge_scalar(&mut self, label: &'static [u8]) -> Scalar; }

Required methods

fn rangeproof_domain_sep(&mut self, n: u64, m: u64)

Append a domain separator for an n-bit, m-party range proof.

fn innerproduct_domain_sep(&mut self, n: u64)

Append a domain separator for a length-n inner product proof.

fn r1cs_domain_sep(&mut self)

Append a domain separator for a constraint system.

fn r1cs_1phase_domain_sep(&mut self)

Commit a domain separator for a CS without randomized constraints.

fn r1cs_2phase_domain_sep(&mut self)

Commit a domain separator for a CS with randomized constraints.

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

Append a scalar with the given label.

fn append_point(&mut self, label: &'static [u8], point: &CompressedRistretto)

Append a point with the given label.

fn validate_and_append_point(
    &mut self,
    label: &'static [u8],
    point: &CompressedRistretto
) -> Result<(), ProofError>

Check that a point is not the identity, then append it to the transcript. Otherwise, return an error.

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

Compute a labeled challenge variable.

Loading content...

Implementations on Foreign Types

impl TranscriptProtocol for Transcript[src]

Loading content...

Implementors

Loading content...