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\)

Methods

impl DLEQProof

fn _new<D, T>(
    rng: &mut T,
    P: RistrettoPoint,
    Q: RistrettoPoint,
    k: &SigningKey
) -> Result<Self, TokenError> 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.