Building with TEEs
Open-source repositories:
-
Gramine: A lightweight, open-source Library OS designed to run unmodified Linux applications in TEEs. Gramine lifts essential OS interfaces into user space, making applications portable across platforms that implement a simple Platform Adaptation Layer (PAL).
-
Automata's Attestation SDKs: Automata's suite of attestation SDKs enable onchain verification of TEE attestations across all major TEE families, including Intel SGX, Intel TDX, AMD SEV-SNP, and AWS Nitro. Automata's DCAP Dashboard automates the collateral upkeep and quote management required for Intel SGX and TDX attestations.
-
DStack SDK: The DStack SDK simplifies the steps for developers to deploy programs to a confidential VM and enables verification if an application runs inside a TEE
-
ROFL: Run containerized apps in confidential VMs with out of the box support for decentralized policy management, key management, execution transparency and reproducible builds. Easily deploy apps on a decentralized cloud of TEE compute providers.
-
SecretVM: SecretVM SDK includes all the components required to launch confidential Virtual Machines, including a reproducible build system for CVM artifacts, an on-chain Key Management System, and other tools