~/talk

Eclair Testnet, 1stPublic Network to Use SP1 + EigenDA

Talkat Pragma Cannes 2025 · on Thursday, 2025-07-03· [web3, cryptography]
slides:none on file

Celo launches the Eclair testnet combining SP1 + EigenDA v2 to run an OP‑Stack optimistic rollup that uses ZK fault proofs; live demo shows a challenger game resolved by an SP1-generated proof verified on L1 in 54 seconds, rejecting the bogus state root. Demo proves EVM state transitions plus EigenDA certificate authenticity (Hokulea in Rust), and shows features like stablecoin gas payments and ERC20/native duality with real‑time proving and synchronous composability.

AI-written summary · about

  1. 0:00Introduction
  2. 0:40Zelda-Themed Presentation & Milestone Announcement
  3. 1:07Launch of Celo Eclair Testnet
  4. 1:32Celo’s Transition to L2 and OP Stack
  5. 2:30ZK vs Optimistic Rollup Decision
  6. 3:42Advances in ZK Proving Systems
  7. 4:42Real-Time Proving & Synchronous Composability
  8. 6:22Preparing for a ZK Future
  9. 6:42Eclair Testnet Overview
  10. 7:41Unique Features of Eclair
  11. 8:13OP Succinct Light and EigenDA v2 Integration
  12. 8:46Live Demo: Challenge-Response Process
  13. 10:27Technical Details: ZK Usage and Cost Efficiency
  14. 12:27EigenDA v2 Improvements
  15. 13:41Hokulea and Rust Integration
  16. 14:10Celo Extensions and Client Porting
  17. 14:57Demo Results & Security Validation
  18. 16:42Block Diagram Explanation
  19. 19:24Challenge Response and Proof Verification
  20. 20:12Conclusion & Next Steps
  21. 20:51End
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.