Zero Knowledge Proofs (ZKP) - Zero Knowledge Proofs (ZKP) - What is the fuss all about?

In last year boom of zk development has happened. In this presentation we try to cover different blockchain solutions with emphasis on zkSNARKs and ZoKrates solution.

Transcript

1. Zero Knowledge Proofs (ZKP) What is the fuss all about? I know that I learn nothing. Edi Sinovčić edi@blockchain-it.hr twitter.com/edisinovcic linkedin.com/in/edi-sinovcic/
2. Scaling blockchains - L2 solutions • Sidechains • Plasma • Zero Knowledge Proofs ◦ Plasma Ignis - Plasma of fire
3. Zero Knowledge Proof • Off-chain vs on-chain computation • Prover - constructs the proof • Verifier - performs some operation on proof and decides to accept or reject the proof • Computation is hard (most of the work - off-chain) • Verification is easy (and cheap - on-chain)
4. generality privacy Privacy
5. On-chain processing TX TX TX TX TX TX TX verify TX verify TX verify TX TX verify TX Scalability Off-chain processing
6. Implementations • SNARKs (Zcash) ◦ Succinct Non-interactive ARguments of Knowledge (with Trusted Setup) • STARKs ◦ Succinct (Scalable) Transparent ARguments of Knowledge ◦ STARKs are SNARKs without Trusted Setup ◦ Quantum resistant cryptography • Bulletproofs (Monero) ◦ Similar to STARKs but different :) ◦ Different implementation
8. Applications? • Early phase • Rollup by Matter labs ◦ Optimistic vs ZK Rollup (http://bit.ly/medium-rollup ) • SNARK-based permissioned database ◦ Rollup by BarryWhitehat ◦ Multiple off-chain transactions can be verified by 1 on-chain transaction • Gnosis dFusion ◦ DEX on SNARKs • ZoKrates ◦ Privacy for DApps - framework
9. ZoKrates > A high-level language > A compiler, which transforms programs to constraint systems provable with zkSNARKs > Tools for - Setup phase - Witness computation - Proof generation - Generation of Verification Smart Contract - ... High Level Language PROVER VERIFIER.SOL
10. The ZoKrates Language - Imperative DSL - Python-inspired Syntax - Does not expose non-determinism to the programmer // Primitive Types field a = 42 bool b // Composite Types field[256] c = [0; 256] Point p = { x = 0, y = 1 }
11. Verification Smart Contract Overview compile setup compute- witness generate-proof export-verifier ZoKrates Code Flattened Code Witness Verification Key Proving Key Program Result + Proof
12. Private ERC20 Tokens - EY Nightfall “Nightfall integrates a set of smart contracts and microservices, and the ZoKrates zk-snark toolkit, to enable standard ERC-20 and ERC-721 tokens to be transacted on the Ethereum blockchain with complete privacy. It is an experimental solution and still being actively developed.”
13. Remix Integration
14. Live…
15. Q&A Edi Sinovčić edi@blockchain-it.hr twitter.com/edisinovcic linkedin.com/in/edi-sinovcic/