Inclusive Accountability at Scale via Proofs

on YouTube ↗01h 05m

" summary

Cryptographic integrity is achieved by batching off‑chain computation into succinct proofs that verify on‑chain in tiny time; the system uses zk-STARKs to generate proofs in near‑linear time and a verifier that accepts a new Merkle root and proof. A demo settles 32,000 trades / 2,000 TPS with the proof fitting in one Ethereum block, yielding an amortized gas ~200 per trade. The product StarkEx powers non‑custodial exchanges: proofs prevent unauthorized state updates though data‑availability and ramping (deposit/withdraw) remain operational details.

AI-written summary · about

" chapters (14)

1. 0:00Introduction
2. 3:33Computational Integrity
3. 13:05Proofs
4. 20:40Crypto Proofs
5. 28:18Zero Knowledge
6. 33:02Scalability
7. 37:13Blockchain scalability
8. 41:37Starck
9. 41:52Lock vs Free Exchange
10. 45:27Liquidity fragmentation
11. 46:00How it works
12. 46:38System Architecture
13. 50:57Fair Matching
14. 58:45Etherium Network

" related talks

• 28mHow Does A STARK Proof System WorkMichael Riabzev · ETHLondonUK 2020
• 16mScaling with STARKsUri Kolodny · TOKEN2049 London 2022
• 27mScalability Solutions from zk SNARKsMary Maller · ETHLondonUK 2020
• 40mEthereum at HyperscaleAlex Gluchowski, Kartik Talwar · Pragma Paris 2023
• 28mRings and trees: how to prove coin ownershipAaron Feickert · Monero Konferenco 2025
• 16mProving Ethereum Full Nodes in ZKTiancheng Xie · TOKEN2049 Singapore 2023
• 39mProof of Impact - Decentralized Decision-Making at ScaleMatty Taylor, Mark C. Ballandies, Daljeet Sengh · Solana Breakpoint 2023
• 03mRecapRemco Bloemen, Jesse Pollak, Alex Gluchowski, Sandeep Nailwal, Uma Roy, Zac Williamson, RENE REINSBERG, Jordi Baylina, Eli Ben-Sasson, Mihailo Bjelic, Martin Derka, Robert Miller, Georgios Konstantopoulos, Ahmed Al-Balaghi · Pragma Paris 2023