1 of 16

From UI to ZK

Introduction to ZK-Dapps

2 of 16

What ?

  • Brief list of resources for self studying

​

  • What is ZK ?
  • Common misconceptions

​

  • See some front end examples

​

  • ZOK

3 of 16

4 of 16

Fundamentals

  • Strong Foundations are essential

​

  • Mathematics
    • Cryptography
      • Decentralized ledger protocols
      • Zero Knowledge

5 of 16

Mathematics

  • Math Matters:
    • Solve Problems
    • Make inform decisions
    • Identify weaknesses�
  • Math Survival Kit for Developers

​

6 of 16

Cryptography

  • CryptoHack
  • ​

​

​

​

  • CodeWars

​

​

​

​

7 of 16

Blockchain && ZK

​

​

8 of 16

zero-knowledge proof system

  • Prover wants to convince a verifier that some statement is true without revealing any other information. �

• Completeness — if the statement is true then a prover can convince a verifier

• Soundness — a cheating prover can not convince a verifier of a false statement

• Zero-knowledge — the interaction only reveals if a statement is true and nothing else

​

  • Non-interactive zero-knowledge proofs (NIZK) > zk-SNARK

9 of 16

10 of 16

Use cases

  • Privacy: Anonymous voting

​

  • Compression: L2, zkEVM

​

​

11 of 16

ZK - Dapp

​

​

​

​

​

12 of 16

Mina zkDapps

- A zkApp consists of two parts:

  • A smart contract
  • A user interface (UI) for users to interact with the zkApp

- The term smart contract refers to the code written with o1js.

- The term zkApp refers to the UI + the smart contract.

​

13 of 16

Tutorial 4

14 of 16

Cohort 1 examples

​

​

15 of 16

ZOK

16 of 16

Thank you !