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
- Succinct: Every Rollup Will Be a ZK Rollup! - Uma Roy. Ep. 577
- SNARGs Book Study Group - Week #3 with Guy Weissenberg
- ZK Hack V Workshop: Range Checks with Polygon Plonky3
- ZK Hack V Workshop: Integrating zkVerify into your dApp
- Bitcoin OS: Bitcoin Block 853626 Changed Everything For BTC Smart Contracts - Edan Yago. Ep. 576
- Reinventing PLONKish Circuit Design
- Scaling zk-Rollups with Hardware
- How to Decentralize Proof Generation?
- 如何在加速zkSNARK的同时保护witness的隐私信息
- Episode 345 - Latest ZK Research with Dan Boneh
- Vesselin Velichkov, Open Zeppelin: ZK Proofs for Blockchain Applications: an Auditor's Perspective
- Non-Native Arithmetic via CRT Codes by Liam Eagen | Devcon SEA
- SNARGs Book Study Group - Week #2 with Christian Knabenhans
- Trust-minimized P2P marketplaces on Ethereum by Richard | Devcon SEA
- zkP2P 协议解析-p1
- zkP2P 协议解析-p2
- Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks
- Building Consumer Apps with Programmable Cryptography
- [CLS] Programmable Cryptography
- ZKPs for Privacy and Scalability | ETHSofia
- TLSNotary: Applying MPC and interactive ZK to prove web2 data
- Folding STARKs with the Mova folding scheme
- Clookup - Composite Function based Lookup Argument
- Fuzzing Zero-Knowledge Infrastructure