How to Make Real Time Proving Possible Today and Why

on YouTube ↗22m

" summary

T1 claims real-time proving under 12s by combining TEEs, ZKPs and cryptoeconomic restaking so a node can follow other rollups and produce verifiable state within two L1 blocks. A live DevNet shows near-instant cross-rollup deposits/withdrawals and a demo reduces EIP-7683 intent settlement from intents settlement 60m→1m. Security uses deterministic inputs, multi‑TEE consensus with stake slashing and a bespoke ZKP safety mechanism that triggers full ZK proofs as value‑at‑risk grows. DevNet instant demo is shown working.

AI-written summary · about

" chapters (27)

1. 0:00Introduction to real-time proving challenge
2. 0:48Defining real-time proving under 12 seconds
3. 1:28The problem of rollup fragmentation
4. 2:07Audience poll on trusted execution environments
5. 2:55t1's hybrid TEE + ZKP + cryptoeconomic approach
6. 3:38Lessons from Scroll about scalability tradeoffs
7. 4:24Technical definition of real-time proving
8. 5:08Creating programmable interoperability
9. 5:55Comparing finality times across L2 solutions
10. 6:38Ethereum block time as speed limit
11. 7:25Demo of instant cross-rollup transactions
12. 8:00Market reality favoring UX over perfect security
13. 8:40Why multi-chain is inevitable but bridges are broken
14. 9:26The failed promise of shared sequencers
15. 10:09Betting on asynchronous composability
16. 10:56ZK proving speed developments
17. 11:42TEE security limits and attack thresholds
18. 12:26Fault attribution via deterministic states
19. 13:15Restaking for cryptoeconomic security
20. 14:02Handling large TVL with bespoke ZKP safety
21. 15:34Supporting non-EVM chains with Solidity UX
22. 16:23Live DevNet demo of instant transactions
23. 17:42TEEs rebranded from villain to hero
24. 18:26Killer use case: Intents (EIP-7683)
25. 19:13How t1 cuts intent settlement from 60m to 1m
26. 20:25Why faster proving means better rates
27. 21:45Closing and how to build on t1

" related talks

• 24mUnifying Ethereum via Real Time ProofsOrest Tarasiuk · Pragma San Francisco 2024
• 30mPractical Zero Knowledge ProofsRemi Gai, Kautuk Kundan, Danilo Kim · Pragma India 2023
• 16mTruth in a Post Truth WorldUma Roy · TOKEN2049 Singapore 2025
• 23mFireside Chat with Jordi on EEZJordi Baylina, Kartik Talwar · Pragma Cannes 2026
• 36mJoin Sandeep Nailwal, Rene Reinsberg, Alex Gluchowski & Steven Goldfeder I Pragma Denver 2024Alex Gluchowski, Steven Goldfeder, Sandeep Nailwal, RENE REINSBERG · Pragma Denver 2024
• 25mSuccinct Proofs in EthereumBarry Whitehat · 2nd ZKProof Workshop 2019
• 48mThe Current State of Layer 2Arthur Breitman, Zaki Manian, Patrick McCorry · TezDev 2023
• 18mState Proofs and Transaction VerificationDanno Ferrin · Censorship.WTF 2023