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
- Rarimo Protocol | ZKPs in identity - Oleksandr Kurbatov | ETHDam III - 2025
- Zk validation module for contract accounts - Eugenio Reggianini
- ZK13: Shedding light on Noir with Lampe - Matej Penciak (Reilabs)
- ZK13: Almost Linear Time Permutation Check - Jessica Chen (New York University)
- ZK13: Programming Binius with M3 Arithmetization - Tobias Bergkvist
- ZK13: Redesiging Proof Rules for Efficient ZK Proofs of Mathematical Proofs - Brandon Moore
- ZK13: Vectorized implementations with AVX-512 for speeding-up zkEVM - Georgios Fotiadis
- ZK13: Circle STARK GPU Acceleration: An Analysis of Performance and Implementation
- ZK13: Lifted FRI: A uniform multi-domain polynomial commitment scheme
- ZK13: Towards a Standard for Programmable ZK Proofs - Ying Tong (Ethereum Foundation)
- ZK13: openbanking.nr - Proving banking transactions onchain - Mohammed Mahmoud & Jack Gilcrest
- ZK13: Garuda & Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
- ZK13: Linear-Time Accumulation Schemes - William Wang
- ZK13: Lookup tables in CoSNARK - Florin Fabsits
- ZK13: Laurent STARKs - Ulrich Haböck (StarkWare Industries) & Yuval Domb (Ingonyama)
- ZK13: Arithmetization-Friendly Primes and Efficient Constraint Evaluation: STARKs on Custom Hardware
- ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
- Episode 361 - Implementing Latticefold with Matthew and Albert from Nethermind
- zkSummit13 - Livestream
- Episode 359 - Lattice-based ZK Systems with Vadim Lyubashevsky
- When zk-SNARKs Meets Financial Innovation
- Jim Posen of Irreducible @ ZK Hack Meetup in Berlin, 24 Apr 2025
- Leo Alt of powdr labs @ ZK Hack Meetup in Berlin, 24 Apr 2025
- Why ZK Proving Is The New BTC Mining with Tim Carstens & Jeremy Bruestle