David Wong

cryptologie.net

cryptography, security, and random thoughts

Hey! I'm David, cofounder of zkSecurity, research advisor at Archetype, and author of the Real-World Cryptography book. I was previously a cryptography architect of Mina at O(1) Labs, the security lead for Libra/Diem at Facebook, and a security engineer at the Cryptography Services of NCC Group. Welcome to my blog about cryptography, security, and other related topics.

← back to all posts

Proof of Elgamal's semantic security using a reduction to DDH

blog

Happy New Year.

I like drawing, and I haven’t drawn in a long time. I figured I could use crypto as an excuse to draw something and start this year in a more creative way :)

(by the way, here is the talk I’m talking about)

Here I glance over a lot of the concepts. I don’t explain what is Elgamal or how it works, I don’t explain proofs based on games and what semantic security is (and why it is considered insufficient), I don’t even explain what I mean by an adversary’s advantage. I’m expecting that you will read that on your own and then head here to understand how you can use all of that to prove Elgamal’s semantic security.

elgamal ind cpa semantic security reduction proof ddh comic

elgamal ind cpa semantic security reduction proof ddh comic

elgamal ind cpa semantic security reduction proof ddh comic

← back to all posts blog • 2019-01-01
currently reading:
Proof of Elgamal's semantic security using a reduction to DDH
01-01 blog
📖 my book
Real-World Cryptography is available from Manning Publications.
A practical guide to applied cryptography for developers and security professionals.
🎙️ my podcast
Two And A Half Coins on Spotify.
Discussing cryptocurrencies, databases, banking, and distributed systems.
📺 my youtube
Cryptography videos on YouTube.
Video explanations of cryptographic concepts and security topics.