Struct zk_paillier::zkproofs::MulProof

pub struct MulProof {
    pub f: BigInt,
    pub z1: BigInt,
    pub z2: BigInt,
    pub e_d: BigInt,
    pub e_db: BigInt,
}

This proof is a non-interactive version of Multiplication-mod-n^s protocol taken from DJ01 [https://www.brics.dk/RS/00/45/BRICS-RS-00-45.pdf ]

The prover knows 3 plaintexts a,b,c such that ab = c mod n. The prover goal is to prove that a triplet of ciphertexts encrypts plaintexts a,b,c holding the multiplication relationship

Witness: {a,b,c,r_a,r_b,r_c}

Statement: {e_a, e_b, e_c, ek}

Protocol:

1. P picks random values d from Z_n, r_d from Z_n* and computes e_d = Enc_ek(d,r_d), e_db = Enc_ek(db, r_d*r_b)
2. using Fiat-Shamir the parties computes a challenge e
3. P sends f = ea + d mod n , z1 = r_a^e *r_d mod n^2, z2 = r_b^f * (r_db * r_c^e)^-1 mod n^2
4. V checks: e_a^e * e_d = Enc_ek(f, z1), e_b^f*(e_db*e_c^e)^-1 = Enc_pk(0, z2)

Fields

f: BigInt

z1: BigInt

z2: BigInt

e_d: BigInt

e_db: BigInt

Implementations

impl MulProof

pub fn prove(witness: &MulWitness, statement: &MulStatement) -> Self

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

Trait Implementations

impl Clone for MulProof

fn clone(&self) -> MulProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MulProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MulProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<MulProof> for MulProof

fn eq(&self, other: &MulProof) -> 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 MulProof

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 MulProof