Struct challenge_bypass_ristretto::dleq::BatchDLEQProof

pub struct BatchDLEQProof(DLEQProof);

A BatchDLEQProof is a proof of the equivalence of the discrete logarithm between a common pair of points and one or more other pairs of points.

Tuple Fields

0: DLEQProof

Implementations

impl BatchDLEQProof

fn calculate_composites<D>( blinded_tokens: &[BlindedToken], signed_tokens: &[SignedToken], public_key: &PublicKey ) -> Result<(RistrettoPoint, RistrettoPoint), TokenError>

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

pub fn new<D, T>( rng: &mut T, blinded_tokens: &[BlindedToken], signed_tokens: &[SignedToken], signing_key: &SigningKey ) -> Result<Self, TokenError>

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

Construct a new BatchDLEQProof

pub fn verify<D>( &self, blinded_tokens: &[BlindedToken], signed_tokens: &[SignedToken], public_key: &PublicKey ) -> Result<(), TokenError>

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

Verify a BatchDLEQProof

pub fn verify_and_unblind<'a, D, I>( &self, tokens: I, blinded_tokens: &[BlindedToken], signed_tokens: &[SignedToken], public_key: &PublicKey ) -> Result<Vec<UnblindedToken>, TokenError>

where D: Digest<OutputSize = U64> + Default, I: IntoIterator<Item = &'a Token>,

Verify the BatchDLEQProof then unblind the SignedTokens using each corresponding Token

impl BatchDLEQProof

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

Convert this BatchDLEQProof to a byte array.

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

Construct a BatchDLEQProof from a slice of bytes.

Trait Implementations

impl Clone for BatchDLEQProof

fn clone(&self) -> BatchDLEQProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BatchDLEQProof

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

Formats the value using the given formatter.