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

• Leveraging High-Performance Computing for Efficient STARK Provers
• zkProving the history of Ethereum in real time.
• Developing and using a modular folding schemes library
• Introduction to hash-based proof systems
• Keynote: Programmable Cryptography and Ethereum
• Beyond Ligero and Brakedown: Building a Fast Prover Based on List-Polynomial Commitments
• An update on Jolt's development roadmap
• An Introduction to Cryptography, new and old
• Modern ZKP compilers by Leo Lara | Devcon SEA
• Mopro: Make Client-side Proving on Mobile Easy
• Semaphore V4 by Cedoor | Devcon SEA
• STARK proofs ELI5
• The combination of ZKP +/- MPC +/- FHE
• A Deep Dive into PETs Privacy Enhancing Technology | SheFi Summit Bangkok
• ZK Email: Making Proofs Fast
• Tachyon: A Much Faster and Lighter Halo2
• Why ZK Will Power Crypto's Next Killer Apps with Lagrange
• PSE Lectures Ep 38 - Summary
• PSE Lectures Ep 30 - Divisor of g_m-g_n, continued
• PSE Lectures Ep 31 - Counting n-torsion points
• PSE Lectures Ep 36 - Efficiently computable definition of Weil pairing
• PSE Lectures Ep 37 - Miller's Algorithm
• PSE Lectures Ep 26 - (n-)Torsion points: the rational map [n] of multiplication by n
• PSE Lectures Ep 28 - Derivations on an elliptic curve