Abstract:TEE-based smart contracts are an emerging blockchain architecture, offering fully programmable privacy with better performance than alternatives like secure multiparty computation. They can also support compatibility with existing smart contract languages, such that existing (plaintext) applications can be readily ported, picking up privacy enhancements automatically. While previous analysis of TEE-based smart contracts have focused on failures of TEE itself, we asked whether other aspects might be understudied. We focused on state consistency, a concern area highlighted by Li et al., as well as new concerns including access pattern leakage and software upgrade mechanisms. We carried out a code review of a cohort of four TEE-based smart contract platforms. These include Secret Network, the first to market with in-use applications, as well as Oasis, Phala, and Obscuro, which have at least released public test networks. The first and most broadly applicable result is that access pattern leakage occurs when handling persistent contract storage. On Secret Network, its fine-grained access pattern is catastrophic for the transaction privacy of SNIP-20 tokens. If ERC-20 tokens were naively ported to Oasis they would be similarly vulnerable; the others in the cohort leak coarse-grained information at approximately the page level (4 kilobytes). Improving and characterizing this will require adopting techniques from ORAMs or encrypted databases. Second, the importance of state consistency has been underappreciated, in part because exploiting such vulnerabilities is thought to be impractical. We show they are fully practical by building a proof-of-concept tool that breaks all advertised privacy properties of SNIP-20 tokens, able to query the balance of individual accounts and the token amount of each transfer. We additionally demonstrate MEV attacks against the Sienna Swap application. As a final consequence of lacking state consistency, the developers have inadvertently introduced a decryption backdoor through their software upgrade process. We have helped the Secret developers mitigate this through a coordinated vulnerability disclosure, after which their state consistency should be roughly on par with the rest.

The Forking Way: When TEEs Meet Consensus

Scalable Byzantine Consensus Via Hardware-Assisted Secret Sharing

Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution

Proof of Luck: an Efficient Blockchain Consensus Protocol

Teechain: A Secure Payment Network with Asynchronous Blockchain Access

PoTS: A Secure Proof of TEE-Stake for Permissionless Blockchains

Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning

Defending Blockchain Forking Attack by Delaying MTC Confirmation

SoK: TEE-Assisted Confidential Smart Contract

SGXonerate:Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE

TBFT: Efficient Byzantine Fault Tolerance Using Trusted Execution Environment

End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs

Parallel Byzantine fault tolerance consensus based on trusted execution environments

Mixed Fault Tolerance Protocols with Trusted Execution Environment

Understanding TEE Containers, Easy to Use? Hard to Trust

ParaEthereum: Private and Parallel Smart Contracts with Trusted Hardware

Keystone: An Open Framework for Architecting TEEs

SoK: A Systematic Review of TEE Usage for Developing Trusted Applications

A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs