Loading Events

« All Events

Zero Knowledge Proofs and ZK Programming in Blockchain Application Development

April 24 @ 12:00 pm - 3:00 pm GMT-0300

1024x576 rpHHTX.tmp | Zero Knowledge Proofs and ZK Programming in Blockchain Application Development | Coletividad

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](https://www.linkedin.com/in/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](https://www.linkedin.com/in/daniel-szego/):* DLT Architect

Details

Date:
April 24
Time:
12:00 pm - 3:00 pm GMT-0300
Website:
https://www.meetup.com/hyperledger-sao-paulo/events/299372741

Venue

Online event

Que bom que você voltou!

Acesse sua conta abaixo

Recupere sua senha

Digite seu nome de usuário ou endereço de e-mail para redefinir sua senha.

Vamos conversar?

Preencha o formulário ou me procure diretamente nas mídias.