The semantic-security tag has no wiki summary.
0
votes
1answer
115 views
Why is proof-by-reduction needed (for Elgamal proof of security, for example)?
The textbook proof for Elgamal encryption basically reduces to the Decisional Diffie-Hellman assumption (DDH).
Elgamal:
$Gen(.): x \xleftarrow{R} \mathbb{Z}_p$; $Enc(m,g^x): r \xleftarrow{R} ...
