How to Make Real Time Proving Possible Today and Why | Orest Tarasuik at Pragma Prague 2025

Thu, Oct 2, 2025, 12:00 AM

Orest Tarasuik, co-founder of t1, presents a groundbreaking solution for real-time proving and cross-rollup composability at Pragma Prague 2025. Learn how t1 combines trusted execution environments (TEEs), zero-knowledge proofs (ZKPs), and cryptoeconomic security to enable instant state verification between Ethereum L2s like Arbitrum, Optimism, and Scroll. Discover how this approach solves fragmentation, reduces finality times from days to seconds, and unlocks new possibilities for intents-based systems (EIP-7683) and seamless DeFi interoperability. A must-watch for developers building the future of multi-chain Ethereum. 00:00 Introduction to real-time proving challenge 00:48 Defining real-time proving under 12 seconds 01:28 The problem of rollup fragmentation 02:07 Audience poll on trusted execution environments 02:55 t1's hybrid TEE + ZKP + cryptoeconomic approach 03:38 Lessons from Scroll about scalability tradeoffs 04:24 Technical definition of real-time proving 05:08 Creating programmable interoperability 05:55 Comparing finality times across L2 solutions 06:38 Ethereum block time as speed limit 07:25 Demo of instant cross-rollup transactions 08:00 Market reality favoring UX over perfect security 08:40 Why multi-chain is inevitable but bridges are broken 09:26 The failed promise of shared sequencers 10:09 Betting on asynchronous composability 10:56 ZK proving speed developments 11:42 TEE security limits and attack thresholds 12:26 Fault attribution via deterministic states 13:15 Restaking for cryptoeconomic security 14:02 Handling large TVL with bespoke ZKP safety 15:34 Supporting non-EVM chains with Solidity UX 16:23 Live DevNet demo of instant transactions 17:42 TEEs rebranded from villain to hero 18:26 Killer use case: Intents (EIP-7683) 19:13 How t1 cuts intent settlement from 60m to 1m 20:25 Why faster proving means better rates 21:45 Closing and how to build on t1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 🇨🇿 *Pragma Prague* Pragma Prague 2025 was held on May 29th at Holešovice Market in Prague, Czech Republic and was an in-person summit for builders and leaders in the web3 ecosystem. This event was in collaboration with ETH Prague. Watch the full Pragma Prague YouTube Playlist here: ETHGlobal's Pragma series takes place in cities around the world, and is designed to be a different kind of event. Pragma is a one-stage conference with founders-only on stage, bringing together a small group of curated attendees and speakers to discuss the future of web3 and reflect on the past. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ ✅ Follow t1 Protocol X: https://x.com/t1protocol ✅ Follow Kartik Talwar X: https://x.com/TheRealKartik ✅ Follow ETHGlobal X: https://x.com/ETHGlobal​ Warpcast: https://warpcast.com/ethglobal Website: https://ethglobal.com YouTube: https://www.youtube.com/@UCfF9ZO8Ug4xk_AJd4aeT5HA _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ Are you interested in Ethereum development and entrepreneurship? 👉 Sign up for the next ETHGlobal event: https://ethglobal.com/events 🎁 Get exclusive access and perks with ETHGlobal Plus! https://ethglobal.com/plus 📣 Want us to throw an event in your city? Tell us where! https://ethglobal.com/city _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _