Applied Cryptography

Learn the foundations of applied cryptography.

General:

• A Graduate Course in Applied Cryptography
• Ronkathon

ZK:

• Proofs, Arguments, and Zero-Knowledge
• Lambda Bootcamp

FHE:

• Course on Advanced Cryptography (FHE)
• FHE-MPC Advanced Grad Course

MPC:

• Pragmatic MPC
• FHE-MPC Advanced Grad Course

Multi-Party Computation

• Do All Roads Lead To MPC? Exploring The End-Game For Privacy Infrastructure
• Secure Multi-Party Computation
• Awesome MPC

Zero-Knowledge Proofs

zk DSLs

Domain-specific languages which allow you to write programs to generate zero-knowledge circuits. Running these circuits executs a proven program. Many of these languages are described as "rust-like" or like o1js are a framework written in typescript.

Noir

• BattleZips-Noir
• Docs
• Awesome Noir

Circom

• Docs
• Learn at 0xParc
• Awesome Circom

o1js

• Docs

General-purpose zkVMs

zkVMs are virtual machines that execute instructions as zero-knowledge circuits. This allows you to write programs in your programming language of choice and have them executed in a zero-knowledge manner.

SP1

• Docs

Risc Zero

• Docs

Valida

• Docs