Explore a comprehensive lecture on the intersection of Trusted Execution Environments (TEEs) and blockchain technology. Delve into the fundamentals of TEEs, focusing on Intel's Software Guard Extensions (SGX) and their limitations. Examine partially decentralized systems, including Intel's Proof of Elapsed Time (PoET) and Proof of Useful Work. Investigate hierarchical attestation, performance considerations, and potential SGX compromises. Analyze the concept of payment channels, from unidirectional and bidirectional channels to the Lightning Network. Discover the innovative TEEChain system, its setup process, deposit mechanisms, and asynchronous blockchain access. Gain insights into crash fault resilience through persistent storage and chain replication. Conclude with a discussion on the global implications of blockchain technology for cross-border transactions.
Trusted Execution Environments Meet the Blockchain
Overview
Syllabus
Intro
Trusted Execution Environment
Software Guard Extensions (SGX)
TEE Limitations
Partially Decentralized
Intel's Proof of Elapsed Time (PoET)
Proof of Useful Work
Hierarchical Attestation
Performance
SGX Compromise
Attacker's Advantage
Wasted Proof of Work
Payment Channels
Toy Example: Unidirectional Channel
Bidirectional Channel
Lightning Network
Strawman: single TEE
TEEChain Crux
Channel Setup
Deposits
Deposit Dissociation
Asynchronous Blockchain Access
Correctness Proof Overview
Crash Fault Resilience - Persistent Storage
Crash Fault Resilience - Chain Replication
Satoshi's across The Atlantic
Taught by
Simons Institute
