Puzzles that teach the fundamentals of crypto’s essential, elusive zero-knowledge proofsOn July 18, 2017 by Maybell
Zero-knowledge proofs are one of the most important concepts in cryptography: they’re a way to “validate a computation on private data by allowing a prover to generate a cryptographic proof that asserts to the correctness of the computed output” — in other words, a way to prove that something is true without learning the details.
The math isn’t especially hard (relative to the rest of cryptology), but the concepts are slippery and counterintuitive. Luckily, there’s the Hunting of the SNARK, a series of riddles and puzzles designed to teach you to understand and deploy zero knowledge proofs.
Even if you’re not a cryptographer, this is important stuff — zero knowledge proofs are increasingly mooted and used as privacy protections for large datasets of potentially compromising information about you, and understanding what is and isn’t impossible with zero knowledge is essential to understand who’s looking after your private data with the care it deserves, and who’s just throwing around buzzwords to confuse you.
Every once in a while we will publish a new challenge set, composed of several riddles, which will increase in difficulty with each new set. Every riddle is designed to teach you a new aspect of zk-SNARKs by making you discover the intricacies of the protocol and its smart design features.
If you complete the treasure hunt, you will gain an understanding of zk-SNARKs, how they work, what the security assumptions mean for the scheme and how to properly define the statements to be proven. The more difficult riddles will guide you towards generating proofs that can verify a false claim (when a security assumption is broken) and how to break some of the security assumptions, while at the same time understanding how to prevent other people from doing so. You will learn all this and much more.
If this was not enough motivation, some of the riddles will be accompanied with a prize, awarded to the first ones that solve them. With each riddle we will specify the prize and how many of them will be given.
The Hunting of the SNARK [Daniel Benarroch/QED IT]
(via 4 Short Links)
Retroworks’ $18 decoder rings don’t have much by way of cryptographic robustness (they compare disfavorably to the cipher-wheel wedding rings my wife and I wear!), but they’re not a bad way to introduce the littlies in your life to the idea of habitual secrecy. (via Red Ferret)
This week (and next due to the nature of different release dates for the direct market and the book market) marks the release of the first collection of SHADE THE CHANGING GIRL v.1: Earth Girl Made Easy, which compiles issues 1-6 (previously). It’s a heavy load to recreate a character that giants before you have written. Steve Ditko is a master of the strange. His mind a merry-go-round of experimentation.
Arnold Drake World is a talented paper artist who sits at a communal table at the cafe in Portland’s legendary Powell’s City of Books and turns paper napkins and towels into “botanically correct flowers” with many flourishes and grace-notes.
The PiCar-V learning kit comes with everything you need to build a Python-powered robot, and it’s currently being offered in the Boing Boing Store.
New business ideas are a dime a dozen; everyone and their cousin has a concept for a new app or service that may or may not revolutionize a small slice of the world. Whether it’s novel ways of ordering food, or time savers that only apathetic wealthy people would pay for, coming up with your […]
The Metasploit framework is an open source tool that lets you simulate real attacks against your system. You can get introduced to this essential cyber security software with this Penetration Testing & Ethical Hacking course, available now in the Boing Boing Store.Throughout these 23 lessons, you’ll exploit vulnerabilities, evade antivirus software, and gain unauthorized access […]