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
- ZK HACk istanbul: Exploring o1js: Build Web-Native zk Applications with Ease
- ZK Cryptography and the Frontier of Innovation w/ David Wong (ZK Security)
- Episode 300 - A ZK Podcast Retrospective
- Verifying Celo's Plumo light client proofs efficiently on Ethereum with Halo2
- Presenting ZK-Beacon: ZK-proving Full Ethereum Consensus and Enabling Layer2 Light Clients
- zkCasper: A SNARK-based protocol for verifying Casper FFG Finality Proofs.
- Cost Analysis of Poseidon
- Welcome & Introduction
- Practical Zero Knowledge Proof Applications
- Luke Schoen / DCxPrague
- Powdr: a modular stack for zkVMs
- Sıfır Bilgi Kanıtları ile Web3'te Yeni Çağ
- Sıfır bilgi ispatları ve zkSNARK nedir?
- zkAcademy #7: Drawing Merkle Trees By Hand with Lagrange, presented by Union Build
- Episode 298 - Mina's zkApps and o1js with Brandon and Steve
- zkAcademy #3: How To Think About zk Technology with zkSync, presented by Union Build
- zkAcademy #2: Misconceptions About zkRollups with Aleo Presented by Union Build
- zkAcademy #1: Exploring Lagrange's Recproofs and their Impact on DeFi
- COSMOS IBC EVERYWERE with Karel Kaiser of Union
- zkStudyClub - IOPs with Inverse Polynomial Soundness Error (Gal Arnon - Weizmann Institute)
- How and Why to Build a ZK-Based System w/ Jason Morton (ezkl)
- Episode 296 - Zeth, Bonsai and RISC Zero with Brian and Jeremy
- 密码学系列课程 第13课 zkStark证明系统 p2
- 密码学系列课程 第13课: zkStark证明系统 p1