TEE Wiki

[Quintus]

SUAVE’s design is centered around the use of TEE’s, but not everyone is familiar with this technology. Here are some links to get you up to date on the discourse. Please add links directly or in the comments!

Please see the SUAVE wiki for more SUAVE-specific resources.

---

Curated lists

• Awesome SGX by Jimmy
• Awesome SGX Open Source Projects by Mingyu Li
• Awesome SGX & TEE on Blockchain by Eray
• Awesome TDX by Flashbots

Explainers

• Intel SGX Demystified by Tudor Malene
• SGX 101 by Systems Software & Security Lab
• SGX Explained by Victor Costan and Srinivas Devadas
• Attestation Mechanisms for Trusted Execution Environments Demystified by Jämes Ménétrey, Christian Göttel, Anum Khurshid, Marcelo Pasin, Pascal Felber, Valerio Schiavoni, Shahid Raza
• Trusted Execution Environments (TEEs) for Blockchain Applications by Ari Juels
• Trusted Enclaves by Oliver Jaros and Shlok Khemani

General

• Debunking TEE FUD: A Brief Defense of The Use of TEEs in Crypto by @Quintus and @socrates1024
• Attestions demystified by putting them on chain by @socrates1024
• Intel TDX Security and Side Channels by @PradyumnaShome
• Closing the Intel TDX Page Fault Side Channel, or, The Case for TDExit-Notify by @PradyumnaShome
• Destructive Hardware Trojan Detection Protocol Brainstorming by @Quintus
• TEE engineering Part 1: Cloud Attestations - Advantages, Shortcomings, Solutions by @fnerdman
• Reading list by @Quintus
• Project T-TEE: From Trusted to Trustless Execution Environments by @Quintus
• Trustless TEE update. August 24 by @Quintus
• Taxonomy of TEE Attacks by @Quintus
• Research Project: From Trusted to Trustless Execution Environments by @Quintus
• TEE engineering Part 1: Cloud Attestations - Advantages, Shortcomings, Solutions by @fnerdman
• Proprietary binary provisioning within TEEs by @fnerdman
• Searching in TDX by @angelfish
• Drawbacks In FHE Blockchain And How TEE Can Help It by @tolak
• Build FHE Coprocessor on TEE by @tolak
• Zero Trust Execution Environments by @Quintus , Sylvain Bellemare, @jonathan, @socrates1024
• ZTEE: Trustless Supply Chains by @Quintus, Sylvain Bellemare and Michael Gao
• List of open PDKs by @Quintus
• Loose SEAL: Enabling Crash-Tolerant TDX Applications by Utilizing SGX Sealing Provider Sidecar by @Moe
• TEE-enabled Social Games: An Experiment with Bobu’s Magic Show by @sxysun, Ryan MacArthur, Roshan Palakkal, and @socrates1024
• Setting Your Pet Rock Free by Ropirito, @sxysun , @socrates1024 , karan4d, Roshan, and dillonrolnick
• Liquefaction: Privately Liquefying Blockchain Assets by James Austgen, Andrés Fábrega, Mahimna Kelkar, Dani Vilardell, @sarah.allen , Kushal Babel, Jay Yu, and Ari Juels

MEV-Boost

• MEV-SGX: A sealed bid MEV auction design @bert
• Running Geth within SGX: Our Experience, Learnings and Code by @metachris and @fnerdman
• Block Building inside SGX by @metachris and @fnerdman
• TEE + Rainbow MEV Boost Idea by @dmarz
• TEE-Boost by @shea

SUAVE

• Sirrah: Speedrunning a TEE Coprocessor by @socrates1024, @mateusz, and @fnerdman
  • Forum post by @socrates1024
  • Timelock encryption demo by @brock
• The Problems Solved By SUAVE by @Quintus
• SUAVE smart contract programming model: TEE-based smart contracts for block building by @socrates1024
• Request for SuApp: Kettle Cash by @socrates1024
• Request for SuApp: Decentralized TLS server by @socrates1024
• T(EE)-Stack demo: running a validator in TDX by @fnerdman
• Multi-kettle communication by @Quintus
• Building Secure Ethereum Blocks on Minimal Intel TDX Confidential VMs by @Moe
• Analysis of the SUAVE Architecture, Mechanisms and Use-Cases by Jonas Gebele
• Account Abstraction Leveraging TEE by @mcarlomagno
• Dark.Pool Researchathon: Privacy Tech for Building a Dark Pool in DeFi by @rezabfil and @Lilyjjo
• Dark.Pool Researchathon: Dark Index Token, enabled by SUAVE by @dex
• TEE Party with SUAVE: Could Trusted Execution Environments Replace Trusted Actors? by @halo3mic

Talks & Discussions

• 2023-01: MEV Roast:
  • SGX Panel with @socrates1024, @jonathan, @phil, @justindrake
  • The Joys and Challenges of Adopting PETs by @jonathan
  • TEE Smart Contracts Pitfalls and Best Practices by @socrates1024
  • Private Searching on Private Transactions by @ra
• 2023-03: ETHDenver Privacy Workshop
  • Why TEEs suck both less and more than you think by @phil
  • An intro to SGX & Enclave-based API by @kevinyu
• 2024-06: T-Stack demo by @fnerdman
• 2024-07: EthCC 2024:
  • Decentralized Block Building by @shea
• 2024-07: Metagame.day:
  • MEV in 2025 by @shea
  • The TEE Stack by @socrates1024
  • ModulariTEE: Control Your Information Flow by @dmarz
  • Unlocking A New Dimension of Application Design with TEE Stack by @sxysun
• 2024-07: TEE.Salon Brussels:
  • TEE Stack Potential, Reminder about Tech Debt, Bargaining bots concept by @socrates1024
  • Quartz: A privacy Preserving TEE Sidecar for CosmWASM by Ethan Buchman
  • qtee Moving Towards Open Source & Verifiable Secure-through-Physics TEE Chips by Sylvain Bellemare
  • Web Proofs: Add internet data to onchain apps by Tracy Livengood
  • Designing Open Processors for the Next Generation of Cryptography by Michael Gao
  • TEE Block Building by @shea
  • Intel TDX Demos by @Moe
  • What applications do TEEs enable? by @sxysun and Ryan MacArthur
  • TEE in Decentralized Al by Hang Yin
  • A complete Web3-based DCAP attestation framework by Zheng Leong
• 2024-07: Sequencer preconfs with TEEs by @dmarz
• 2024-09:
  • Bankless: The MEV Trilemma with @shea
  • TEEs for Non-Equivocation in Modern Consensus by @socrates1024
  • Zero Knowledge Podcast: Episode 339 - TEEs with @socrates1024
• 2024-11 TEE.salon @Bangkok:
  • Trustless Hosting with TEEs by Patrick Kearney
  • TEE Build System by Davie
  • Searching in TDX: to BoB and Beyond by Frieder Erdmann and 0xprincess
  • Reproducible builds for Nitro Enclaves by Roshan Raghupathy
  • Ledger: A Case Study by Charles Guillemet
  • Satellite Compute Fleet as Distributed Trusted Hardware by Daniel Bar and yangwao
  • Javacard/ Smartcard based TEE by Marcus Hearn
  • Building the trustless trade supply chain with TEEs by Markus Schmitt
  • Dedicated TPM-based System with WASM signing verification vs. TEEs by Will Villanueva
  • TEE Abstraction Middleware by Alex GG
  • Shared Private State on Aztec by Rahul Kothari
  • Last-mile TEE use cases for Penumbra by Henry de Valence
  • Physical Unclonable Functions for Socially Unpredictable Humans by @sxysun
  • 5 Levels of TEEs by Georgios Konstantopoulos
  • Old TEE Tales: A not-so-in-depth exploration of TEE platforms and its designs by Zheng Leong Chua
  • TEE perspectives: Where you run your TEEs matters by @fnerdman
  • Bringing TEE magic to web2 and web3 by @socrates1024
  • Panel: TEE for Block Building & Preconfs with @dmarz, Nathan Worsley, Ellie Davidson, Kevin Lepsoe, and kassandraETH
  • Secure Hardware: From Sand To Stone by @Quintus
  • Ethereum & Silicon with @Quintus, Vitalik Buterin, Charles Guillemet, Robert Drost, and Michael Gao
  • Towards Verifiable Fab with Robert Drost and Michael Gao
  • Forum post by @Tina
• Sequencing with TEEs by @shea
• 2024-12:
  • Into the Bytecode: Quintus Kilbourn on TEEs and Secure Hardware with Quintus Kilbourn
  • Into the Bytecode: Andrew Miller on TEEs, account delegation, research, and the early days in Bitcoin with Andrew Miller

Flashwares

• Intro to TEEs and SGX by @Moe
  • Forum post by @Moe
• End-to-end useful enclave in Gramine/Python; into to Controlled Channel attacks by @socrates1024
  • Forum post by @socrates1024
• builder + yocto TDX remote hackathon by @fnerdman
• TEEception by @mateusz
  • Forum post by @mateusz
• What do MEV apps want from TEEs anyway? by @mateusz and @dmarz
  • Forum post by @mateusz
  • Thread by @dmarz
• it’s Lit by Harry Bairstow
  • Forum post by @mateusz
• Flashwares vii: Reusable Enclaves with Shixuan Zhao from SecLab, CSE, The Ohio State University
  • Forum post by @mateusz
• Flashwares viii: Dstack meets on-chain PCCS and ZK SNARK proofs of attestations by @socrates1024 and Deli Gong and Zheng Leong Chua (@czl) from Automata
  • Forum post by @mateusz

Use Cases & Case Studies

• Oasis Network
• Secret Network
  • Secret Network Vulnerabilities
    • Related blog post
• Clique
• The Sting Framework (SF) by IC3
• SoK: TEE-Assisted Confidential Smart Contract by Rujia Li, Qin Wang, Qi Wang, David Galindo, and Mark Ryan
• TEE-builder by Automata Network
• MEV-BooTEE by Oana Barbu and afkbyte
  • Presentation by Oana Barbu at MEV-SBC’24
• Autonomous TEE Manifesto by Poetic Technologies

[h4x3rotab]

Probably also good to add the link to Phala Network, a SGX-based decentralized offchain compute protocol that’s already launched on its mainnet. It allows to deploy WASM programs and javascript program to the workers, which enables features like internet access and ecdsa signing in the offchain workers distributed all over the world.

• Website: https://phala.network
• Github: GitHub - Phala-Network/phala-blockchain: The Phala Network Blockchain, pRuntime and the bridge.

[KevinYu]

Adding a list of important papers on the intersection of blockchain systems and TEE’s
(will keep adding more materials to the list):

Papers

• General Blockchain System Design
  • Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
  • Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
  • Solidus: Confidential Distributed Ledger Transactions via PVORM
  • SoK: SGX.Fail: How Stuff Gets eXposed
  • SGXonerated: Finding (and Partially Fixing) Privacy Flaws inTEE-based Smart Contract Platforms Without Breaking the TEE
• Applications
  • Town Crier: An Authenticated Data Feed for Smart Contracts
  • Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware
  • Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge

Also a list of Popular Developer Toolings

• Rust SGX SDK
• Fortanix Rust EDP
• sgx-step
• DCAP