talk-data.com

Meetup presentation 2024-04-24 at 15:00

A conceptual introduction to zero knowledge proofs

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

Speakers

Daniel Szego

DLT Architect

Andras Szabolcsi

Blockchain Solution Architect · BlockBen

Topics

zero knowledge proofs snarks zksnarks arithmetic circuits rank-1 constraint systems (r1cs) interactive proofs non-interactive proofs dls languages accumulators

Description

A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.