Struct DhTupleProverInput

pub struct DhTupleProverInput {
    pub w: Wscalar,
    pub common_input: ProveDhTuple,
}

Diffie-Hellman tuple and secret Used in a proof that of equality of discrete logarithms (i.e., a proof of a Diffie-Hellman tuple): given group elements g, h, u, v, the proof convinces a verifier that the prover knows w such that u = g^w and v = h^w, without revealing w

Fields

w: Wscalar

Diffie-Hellman tuple’s secret

common_input: ProveDhTuple

Diffie-Hellman tuple

Implementations

impl DhTupleProverInput

pub const SIZE_BYTES: usize = 164usize

Size in bytes: 32(secret)+33(g)+33(h)+33(u)+33(v)=164 bytes

pub fn random() -> DhTupleProverInput

Create random secret and Diffie-Hellman tuple

pub fn public_image(&self) -> &ProveDhTuple

Public image (Diffie-Hellman tuple)

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

32(secret)+33(g)+33(h)+33(u)+33(v)=164 bytes

pub fn from_bytes(bytes: &[u8; 164]) -> Option<DhTupleProverInput>

Parse from bytes (32(secret)+33(g)+33(h)+33(u)+33(v)=164 bytes) secret is expected as SEC-1-encoded scalar of 32 bytes, g,h,u,v are expected as 33-byte compressed points

pub fn from_bytes_fields( w_bytes: &[u8; 32], g_bytes: &[u8; 33], h_bytes: &[u8; 33], u_bytes: &[u8; 33], v_bytes: &[u8; 33], ) -> Option<DhTupleProverInput>

Parse from bytes secret is expected as SEC-1-encoded scalar of 32 bytes, g,h,u,v are expected as 33-byte compressed points

Trait Implementations

impl Clone for DhTupleProverInput

fn clone(&self) -> DhTupleProverInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DhTupleProverInput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DhTupleProverInput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<DhTupleProverInput> for PrivateInput

fn from(original: DhTupleProverInput) -> PrivateInput

Converts to this type from the input type.

impl PartialEq for DhTupleProverInput

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for DhTupleProverInput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DhTupleProverInput

impl StructuralPartialEq for DhTupleProverInput