Struct DlencProof 

pub struct DlencProof {
    pub p_tilde: BoxedUint,
    pub e: SBig,
    pub z1: SBig,
    pub z2: SBig,
    pub z3: SBig,
}

Compact proof.

Fields

p_tilde: BoxedUint

P̃ ∈ Z*_M̂, canonical (< M̂).

e: SBig

z1: SBig

z2: SBig

z3: SBig

Implementations

impl DlencProof

pub fn prove<R: CryptoRng + ?Sized>( rng: &mut R, tx: &Transcript, params: &Params, st: &DlencStatement<'_>, w: &DlencWitness, ) -> Result<Self>

pub fn verify( &self, tx: &Transcript, params: &Params, st: &DlencStatement<'_>, ) -> Result<()>

pub fn encoded_len(params: &Params) -> usize

pub fn encode(&self, params: &Params) -> Result<Vec<u8>>

P̃ (⌈n_client/8⌉ bytes, big-endian) ‖ e ‖ z1 ‖ z2 ‖ z3 (spec §10.2 signed format).

pub fn decode(bytes: &[u8], params: &Params) -> Result<Self>

Trait Implementations

impl Clone for DlencProof

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DlencProof

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

Formats the value using the given formatter.

impl Eq for DlencProof

impl PartialEq for DlencProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DlencProof