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

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
• Drawbacks In FHE Blockchain And How TEE Can Help It by @tolak
• Build FHE Coprocessor on TEE by @tolak

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
• 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:
  • 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 Xinyuan Sun and Ryan MacArthur
  • TEE in Decentralized Al by Hang Yin
  • A complete Web3-based DCAP attestation framework by Zheng Leong
• 2024-07: Sequencing x CAKE day:
• • Sequencer preconfs with TEEs by @dmarz

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

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