Struct U64RangeProofProtocol 

pub struct U64RangeProofProtocol {
    pub g: ProjectivePoint,
    pub g_vec: Vec<ProjectivePoint>,
    pub h_vec: Vec<ProjectivePoint>,
}

Represents public information for reciprocal range proof protocol for [0..2^64) range.

Fields

g: ProjectivePoint

Will be used for the value commitment as: commitment = x*g + s*h_vec[0]

g_vec: Vec<ProjectivePoint>

Dimension: 16

h_vec: Vec<ProjectivePoint>

Will be used for the value commitment as: commitment = x*g + s*h_vec[0] Dimension: 26+6=32

Implementations

impl U64RangeProofProtocol

pub const DIM_ND: usize = 16usize

Count of digits of u64 in hex representation.

pub const DIM_NP: usize = 16usize

Base (hex)

pub fn commit_value(&self, x: u64, s: &Scalar) -> ProjectivePoint

Creates commitment for the private value and blinding: commitment = x*g + s*h_vec[0]

pub fn verify( &self, v: &ProjectivePoint, proof: Proof, t: &mut Transcript, ) -> bool

Verifies that committed value in v lies in range [0..2^64).

pub fn prove<R>( &self, x: u64, s: &Scalar, t: &mut Transcript, rng: &mut R, ) -> Proof

where R: RngCore + CryptoRng,

Creates proof that values x with blinding s lies in [0..2^64).

pub fn u64_to_hex(x: u64) -> Vec<Scalar>

pub fn u64_to_hex_mapped(x: u64) -> Vec<Scalar>

Trait Implementations

impl Clone for U64RangeProofProtocol

fn clone(&self) -> U64RangeProofProtocol

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for U64RangeProofProtocol

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

Formats the value using the given formatter.