Struct DfProof 

pub struct DfProof {
    pub e: Vec<u8>,
    pub z: Vec<SBig>,
}

Proof of correct DF parameters. e[i] = e1 | e2 << 1.

Fields

e: Vec<u8>

z: Vec<SBig>

Implementations

impl DfProof

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

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

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

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

Packed challenge bits ‖ z_i (sign byte + ⌈(2ℓ+ν−1)/8⌉ bytes each).

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

Trait Implementations

impl Clone for DfProof

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 DfProof

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

Formats the value using the given formatter.

impl Eq for DfProof

impl PartialEq for DfProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DfProof