To wydarzenie już się odbyło. Sprawdź nadchodzące wydarzenia
Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Wydarzenie:
Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Typ wydarzenia:
Spotkanie
Kategoria:
Tematyka:
Data:
24.04.2024 (środa)
Godzina:
17:00
Język:
angielski
Wstęp:
Bezpłatne
Miasto:
Miejsce:
Online
Adres:
On-line
Zaloguj się, by zgłosić zmianę.
Prelegenci:
Opis:
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