TEELeaves
TEELeaves lets you run verifiable and private prediction markets, using TEEs
Demo
About
TEELeaves lets you run a prediction market orderbook within a Trusted Execution Environment (TEE). It runs with: 1. An open source repo 2. Verifiable execution - Schnorr signatures over ed25519 and nitro enclaves attestation verification. 3. Encrypted orders - using ECIES (ed25519 + aes256).
How it's made
This project leverages nitro enclaves as for the TEE setup. We also use two main open-source repos: 1. 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. 2. 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.