Zero knowledge proofs and SNARK systems are becoming one of the revolutionary technologies of the beginning of this century. In this workshop we will give a high-level introduction to the zero knowledge and SNARK technology stack from a software developer and IT professional perspectives with covering only slightly the deep mathematical basis. During the workshop we will implement an experimental zKRollup system in Circom on Hyperledger Besu.

Agenda:

1. A conceptual introduction to zero knowledge proofs (45 min - presentation) A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.

2. Introduction to Circom programming (45 min - labs and Hands-on) 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. - Break + discussion (15 min)

3. zkRollups basics (30 min - presentation) A general introduction to the conceptual elements of zero knowledge rollups.

4. Implementing a simplified zkRollup for token transfer and integrating with Hyperledger Besu or Fabric (30 min - lab and demo) 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.

5. Conclusions and discussion (15 min + )

Workshop Leaders:

• Andras Szabolcsi: Blockchain and solution expert, co-founder at BlockBen and Natrix. Highly skilled and experienced System and Solution Architect in the financial software developing industries.
• Daniel Szego: DLT Architect