Enum Bulletproof

pub enum Bulletproof {
    Original(AggregateRangeProof),
    Plus(AggregateRangeProof),
}

A Bulletproof(+).

This encapsulates either a Bulletproof or a Bulletproof+.

Variants

Original(AggregateRangeProof)

A Bulletproof.

Plus(AggregateRangeProof)

A Bulletproof+.

Implementations

impl Bulletproof

pub fn calculate_bp_clawback(plus: bool, n_outputs: usize) -> (usize, usize)

Calculate the weight penalty for the Bulletproof(+).

Bulletproofs(+) are logarithmically sized yet linearly timed. Evaluating by their size alone accordingly doesn’t properly represent the burden of the proof. Monero ‘claws back’ some of the weight lost by using a proof smaller than it is fast to compensate for this.

pub fn prove<R: RngCore + CryptoRng>( rng: &mut R, outputs: Vec<Commitment>, ) -> Result<Bulletproof, BulletproofError>

Prove the list of commitments are within [0 .. 2^64) with an aggregate Bulletproof.

pub fn prove_plus<R: RngCore + CryptoRng>( rng: &mut R, outputs: Vec<Commitment>, ) -> Result<Bulletproof, BulletproofError>

Prove the list of commitments are within [0 .. 2^64) with an aggregate Bulletproof+.

pub fn verify<R: RngCore + CryptoRng>( &self, rng: &mut R, commitments: &[EdwardsPoint], ) -> bool

Verify the given Bulletproof(+).

pub fn batch_verify<R: RngCore + CryptoRng>( &self, rng: &mut R, verifier: &mut BatchVerifier, commitments: &[EdwardsPoint], ) -> bool

Accumulate the verification for the given Bulletproof(+) into the specified BatchVerifier.

Returns false if the Bulletproof(+) isn’t sane, leaving the BatchVerifier in an undefined state.

Returns true if the Bulletproof(+) is sane, regardless of its validity.

The BatchVerifier must have its verification function executed to actually verify this proof.

pub fn signature_write<W: Write>(&self, w: &mut W) -> Result<()>

Write a Bulletproof(+) for the message signed by a transaction’s signature.

This has a distinct encoding from the standard encoding.

pub fn write<W: Write>(&self, w: &mut W) -> Result<()>

Write a Bulletproof(+).

pub fn serialize(&self) -> Vec<u8>

Serialize a Bulletproof(+) to a Vec<u8>.

pub fn read<R: Read>(r: &mut R) -> Result<Bulletproof>

Read a Bulletproof.

pub fn read_plus<R: Read>(r: &mut R) -> Result<Bulletproof>

Read a Bulletproof+.

Trait Implementations

impl Clone for Bulletproof

fn clone(&self) -> Bulletproof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Bulletproof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Bulletproof

fn eq(&self, other: &Bulletproof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Bulletproof

impl StructuralPartialEq for Bulletproof

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 848 bytes

Size for each variant:

• Original: 848 bytes
• Plus: 632 bytes