ZoKrates zkSNARKs on Ethereum (made easy)

ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high level language to generating proofs of computation to verifying those proofs in Solidity.

Transcript

1. ZoKrates zkSNARKs on Ethereum (made easy) Edi Sinovčić & Darko Mačešić Blockchain IT
2. Information Systems Engineering User Perspective (CLI) ZoKrates - Jacob Eberhardt | Devcon 3 compile High Level Code Flattened Code ≈ Set of Conditions Witness compute-witness setup Verification Key export-verifier Verification Smart Contract Proving Key generate-proof Program Result + Proof
3. Live Demo
4. Q&A Edi Sinovcic edi@blockchain-it.hr Medium article: bit.ly/zokrates-remix ZoKrates repository: https://github.com/Zokrates/ZoKrates ZoKrates remix plugin repository: https://github.com/blockchain-it-hr/zokrates-remix-plugin Darko Macesic darko@blockchain-it.hr Jacob Eberhardt https://github.com/JacobEberhardt Thibaut Schaeffer https://github.com/Schaeff
5. • Intro to Remix IDE - Yann Levreau • Grid and Remix Desktop app as a development environment - Ryan Ghods • Solidity Contract Source Verifier - Christian Reitwiessner • How to build a Remix plugin - François Guezenguar • Intro to Zokrates Plugin ( zk-SNARKs made easy) - Edi Sinovcic and Darko Macesic • Workshop Plugin and educational tools - Chris Ward • Brainstorm Session on plugins and their governance Rob Stupay, Jamie Pitts, Alex Van de Sande, Felix Lange, Edson Acala, François Guezengar and Nick Gheorghita @EthereumRemix gitter.im/ethereum/remix Remix IDE - New Features & Plugin Governance