Struct chain_crypto::algorithms::zkps::dleq::Zkp

pub struct Zkp {
    challenge: Scalar,
    response: Scalar,
}

Proof of correct decryption. Note: if the goal is to reduce the size of a proof, it is better to store the challenge and the response. If on the other hand we want to allow for batch verification of proofs, we should store the announcements and the response.

Fields

challenge: Scalar

response: Scalar

Implementations

impl Zkp

pub const BYTES_LEN: usize = 64usize

pub fn generate<R>( base_1: &GroupElement, base_2: &GroupElement, point_1: &GroupElement, point_2: &GroupElement, dlog: &Scalar, rng: &mut R ) -> Selfwhere R: CryptoRng + RngCore,

Generate a DLEQ proof

pub fn verify( &self, base_1: &GroupElement, base_2: &GroupElement, point_1: &GroupElement, point_2: &GroupElement ) -> bool

Verify a DLEQ proof

pub fn to_bytes(&self) -> [u8; 64]

pub fn write_to_bytes(&self, output: &mut [u8])

pub fn from_bytes(slice: &[u8]) -> Option<Self>

Trait Implementations

impl Clone for Zkp

fn clone(&self) -> Zkp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Zkp

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

Formats the value using the given formatter.

impl Hash for Zkp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Zkp> for Zkp

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Zkp

impl StructuralEq for Zkp

impl StructuralPartialEq for Zkp