Enhancing Protocol Security With ZK-Oracles
summary
Lido adds a pluggable ZK oracle that produces a zero‑knowledge proof of consensus‑layer data and anchors it to the execution layer via EIP‑4788 beacon block hashes, replacing some trust in a 9‑node committee that required 5 matching reports. LIP‑23 tightens negative rebase caps from ~5% to 3.4% over 18 days and adds a second‑opinion ZK path built on SP1 ZK VM compiled to RISC‑V32, deployed to Sepolia; initial proofs for 10k validators took ~1 hour so caching and recursive proofs are used to scale.
AI-written summary · about
chapters (14)
- 0:00ZK-Oracles and Lido intro
- 2:34External data problem in Lido
- 4:23ZK-Oracle solution framework
- 5:06Technical challenges of oracles
- 7:14Zero-knowledge proofs for oracles
- 9:01Oracle report generation algorithm
- 10:50Data integrity in ZK circuits
- 11:56Beacon block hash and state roots
- 14:26SP1 ZKVM and Rust dev
- 16:15Oracle code and proof generation
- 18:24On-chain ZK proof verification
- 20:10ZK proof generation challenges
- 22:16Sepolia deployment and testing
- 23:03Future enhancements and Q&A
related talks
20mThe Evolution of ZKProof.org
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)
51mPanel: Zero Knowledge in the Enterprise
21mZero-Knowledge Proofs and Self Sovereign Identity
26mState of ZK
51mWhy you shouldn't trust me
19mDIZK: A Distributed Zero Knowledge Proof System
22mHow Zero Knowledge Proofs Change the Narrative Around Privacy