TEELeaves
TEELeaves lets you run verifiable and private prediction markets, using TEEs
Problem Statement
TEELeaves lets you run a prediction market orderbook within a Trusted Execution Environment (TEE). It runs with:An open source repoVerifiable execution - Schnorr signatures over ed25519 and nitro enclaves attestation verification.Encrypted orders - using ECIES (ed25519 + aes256).
Solution
This project leverages nitro enclaves as for the TEE setup. We also use two main open-source repos:rust-clob: a rust based, binary limit orderbook (blob) implementation. We used the orderbook implementation, some of the client code for benchmarks and server code for routing user's orders.sp1-tee: common, host and enclave code. We adapted sp1-tee code to work with rust-clob. We got rid of most of the prover, networking and auth logic. We re-use some of the scripts and docker setup.
