Struct challenge_bypass_ristretto::dleq::DLEQProof

pub struct DLEQProof {
    pub(crate) c: Scalar,
    pub(crate) s: Scalar,
}

A DLEQProof is a proof of the equivalence of the discrete logarithm between two pairs of points.

Fields

c: Scalar

c is a Scalar \(c=H_3(X,Y,P,Q,A,B)\)

s: Scalar

s is a Scalar \(s = (t - ck) \mod q\)

Implementations

impl DLEQProof

fn _new<D, T>( rng: &mut T, P: RistrettoPoint, Q: RistrettoPoint, k: &SigningKey ) -> Self

where D: Digest<OutputSize = U64> + Default, T: Rng + CryptoRng,

Construct a new DLEQProof

pub fn new<D, T>( rng: &mut T, blinded_token: &BlindedToken, signed_token: &SignedToken, k: &SigningKey ) -> Result<Self, TokenError>

where D: Digest<OutputSize = U64> + Default, T: Rng + CryptoRng,

Construct a new DLEQProof

fn _verify<D>( &self, P: RistrettoPoint, Q: RistrettoPoint, public_key: &PublicKey ) -> Result<(), TokenError>

where D: Digest<OutputSize = U64> + Default,

Verify the DLEQProof

pub fn verify<D>( &self, blinded_token: &BlindedToken, signed_token: &SignedToken, public_key: &PublicKey ) -> Result<(), TokenError>

where D: Digest<OutputSize = U64> + Default,

Verify the DLEQProof

impl DLEQProof

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

Convert this DLEQProof to a byte array.

fn bytes_length_error() -> TokenError

pub fn from_bytes(bytes: &[u8]) -> Result<DLEQProof, TokenError>

Construct a DLEQProof from a slice of bytes.

Trait Implementations

impl Clone for DLEQProof

fn clone(&self) -> DLEQProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DLEQProof

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

Formats the value using the given formatter.