#103 [Beginner/Intermediate] Creating And Verifying Zero Knowledge Proofs

https://iden3.io has released the circom, a circuit compiler for zkSNARKs (https://github.com/iden3/circom), and snarkjs, a zkSNARK implementation in JavaScript (https://github.com/iden3/snarkjs).

Geoff will be working through some exercises to use these tools to create zero knowledge proofs and verify them off-chain and on-chain on Ethereum.

Participants who wish to follow the exercises will need node.js, v8.12.0 or higher. v10.x is best. Download it at the link below.

Links:
• Node.js - https://nodejs.org/en/
• Iden3’s Circom Circuits & Snarks - https://medium.com/caelumlabs/what-are-zksnarks-and-how-do-they-work-b07cd18da5f6
• circom and snarkjs tutorial - https://iden3.io/blog/circom-and-snarkjs-tutorial2.html
• https://github.com/jbaylina/awesome-zero-knowledge-proofs
• Barry Whitehat's GH repo - https://github.com/barryWhiteHat
• ZK Poker - https://github.com/DalaiLlaama/snark-example/tree/master/poker

Adrian will demonstrate his Jupyter notebook integration with the Ethereum APIs.

Bring your laptops as usual.

To help cover the costs of food/drink, please bring a donation. Recommended $20/$10 note if you can, or almost can, afford it. (no worries if you can't)

Photo: “Just the place for a Snark!” the Bellman cried,
As he landed his crew with care;