Proof of Elgamal's semantic security using a reduction to DDH | Hacker News Reader