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/zk-learning-group

• 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/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/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 : Link to the recording
  Meetup: Link to the meetup
  Code : /circom_advanced, /circom_comparision
  Quiz (developer challenge) :
  Create a circom implementation for a simple 3x3 sudoku
  /circom/circom_sudoku, /circom/circom_sudokufull

  Links and literature :
  Circom tutorial:
  https://www.rareskills.io/post/circom-tutorial
  Circomlib:
  https://github.com/iden3/circomlib
  Zero knowledge puzzles:
  https://github.com/RareSkills/zero-knowledge-puzzles
  ZK book:
  https://github.com/RareSkills/zk-book
  Circom 101:
  https://circom.erhant.me/

• July 21, 2025 : Programming : Basics of Noir
  Slideshow : Link to the slideshow
  Recording : Link to the recording
  Meetup: Link to the meetup
  Code : /noir/Aztec_sandbox, /noir/noir_basics
  Quiz (developer challenge) : Experiment with the Aztec_sandbox, try out something beyond the basics

  Links and literature :
  Noir : Beginner’s Guide I:
  https://coinsbench.com/noir-begineers-guide-1-ca43da4f23dd
  Noir : Beginner’s Guide II
  https://coinsbench.com/noir-beginners-guide-ii-188868aa161d
  Noir documentation
  https://noir-lang.org/docs
  ACIR documentation
  https://lib.rs/crates/acir
  Awesome Noir:
  (repository with a lot of examples)
  https://github.com/noir-lang/awesome-noir/?tab=readme-ov-file#proving-backends

• August 21, 2025 : Programming : Advanced Noir programming
  Slideshow : Link to the slideshow
  Recording : Link to the recording
  Meetup: Link to the meetup
  Code : /noir/noir_samples Quiz (developer challenge) : Develop a sudoku puzzle with the help of Noir

  Links and literature :
  Aztec starter kit
  https://github.com/AztecProtocol/aztec-starter
  Noir online playground
  https://www.noir-playground.app/
  Noir documentation
  https://noir-lang.org/
  Awesome Noir, repository with examples
  https://github.com/noir-lang/awesome-noir
  Noir Explained: Features and Examples
  https://oxor.io/blog/2024-06-18-noir-explained-features-and-examples/
  NoirJS
  https://noir-lang.org/docs/reference/NoirJS/noir_js/

• September 16, 2025 : Applications : Proof of reserve, proof of solvency
  Slideshow : Link to the slideshow
  Recording :
  Meetup: Link to the meetup
  Code :
  Quiz (developer challenge) :

  Links and literature :

• October 16, 2025 : Applications : Off-chain transaction
  Slideshow :
  Recording :
  Meetup:

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

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

---