Skip to content

Program with zk-SNARKS! A Night of Zero Knowledge Proofs

Photo of Brad Cohn
Hosted By
Brad C.
Program with zk-SNARKS! A Night of Zero Knowledge Proofs

Details

zk-SNARKs are a cutting-edge cryptographic primitive that allow you to rapidly verify the accuracy of any computation without revealing any information about its inputs. In addition to being theoretically fascinating, they been used as the core components of privacy-preserving cryptocurrencies like ZCash and succinct blockchains like Coda Protocol.

Still, few people can program fluently with zk-SNARKs. That's why we developed Snarky (https://github.com/o1-labs/snarky), a domain-specific language designed to make snark programming intuitive and fun. We'll give a high level overview of what SNARKs allow you do to and effective programming strategies, then dive into an interactive tutorial.

Schedule
6-6:30 Meeting, eating, greeting
6:30-7 How to effectively program SNARKs
7-8:30 A provably fair and secret election: a zk-SNARK tutorial

Photo of Mina Protocol group
Mina Protocol
See more events
111 New Montgomery St
111 New Montgomery St · San Francisco, CA