A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.
talk-data.com
A
Speaker
Andras Szabolcsi
5
talks
Blockchain Solution Architect
BlockBen
Blockchain Solution Architect at BlockBen
Bio from: Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Frequent Collaborators
Filter by Event / Source
Talks & appearances
5 activities · Newest first
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.
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.
A general introduction to the conceptual elements of zero knowledge rollups.
Prover / verifier, interactive / non-interactive models, SNARK / zkSNARK, computation models / aritmetic constraints / DLS languages