Trusted Execution Environments Meet the Blockchain
summary
Combines Intel SGX enclaves to replace wasteful hashing with a measured, instrumented work unit called proof of useful work where the enclave counts instructions and runs simulated Bernoulli trials to award blocks, adding ~5–15x runtime overhead versus native but avoiding 100% energy waste; defends against cloned-chip attestations with a statistical frequency filter that drives attacker gain toward parity over weeks; and builds TChain, per-user TEEs that control deposits for instant, no-real-time-access payments (implemented between Imperial and Cornell, higher throughput with geo-replication latency costs).
AI-written summary · about
chapters (26)
- 0:00Intro
- 1:07Trusted Execution Environment
- 1:26Software Guard Extensions (SGX)
- 3:23TEE Limitations
- 7:07Partially Decentralized
- 7:35Intel's Proof of Elapsed Time (PoET)
- 11:09Proof of Useful Work
- 15:16Hierarchical Attestation
- 18:49Performance
- 22:19SGX Compromise
- 23:29Attacker's Advantage
- 24:17Wasted Proof of Work
- 26:24Payment Channels
- 26:47Toy Example: Unidirectional Channel
- 28:14Bidirectional Channel
- 29:11Lightning Network
- 33:05Strawman: single TEE
- 33:52TEEChain Crux
- 34:39Channel Setup
- 35:11Deposits
- 37:46Deposit Dissociation
- 38:10Asynchronous Blockchain Access
- 38:41Correctness Proof Overview
- 41:05Crash Fault Resilience - Persistent Storage
- 44:56Crash Fault Resilience - Chain Replication
- 46:38Satoshi's across The Atlantic
related talks
41mPanel: A New Root Of Trust: Changing Computing With TEE
42mSponsored Session: Confidential Computing - New Capabilities for New Workloads
37mIt's All About Trust: Why Confidential Computing Matters- 42mSponsored Session: Confidential Computing - New Capabilities for New Workloads
24mEnhancing Privacy in Cross-Chain Messaging: Untraceable Credentials with TEEs
38mOne Ring -3 To Secure Them All: Computing with Hardware Enclaves
36mAttacking & Defending Kubernetes TEE Enclaves in Critical Infrastructure
27mHasTEE: Programming Trusted Execution Environments with Haskell