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
- PSE Lectures Ep 25 - Pointwise sum of rational maps is rational
- PSE Lectures Ep 34 - Constructing the Weil pairing
- PSE Lectures Ep 27 - Zeros and poles of the coordinate functions of [n]
- PSE Lectures Ep 24 - Rational maps between elliptic curves
- PSE Lectures Ep 32 - Identifying the group structure of n-torsion points
- AI Memes on the Rise, Stripe’s Major Acquisition, and Kraken’s New L2 | Roundup
- Privacy and ZK Technologies | European Blockchain Convention
- ZK12: Skyscraper : Super Fast Hash for Big Primes - Katharina Koschatko
- ZK12: Nova-style folding over lattices: from Mova to folding STARKs - Albert Garreta
- ZK12: Future of ZK Applications with Anna & Friends
- ZK12: Accelerating Client-Side Cryptography with WebGPU - Tal Derei
- ZK12: MegaPlonk. Or, how I learned to stop worrying and love the plonk. - Zac Williamson
- Delta: Breaking Tradeoffs in Blockchain Architectures | Myles O’Neil & Ole Spjeldnæs
- ZK12: Analyzing and Benchmarking ZK-Rollups - Stefanos Chaliasos
- ZK12: Distributed proof generation for zkEVM from code-based polynomial commitment schemes
- ZK12: Abstractions for a multi-prover zkVM - Georg Wiese
- ZK12: Circom buses: the power to structure ZK circuits - Albert Rubio
- ZK12: Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman
- ZK12: From IVCs to RCGs - Ariel Gabizon
- ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification
- ZK12: Cyclic Groups from Geometry - Alp Bassa
- ZK12: ZK Trust Legos [ : Luring Web2 Onchain with ZK Primitives] - alizk
- ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa
- ZK12: Sonobe, a modular folding schemes library - Arnau Cube