Zero knowledge learning (ZK) group

A learning group dedicated to zero knowledge (ZK) and SNARK application development

Logistics:

• Every month, thirds thursday in 2025, from 18 (CET)

• One hour, presentation + short discussion

• Different topics on zero knowledge proof
  mostly from programmer and application developers perspective with some theory

• Coordination:
  Discord channel: LF Decentralized Trust
  https://discord.com/channels/905194001349627914/1329201532628898036
  Meetup.com: https://www.meetup.com/lfdt-hungary/events/306309519
  Repo with all the contents:https://github.com/LF-Decentralized-Trust-labs/

• Quizzes and small programming challenges

• LFDT merchs at the end ?

Existing resources and meetups:

• Zero knowledge programming workshop:
  Slideshow : Link to the slideshow
  Recording : Link on youtube to the workshop

• Tokenized zero knowledge machine learning and its applications:
  Slideshow : Link to the slideshow
  Recording : Link on youtube to the meetup recording

• Zero knowledge desgin patterns for Hyperledger Fabric
  Slidewhow : Link to the slideshow
  Recording : Link on youtube to the meetup recording

Syllabus:

• February 20, 2025: Introduction, Theory : Definitions and building blocks
  Slideshow : Link to the slideshow
  Recording : Link to the recording
  Meetup: Link to the meetup
  Quiz : The Alibaba cave example is an interactive probabilistic proof. Can you make it non-interactive or at least less interactive in a way that it can not be hacked / mocked by the prover ? Conditions of the game can be lightly fine-tuned.

  Links and literature :
  Zero-Knowledge Proofs: A Beginner's Guide
  https://www.dock.io/post/zero-knowledge-proofs
  Introduction to zero knowledge proofs
  https://www.youtube.com/watch?v=6uGimDYZPMw
  Zero Knowledge What? An Introduction to Zero Knowledge
  https://codethechange.stanford.edu/guides/guide_zk.html
  Zero knowledge proof explained
  https://medium.com/coinmonks/zero-knowledge-proof-explained-1595600ff1cf
  zk-SNARKs: A Gentle Introduction
  https://www.di.ens.fr/~nitulesc/files/Survey-SNARKs.pdf

• March 20, 2025 : Theory : Polynomial commitments
  Slideshow : Link to the slideshow
  Recording : Link to the recording Meetup: Link to the meetup
  Quiz :

  Links and literature :
  Commitment schemes: https://medium.com/@icostan/commitment-schemes-8b523d48aa1e
  Functional Commitments: ZK under a different lens
  https://geometry.xyz/notebook/functional-commitments-zk-under-a-different-lens
  Explaining KZG Commitment with Code Walkthrough
  https://kaijuneer.medium.com/explaining-kzg-commitment-with-code-walkthrough-216638a620c9
  Exploring Elliptic Curve Pairings
  https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627
  Fiat-Shamir transformation
  https://www.zkdocs.com/docs/zkdocs/protocol-primitives/fiat-shamir/

• Aptil 17, 2025 : Theory : Interactive oracle proofs
  Slideshow : Link to the slideshow
  Recording : Link to the recording
  Meetup: Link to the meetup
  Quiz :

  Links and literature :
  A guide to Zero Knowledge Proofs (Part 2)
  https://medium.com/@Luca_Franceschini/a-guide-to-zero-knowledge-proofs-part-2-7904dee9758d
  Interactive Oracle Proofs
  https://www.iacr.org/archive/tcc2016b/99850156/99850156.pdf
  What is PLONK
  https://medium.com/@Luca_Franceschini/what-is-plonk-29c56f326cf6
  Plonk Interactive Oracle Proofs (IOP)
  https://hackmd.io/@0xsachink/ByuqZfD63
  Proofs, Arguments, and Zero-Knowledge, Chapter 4
  https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

• May 29, 2025 : Programming : Basics of Circom
  Slideshow : Link to the slideshow
  Recording : Link to the recording Meetup: Link to the meetup
  Code : /circom_basic
  Quiz (developer challenge) : Create a proof that an output is the 10th series of a Fibonacci like series of two hidden (private) starting elements of the series
  Solution : /circom_fibonacci

  Links and literature :
  Circom tutorial:
  https://www.rareskills.io/post/circom-tutorial
  Circom Workshop 1:
  https://learn.0xparc.org/materials/circom/learning-group-1/circom-1/
  Circom repo:
  https://github.com/iden3/circom
  Install circom:
  https://docs.circom.io/getting-started/installation/#installing-circom
  Circom 2 documentation:
  https://docs.circom.io/
  Moonmath Manual: https://github.com/LeastAuthority/moonmath-manual

• June 19, 2025 : Programming : Circom advanced
  Slideshow : Link to the slideshow
  Recording :
  Meetup: Meetup: Link to the meetup
  Code : /circom_advanced
  Quiz (developer challenge) :

  Links and literature :

• July 19, 2025 : Programming : Basics of Noir
  Slideshow :
  Recording :
  Meetup:

• August 20, 2025 : Programming : Noir advanced
  Slideshow :
  Recording :
  Meetup:

• September 18, 2025 : Applications : Off-chain transaction
  Slideshow :
  Recording :
  Meetup:

• October 16, 2025 : Applications : Proof of reserve, proof of solvency
  Slideshow :
  Recording :
  Meetup:

• November 20, 2025 : Applications : Rollups
  Slideshow :
  Recording :
  Meetup:

• December 18, 2025 : Wrap up, Applications
  Slideshow :
  Recording :
  Meetup:

---