Our research team has diverse backgrounds and experiences in Software Engineering, Cryptography, and the legal frameworks for privacy-enhancing technologies.

This is why, through our journey, we’ve required so many resources to cover the missing gaps in understanding of the technical foundation (mathematical and cryptographic).

In this post, we share a list of the important resources on our list:

Fundamentals

Advanced theoritical material on Proofs and zero-knowledge systems

  • [Book] Proofs, Arguments, and Zero-Knowledge by Justin Thaler - A great book that goes into great depth on Proofs, and ZK. Covers -probably- all the interesting advances in the proofs and zk world today from a theoritical point of view.
  • [Course] Advanced Topics in Cryptography from MIT by Yael Kalai - Looks into the advances of proofs from a theoritical point-of-view. Teaches IPs, PCPs, SNARGs, and more advanced concepts.
  • [Book] The MoonMath Manual for zk-snark - This can be considered the quickest shortcut to understand SNARKs through learning the minimum necessary theory.
  • [Course Material] Applied Zero Knowledge Proofs - Stanford course, tackling a subset of the material above from a different perspective.

Theoritically-heavy material

Practical Zero-Knowledge Proofs

  • [Workshop] by 0xparc through an MIT IAP course on ZKPs - Very practical, and teaches Circom
  • [IDE] https://zkrepl.dev/ - Circom IDE
  • [Tutorial] STARK-101 - To write a STARK prover in Python
  • [Library] Google longfellow-zk - Very recent library that implements E-ID with most desired privacy-enhancing features.
  • [Library] Microsoft Crescent - Similar to longfellow-zk, Crescecnt implements a full E-ID system with ZKPs and holder binding, but solves the problem through a different solution.