Zero-Knowledge Proof - Speaker Deck

Slide 1

Slide 1 text

Blockchain Trainer

Slide 2

Slide 2 text

Zero Knowledge Proof Proof that you know some secret without actually revealing it!

Slide 3

Slide 3 text

Blockchain Trainer /Thedi /ghkgk www.Nikolaytech.com

Slide 4

Slide 4 text

ZkP Properties Completeness Soundness Zero-knowledgeness Prover can convince the verifier about any true statement Prover cannot convince the verifier about a false statement Verifier doesn’t learn anything other than the fact that the statement is true

Slide 5

Slide 5 text

Zero-Knowledge Proof Example

Slide 6

Slide 6 text

Zero-Knowledge Proof Example

Slide 7

Slide 7 text

Zero-Knowledge Proof Example

Slide 8

Slide 8 text

Zero-Knowledge Proof Example

Slide 9

Slide 9 text

Completeness Soundness Zero-knowledgeness If Google is telling the truth, then they will eventually convince me (at least with high probability) Google can only convince me if they’re actually telling the truth I don’t learn anything else about Google’s solution ZkP Properties

Slide 10

Slide 10 text

Live Website

Slide 11

Slide 11 text

Interactive Zero-knowledge Sequence of

Slide 12

Slide 12 text

Non-Interactive Zero-knowledge

Slide 13

Slide 13 text

Interactive Zero-knowledge Non-Interactive Zero-knowledge

Slide 14

Slide 14 text

zk-SNARKs Succinctness Non-interactivity Zero-Knowledge Succinct Non-interactive Argument of Knowledge.

Slide 15

Slide 15 text

15 ZK in Blockchain Key Generator Secret Param Program Proving Key Verification Key Proof Generator Public Input Prover Secret Proof Verification Public Input True False Toxic Waste

Slide 16

Slide 16 text

zk-SNARKs Zcash Explorer

Slide 17

Slide 17 text

Live

Slide 18

Slide 18 text

Scaling Ethereum ~24x for ETH transactions ~50x for ERC20 transfers

Slide 19

Slide 19 text

No content

Slide 20

Slide 20 text

BTC SNARK Relay

Slide 21

Slide 21 text

Resources ZoKrates Example: https://github.com/JacobEberhardt/ZoKrates ZoKrates Tutorial: https://medium.com/extropy-io/zokrates-tutorial-with- truffle-41135a3fb754 Scaling Ethereum: https://ethresear.ch/t/on-chain-scaling-to-potentially- 500-tx-sec-through-mass-tx-validation/3477 Plasma Snarks: https://www.ethnews.com/vitalik-buterin-weighs-in-on- snarks-for-layer-2 BTCSNarkRelay: https://github.com/BromleyLabs/BTCSnarkRelay

Slide 22

Slide 22 text

Thanks! Any questions? Find me @ Nikolay Angelov /ghkgk /Thedi Nikolaytech.com