Struct DlogProof 

pub struct DlogProof {
    pub e: SBig,
    pub z: Scalar,
}

Compact proof (e, z).

Fields

e: SBig

z: Scalar

Implementations

impl DlogProof

pub fn prove<R: CryptoRng + ?Sized>( rng: &mut R, tx: &Transcript, params: &Params, x_pub: &ProjectivePoint, x: &Scalar, ) -> Result<Self>

Proves knowledge of x with X = g^x.

pub fn verify( &self, tx: &Transcript, params: &Params, x_pub: &ProjectivePoint, ) -> Result<()>

Verifies the proof for X.

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

e (sign byte + ⌈(ℓ−1)/8⌉ bytes) ‖ z (32 bytes).

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

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

Trait Implementations

impl Clone for DlogProof

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 DlogProof

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

Formats the value using the given formatter.

impl Eq for DlogProof

impl PartialEq for DlogProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DlogProof