talk-data.com talk-data.com

Meetup workshop 2024-04-24 at 15:00

Introduction to Circom programming

Event: Zero Knowledge Proofs and ZK Programming in Blockchain Application Development

Speakers

Daniel Szego

DLT Architect

Andras Szabolcsi

Blockchain Solution Architect · BlockBen

Topics

circom circom language circuits rank-1 constraint systems (r1cs) proving verifying tau

Description

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.