Tagged Questions
1
vote
2answers
112 views
How to verify a number encrypted with an unknown key
Are there any crypto-constructions to do the following kind of "zero-knowledge proof":
Alice encrypts a set of numbers using some cryptosystem and a secret key (e.g. Paillier crypto-system).
Bob ...
2
votes
1answer
90 views
Questions about proof of correct encryption in the Paillier cryptosystem
In the Paillier cryptosystem [1] the encryption of $m \in \mathbb{Z}_N$ with randomness $r \in \mathbb{Z}_n^*$ is $c = g^m r^n \bmod{n^2}$.
A proof of correct encryption could look like presented in ...
1
vote
1answer
223 views
Several questions about Paillier cryptosystem
I have several questions concerning the original Paillier cryptosystem as described in Paillier, Pascal (1999).
"Public-Key Cryptosystems Based on Composite Degree Residuosity Classes".
EUROCRYPT. ...
1
vote
1answer
146 views
ZKIP for Paillier public key correctness
I'm using the Paillier cryptosystem in a protocol similar to mental poker. In the beginning of the protocol, each player generates a Paillier public key $(n,g)$.
Later in the protocol, a player may ...