New answers tagged zero-knowledge-proofs
0
votes
Accepted
Soundness and honest-verifier zero-knowledge implies EUF-CMA using Fiat-Shamir?
I want to answer my own question here. Indeed, all claims regarding the security aspects in the above papers are correct; however, the formulation of Theorem 5 in this paper is not ideally chosen. ...
0
votes
Accepted
Can Zero-Knowledge proofs leak information that does not break simulatability?
The definition of zero-knowledge is that a for every possible verifier, there exists a simulator (without the witness) should be able to produce a simulated transcript from the viewpoint of this ...
0
votes
Zero Knowledge Proof: Prove correct ElGamal encryption without leaking message
So, to summarize the question: you want a zero-knowledge proof that an ElGamal ciphertext encrypts a specific plaintext $M$, but you don't want the proof to reveal (any information about) the ...
3
votes
Accepted
Zero-knowledge proof of knowledge of RSA decryption exponent
Your proposed protocol is, in fact, not zero-knowledge. For example, it can be used by an attacker as an RSA decryption oracle.
Now, with public $e$, the knowledge of $d$ and the knowledge of the ...
Top 50 recent answers are included
Related Tags
zero-knowledge-proofs × 1234snarks × 107
commitments × 104
signature × 57
public-key × 56
homomorphic-encryption × 56
protocol-design × 55
hash × 54
fiat-shamir × 50
encryption × 48
elliptic-curves × 43
discrete-logarithm × 42
multiparty-computation × 41
elgamal-encryption × 40
provable-security × 35
sigma-protocol × 30
authentication × 28
interactive-proofs × 28
verifiability × 26
schnorr-identification × 24
rsa × 22
cryptocurrency × 22
schnorr-signature × 22
pairings × 21
paillier × 19