Trait zei::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 validate_and_commit_point(
        &mut self, 
        label: &'static [u8], 
        point: &CompressedRistretto
    ) -> Result<(), ZeiError>;
}

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 validate_and_commit_point(
    &mut self,
    label: &'static [u8],
    point: &CompressedRistretto
) -> Result<(), ZeiError>

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

Loading content...

Implementations on Foreign Types

impl TranscriptProtocol for Transcript

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

fn innerproduct_domain_sep(&mut self, n: u64)

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

Loading content...

Implementors

Loading content...