Struct challenge_bypass_ristretto::voprf::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.

Methods

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.