We are building a toolchain for running applications in secure enclaves, or “Trusted Execution Environments”.

Secure enclaves make it possible to create software that runs verifiably, autonomously, and privately, by delegating trust.

• TEEKit: End-to-end verifiable TEEs (2025)

Previously, we worked on a similar system using p2p tech:

• Serializable transactions for p2p databases (2025)
• GossipLog: Reliable causal broadcast for libp2p (2024)
• Okra: Merklizing the k/v store for fun and profit (2023)