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
- ZK10: A new Fiat-Shamir library for the masses - Michele Orrù
- PSE Lectures - Ep 7 -Deep dive into Finite Abelian Groups and it's properties
- Misha Komarov: =nil; Foundation – The Marketplace for ZK Proof Generation #514
- SVM on Ethereum?! Bullish or Bearish $SOL? with Neel Somani, Founder, Eclipse
- PSE Lectures - Ep 6 - Cyclic groups, Cyclic SubGroups & Finite Abelian Groups
- The Future of ZK Applications
- Proving Ethereum Full Nodes in ZK
- 密码学系列课程11: zkSnark-SHA256查找表
- ep 8 – Top Tech Topics, Explained
- Could This Vitalik-Backed Protocol Bring Privacy to a Regulated Crypto World? - Ep. 542
- PSE Lectures - Ep 5 - Groups (4/4)
- The Integrated ZK Stack: From Hardware to API w/ Omer Shlomovits (Ingonyama)
- 密码学系列 第10课: zkSnark UltraPlonk证明系统
- Learn Noir in an Afternoon (Parts 1-2)
- DappCon 2023: Improving DeFi Security With zkOracles And Zero Knowledge Proofs - Marlene Ronstedt
- DappCon 2023: Learn Noir in an afternoon or get your money back - José Pedro Sousa
- PSE Lectures - Ep 4 - Groups (3/4)
- Episode 290 - Exploring, Teaching and Auditing ZK with David Wong
- How to Run an ETH Validator On a Smart Watch
- PSE Lectures - Ep 3 - Groups (2/4)
- Proving as Fast as Computing - Part 2 with Ron Rothblum | a16z crypto research
- Proving as Fast as Computing - Part 1 with Ron Rothblum | a16z crypto research
- zkStudyClub - Lasso/Jolt (Justin Thaler, Georgetown University/a16z)
- The Next Frontier: Trustless Compute w/ Tim, Wolfgang and Rami (RISC Zero)