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
- zkSummit: Jordi Baylina - Circom0.5 Breakout session
- zkSummit5: PLONK without FFTs - Justin Drake (EF)
- Tom Pocock & Zac Williamson: AZTEC Protocol – Bringing Zero-Knowledge Transactions to Ethereum #335
- ZKPodcast: Halo with Sean Bowe and Daira Hopwood from ECC
- ZKPodcast: ZKPs, Audits & Security with Benjamin Perez from Trail of Bits
- ZKPodcast: ZKPs in Ethereum with Vitalik Buterin & Justin Drake
- ZKPodcast: Alistair and Jeff from Web3 on ZKPs & more
- zkStudyClub: Vitalik & Dankrad on using polynomial commitments to replace state roots
- ZKStudyClub: Eli Ben-Sasson on Blockchains and Scalable ZKPs
- Overview of Zero Knowledge Proofs
- zk-DEX
- Scaling a DEX with Zero-Knowledge Proofs
- C.R.E.A.M.: A zk-SNARK Protocol for Public Elections
- ZeroPool: A Privacy Pool on Ethereum with Zero-Knowledge Proofs
- Zinc: developer-friendly programming framework for zero-knowledge proofs
- The State of STARK Tooling
- Introducing gnark, a Zero-Knowledge Proof Library
- Perpetual Powers of Tau on SGX: A Community zk-SNARK Trusted Setup in a TEE
- Big zkSNARKs circuits for zkrollups with circom
- ZkPodcast: zkSync and Redshift: Matter Labs Update
- ZKPodcast: Zkps & interoperability: IBC context with Chris Goes
- ZKPodcast: Exploring the Fractal transparent SNARK construction
- zkStudyClub: AirScript presented by Bobbin Threadbare
- ZKPodcast: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs