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
- ZK12: Discover collaborative-SNARKs: Circom & Noir meets MPC - Franco Nieddu
- ZKsync Era Tutorial 10：FRI 原理 p1
- ZKsync Era Tutorial 10：FRI 原理 p2
- ZK12: Welcome to zkSummit & Sponsor Intro - Anna Rose
- ZK12: Mechanism Design of a Decentralized Prover Network - Norbert Vadas
- ZK12: Lessons from integrating LogUp-GKR in the Miden VM - Bobbin Threadbare & Philippe Laferrière
- ZK12: Myth vs. Reality: Enhancing Proving Time in KZG-Backed Plonkish Systems for zkWASM - Sinka Gao
- Why ZK Verification is Ethereum's Final Frontier with Aligned
- ZK12: ZK on Bitcoin - Liam Eagen
- ZK12: Towards ZK-Friendly Machine Learning Models - Alan Li
- ZK12: Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs - Jens Ernstberger
- ZK12: Simulating Modular Arithmetic(s) - Dan Carmon
- ZK12: Towards Verifiable FHE in Practice - Michael Walter
- ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere
- Next generation ZK applications with SP1
- ZK12: DART: Distributed argument of knowledge for Rough Terrains - Steve Thakur
- ZK12: X-check: A Native Binary Tower Field ISA Design - Radi Cojbasic
- Iron Fish: Cross-Chain Privacy Pool for EVM chains
- ZK12: Open Problems in ZK with Solution Hints - Vanishree Rao
- Episode 344 - ZK Events 2024 Recap
- zkLogin: Onboarding the next billion users to web3 with Deepak Maram | a16z crypto research talks
- Marek of vlayer @ ZK Hack Meetup in Lisbon, 10 Oct 2024
- Angelo of RISC Zero @ ZK Hack Meetup in Lisbon, 10 Oct 2024
- ZK Summit 12 - LIVESTREAM