This event has already taken place. Check upcoming events
Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Event:
Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Event type:
Meetup
Category:
Topic:
Date:
24.04.2024 (wednesday)
Time:
17:00
Language:
English
Price:
Free
City:
Place:
Online
Address:
On-line
Log in, by zgłosić zmianę.
Speakers:
Description:
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:
- 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.
- 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)
- zkRollups basics (30 min - presentation)
- A general introduction to the conceptual elements of zero knowledge rollups.
- 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.
- 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