Explaining Yao's Garbled Circuits - Cronokirby
Yao’s Garbled Circuits is a Cryptographic scheme that allows two parties with secret inputs to evaluate an arbitrary function on those inputs, without revealing them to each other. As far as I can tell, the protocol was first described orally by Andrew Yao in 1986, but the first written description was in the subsequent How to Play Any Mental Game paper, by Goldreich, Micali, and Wigderson. But, I’m not an academic historian, so take this with a grain of salt, and feel free to correct me on Twitter if you know better. I first heard about this scheme last summer, and like so many things in Cryptography, it seemed quite mysterious to me at the time. And just like so many of those things, it turned out to be a lot simpler than I expected; hopefully this post can impart a bit of that feeling to you as well. Garbled Circuits are a special case of a more general idea called (secure) Multi-Party Computation (MPC). The premise is that you have a group of parties 𝑃 1 , … , 𝑃 𝑛 P 1 ,…,P
Redirecting... Redirecting...
Explore this link on the map →related reading
- A Gentle Introduction to Yao's Garbled Circuitsweb.mit.edu
- Secure multi-party computation - Wikipediaen.wikipedia.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Shtetl-Optimized >> Blog Archive >> Quantum computing bombshells that are not April Foolsscottaaronson.blog
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- A High-Level Technical Overview of Fully Homomorphic Encryption || Math ∩ Programmingjeremykun.com
- ZX-based quantum obfuscation for dummies – 20[ ] – The blogblog.20squares.xyz
- Homomorphic encryption - Wikipediaen.wikipedia.org
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org