Struct zk_paillier::zkproofs::CiphertextProof

pub struct CiphertextProof {
    pub z1: BigInt,
    pub z2: BigInt,
    pub c_prime: BigInt,
}

This proof shows that a paillier ciphertext was constructed correctly

The proof is taken from https://www.brics.dk/RS/00/14/BRICS-RS-00-14.pdf 9.1.3 Given a ciphertext c and a prover encryption key , a prover wants to prove that it knows (x,r) such that c = Enc(x,r)

1. P picks x’,r’ at random, and computes c’ = Enc(x’, r’)
2. P computes z1 = x’ + ex , z2 = r’ *r^e (e is a varifier challenge)
3. P sends, c’ , z1,z2
4. V accepts if 1) Enc(z1,z2 ) = c’ * c^e

Fields

z1: BigInt

z2: BigInt

c_prime: BigInt

Implementations

impl CiphertextProof

pub fn prove(
    witness: &CiphertextWitness,
    statement: &CiphertextStatement
) -> Self

pub fn verify(
    &self,
    statement: &CiphertextStatement
) -> Result<(), IncorrectProof>

Trait Implementations

impl Clone for CiphertextProof

fn clone(&self) -> CiphertextProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CiphertextProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CiphertextProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<CiphertextProof> for CiphertextProof

fn eq(&self, other: &CiphertextProof) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CiphertextProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CiphertextProof