From 10,000-Party Protocols to Vibe Coding ZK: Engineering Cryptography Through Black-Box Design
summary
Startup Ligero implements black-box primitives and ships working systems: 10,000-party RSA key generation uses threshold additively homomorphic encryption, certified triples and lattice-based key gen and scales to 1,000–4,000 parties (passive phase ~5–6 minutes at 1,000; 4,000s at 4,000). A matching engine runs 1,000 parallel auctions in under 5 minutes among ~60 parties with an untrusted coordinator. A memory-efficient, hash-based SNARK and a Ligero ZK running in-browser on mobile rely on WebGPU and MPC-in-the-Head.
AI-written summary · about
chapters (14)
- 0:00Introduction
- 1:49Black-box vs non-black-box
- 4:50Constant-round secure computation
- 10:37Ligero zero-knowledge
- 14:33Actively secure MPC
- 22:29From theory to Ligero
- 28:55Distributed RSA generation
- 33:16Privacy-preserving auctions
- 36:51ZK adoption challenges
- 40:27Vibe coding evolution
- 44:41Ligero ZK platform
- 51:06ZK-SNARKs complexity
- 54:56Memory-efficient Ligero ZK
- 58:27Conclusion
related talks
32mSoK: Private Programmability on Blockchain Systems
26mFragile Nonce Selection and ZKPs as a Solution
41mMiguel de Vega, Ravital Solomon, Remi Gai & Pascal Paillier I Pragma Denver 2024
30mPractical Zero Knowledge Proofs
01h 48mClosing Keynote Day 1
35mEfficient Zero Knowledge Protocols: The Modular Approach
01h 31mIntroduction to Secure Multi-Party Computation
58mFramework for Snarky Ceremonies