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
- Zero-Knowledge Proofs Panel
- CROSS-CHAIN STATE PROOFS (Ismael Hishon-Rezaizadeh of Lagrange)
- Episode 273 - History of Plonk, Noir, and the building of Aztec 3
- ZK Hack Lisbon: Closing Ceremony, Bounties and Prizes
- zkStudyClub: Supernova (Srinath Setty - MS Research)
- ZK Hack Lisbon: Hacking on Polygon's Zero Knowledge Virtual Machines
- ZK Hack Lisbon: Creating Zero-Knowledge Proofs with RISC Zero
- ZK9: Web3 game development utilizing zkWASM virtual machine - Sinka Gao (Delphinus Lab)
- ZK9: VampIR: LLVM for polynomial circuits, now with benchmarks! - Joshua Fitzgerald (Anoma)
- ZK9: AirScript - a simple and efficient way to write AIR constraints - grjte (Polygon Miden)
- ZK9: Exploring client-side zero-knowledge proofs - Dan Tehrani (Personae Labs)
- ZK9: logUp - Lookup arguments based on the logarithmic derivative - Ulrich Haböck
- Simulation extractibility of zk-SNARKs: from theory to practice / Ignacio Manzur
- zkStudyClub: EOS - Efficient Prover Delegation [Pratyush Mishra - Aleo]
- ZK9: Non-malleability of zkSNARKs - Michal Zajac (Nethermind)
- ZK9: Optimizing the MINA prover with learnings from zPrize top performers -Jiannan Ouyang (Snarkify)
- ZK9: Hardware Acceleration & ZK Panel - Hosted by Alex Pruden (Aleo)
- ZK9: Lurk: Lambda the Ultimate Recursive Knowledge - François Garillot (Protocol|Lurk Labs)
- Exploring the Future and Potential of Zero-Knowledge Technology
- Anonymous Engineering Paradigm, Modular ZK and Geometric Proofs / Amir Taaki
- ZK9: Speeding up SNARKs with cached quotients - Ariel Gabizon (Zeta Function Technologies)
- ZK9: Fflonk in the zkEVM - Hector Masip (UPC for Polygon zkEVM)
- ZK9: zkTree a zk recursion tree with ZKP membership proofs – Sai Deng (Polymer Labs)
- ZK9: The Red Wedding: Marrying DEEP-AIR + PLONK – Ferdinand Sauer & Alan Szepieniec (Neptune/Triton)