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

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

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

`fn r1cs_domain_sep(&mut self)`[src]

`fn r1cs_1phase_domain_sep(&mut self)`[src]

`fn r1cs_2phase_domain_sep(&mut self)`[src]

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

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

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

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

Loading content...

Implementors

Loading content...