Trait zk_paillier::zkproofs::CorrectOpening

pub trait CorrectOpening<R, CT> {
    fn verify_opening(
        ek: &EncryptionKey,
        m: RawPlaintext<'_>,
        r: &R,
        c: &CT
    ) -> bool;
}

Verify correct opening of ciphertext.

Required Methods

fn verify_opening(ek: &EncryptionKey, m: RawPlaintext<'_>, r: &R, c: &CT) -> bool

Implementations on Foreign Types

impl<R, CT> CorrectOpening<R, CT> for Paillierwhere
    Self: for<'a, 'b> EncryptWithChosenRandomness<EncryptionKey, RawPlaintext<'a>, &'b R, CT>,
    CT: PartialEq,

fn verify_opening(ek: &EncryptionKey, m: RawPlaintext<'_>, r: &R, c: &CT) -> bool

Implementors