Zero-Knowledge Proofs
Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.
1395 talks
- Episode 335 - Groth16, IVC and Formal Verification with Nexus
- Beginner's Guide to zkSNARKs 3: Math (to get to PLONK)
- ZKsync Era Tutorial 09: ZKsync Era Boojum 原理——FFT 的构造 - P2
- ZKsync Era Tutorial 09: ZKsync Era Boojum 原理——FFT 的构造 - P1
- Beginner's Guide to zkSNARKs 2: Proof Systems in the Wild
- Meetup #11 - Zero-knowledge Proofs - Maturidade da Tecnologia - Eduardo Morais
- Groth16 - QAP and Pairing
- Bringing ZK Proofs to Developers Everywhere | Uma Roy
- Episode 334 - ZK Research Update with Joe Bonneau
- Zero Knowledge & Account Abstraction
- Stwo and Circle STARKs
- Groth16 - 算术电路、R1CS 和基础 Circom - Part2
- Groth16 - 算术电路、R1CS 和基础 Circom - Part1
- Project Spotlight Episode 1: Identity Day
- Groth16 - Trusted setup (powers of tau)
- ZK Proof Generation & Verification Explained
- ZKsync Era Tutorial 08: ZKsync Era Boojum 的原理——Lookup Argument - P2
- ZKsync Era Tutorial 08: ZKsync Era Boojum 的原理——Lookup Argument - P1
- Groth16 - QAP and Pairing (as black box)
- Introduction to the MACI Wrapper
- ZK and cryptography with Justin Thaler, Valeria Nikolaenko and Joseph Bonneau
- Episode 330 - Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie
- Harnessing the Power of Zero Knowledge
- Where Aligned Layer Fits in The Modular Thesis