Struct RangeProof 

pub struct RangeProof {
    pub z: BigUint,
    pub u: BigUint,
    pub w: BigUint,
    pub s: BigUint,
    pub s1: BigUint,
    pub s2: BigUint,
}

Initiator’s range proof: knowledge of (m, r) with c = Γ^m·r^N mod N² and m ∈ [0, q³].

Fields

z: BigUint

Commitment h₁^m·h₂^ρ mod Ñ.

u: BigUint

Announcement Γ^α·β^N mod N².

w: BigUint

Announcement h₁^α·h₂^γ mod Ñ.

s: BigUint

Response r^e·β mod N.

s1: BigUint

Response e·m + α (checked ≤ q³ as an integer).

s2: BigUint

Response e·ρ + γ.

Trait Implementations

impl Clone for RangeProof

fn clone(&self) -> RangeProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RangeProof

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

Formats the value using the given formatter.