zkp2

ZKP2-ZK Whiteboard

What is a SANRK

SNARK: a succinct proof that a certain statrment is true

many blockchain applications:

Private Tx on a public blockchain:

• Tornadao cash, Zcash. IronFish
• Private Dapps: Aleo

Compliance:

• private proofs of solvency and compliance
• Zero-knowledge taxes

Scalability:

Rollup systems with validity proofs

Cryptographic Background

arithmetic circuits

• Fix a finite field $F=\{0,...,p-1\}$ for some prime $p > 2$

Arithmetic circuit: $C:F^n\rightarrow F$

• directed acyclic graph (DAG) where internal nodes are labeled $+,-,\times$
  inputs are labeled $1,x_1,...,x_n$

• defines an n-variate polynomial with an evaluation recipe

Argument systems

public arithmetic circuit $C(x,w)\rightarrow F$