Struct sigma_fun::ext::dl_secp256k1_ed25519_eq::CrossCurveDLEQ

pub struct CrossCurveDLEQ<T> { /* fields omitted */ }

The proof system which prepares the high level statement to be proved/verified with CoreProof.

Implementations

impl<T: Transcript<CoreProof> + Default> CrossCurveDLEQ<T>

pub fn new(HP: PointP, HQ: PointQ) -> Self

Creates a new prover given the the additional point to be used inthe Pedersen commitment for each curve.

pub fn prove(
    &self,
    secret: &ScalarQ,
    rng: &mut impl CryptoRng + RngCore
) -> (CrossCurveDLEQProof, (PointP, PointQ)) where
    T: ProverTranscript<CoreProof>, 

Generates the two corresponding points for the same 252-bit ed25519 secret and generates a proof that they have the same discrete logarithm.

Returns the proof and the two points that form the equality claim.

Panics

• If the secret is larger than 2^253 -1
• If the secret is 0

pub fn verify(
    &self,
    proof: &CrossCurveDLEQProof,
    claim: (PointP, PointQ)
) -> bool

Verify the claimed points have the same 252-bit discrete logarithm

Trait Implementations

impl<T: Clone> Clone for CrossCurveDLEQ<T>

fn clone(&self) -> CrossCurveDLEQ<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for CrossCurveDLEQ<T>

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

Formats the value using the given formatter.