10-01, 11:00–12:50 (Europe/Prague), Institute of Cryptoanarchy
Everyone talks about zero-knowledge proofs (ZKP), but who understands them? How can a proof consist of bytes without leaking any knowledge? Why should I trust such a proof?
Master the basics first, then move to the advanced stuff; that is my philosophy. Let's build an intuition of how ZKP works and how it solves real problems.
We will use jupyter as our interactive learning environment. The notebooks cover fundamentals, applications and much more. Go through them in any order you want. Do what interests you and skip everything else. It's a lot of fun :)
Bring a laptop, clone the repo https://github.com/uncomputable/zkp-workshop and ideally build the workshop before you come.
I'm a researcher at Blockstream, where I mainly work on Simplicity. I build tools and teaching materials around our research projects. Zero-knowledge proofs, cryptography and mathematics are topics I find very interesting because they are not what they seem on the surface.