TEELeaves

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).

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.