A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.

During the demonstration and lab we will implement a prototype zero knowledge rollup for a simplified token transfer and integrate it with Hyperledger Besu or Fabric.

We will cover with lab exercises and hands-ons basic elements of the Circom programming language and the development flow including circuit and rank-1 constraint generation, compilation, power of tau, proving and verifying.

A general introduction to the conceptual elements of zero knowledge rollups.

Prover / verifier, interactive / non-interactive models, SNARK / zkSNARK, computation models / aritmetic constraints / DLS languages