1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
use paillier::{EncryptWithChosenRandomness, EncryptionKey, Paillier, RawPlaintext};
pub trait CorrectOpening<R, CT> {
fn verify_opening(ek: &EncryptionKey, m: RawPlaintext, r: &R, c: &CT) -> bool;
}
impl<R, CT> CorrectOpening<R, CT> for Paillier
where
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 {
let d = Self::encrypt_with_chosen_randomness(ek, m, r);
c == &d
}
}
#[cfg(test)]
mod tests {
use super::*;
use curv::arithmetic::traits::*;
use curv::BigInt;
use paillier::Encrypt;
use paillier::Keypair;
use paillier::Open;
fn test_keypair() -> Keypair {
let p = BigInt::from_str_radix("148677972634832330983979593310074301486537017973460461278300587514468301043894574906886127642530475786889672304776052879927627556769456140664043088700743909632312483413393134504352834240399191134336344285483935856491230340093391784574980688823380828143810804684752914935441384845195613674104960646037368551517", 10).unwrap();
let q = BigInt::from_str_radix("158741574437007245654463598139927898730476924736461654463975966787719309357536545869203069369466212089132653564188443272208127277664424448947476335413293018778018615899291704693105620242763173357203898195318179150836424196645745308205164116144020613415407736216097185962171301808761138424668335445923774195463", 10).unwrap();
Keypair { p, q }
}
#[test]
fn test_verify() {
let (ek, dk) = test_keypair().keys();
let c = Paillier::encrypt(&ek, RawPlaintext::from(BigInt::from(10)));
let (m, r) = Paillier::open(&dk, &c);
assert!(Paillier::verify_opening(&ek, m, &r, &c));
}
}