Sirrah: Speedrunning a TEE Coprocessor | Flashbots

Flashbots' Sirrah is a minimalist demo showing how to extend an unmodified blockchain with a TEE coprocessor, built from Gramine-SGX and a forked REVM, with most logic written in Solidity. The authors are Andrew Miller, Mateusz Morusiewicz and Frieder Paape. The design is said to be simpler than related projects such as Secret Network, Oasis, Phala and Obscuro, because most of the trusted code is Solidity and the system attaches to an existing blockchain without modifying it. The post uses a sealed-bid second price auction as its motivating example, where bids are encrypted to a public key on-chain and decrypted inside a TEE that computes the result. Remote attestation is verified entirely on-chain using the Automata-V3-DCAP Solidity library, and the Helios light client, adapted for Proof-of-Authority, keeps the enclave tied to the real chain state.