~/talk

Unifying Ethereum via Real Time Proofs

Talkat Pragma San Francisco 2024 · 2024-10-16..10-17· [web3, distributed-systems]
slides:none on file

T1 proposes using Trusted Execution Environments plus layered cryptoeconomic security to post L2 state to Ethereum within an L1 block (≈12s) so users get near-instant finality instead of 7‑day optimistic waits or hourly ZK batches. Sequencing is done by an AVS-based sequencer that orders partially encrypted txs; TEEs (execution workers) decrypt and emit an ECDSA execution proof with ~5% overhead. Large withdrawals hit an AVS stake threshold and require an optional ZK proof before the canonical bridge accepts them.

AI-written summary · about

  1. 0:00Introduction & Trusted Execution Environment Basics
  2. 1:32Identifying the Rollup Fragmentation Problem
  3. 3:20Real-Time Proving & Why Zero-Knowledge Alone Is Not Enough
  4. 5:42Combining TEEs & Cryptoeconomic Security for L2
  5. 7:59Execution Flow & The Two AVS Roles (Sequencer + Worker)
  6. 10:48Tiered Security with Optional ZK for Large Transfers
  7. 13:26Cross-Chain Partnerships & “United Chains of Ethereum”
  8. 15:20Live Devnet Demo: Sub-Block Finality on T1
  9. 19:10How T1’s Canonical Bridge Verifies State Instantly
  10. 21:27Future Plans, Builders’ Invitation & Roadmap
~/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.