Turnkey Whitepaper

whitepaper.turnkey.com · 9,018 words · saved by 1 readers

Here we dive straight into the depth of Turnkey's foundations and how they allow for Turnkey applications to be independently verifiable. We briefly explain what Trusted Execution Environments (“TEEs”) are and how we use them. On top of strong isolation and confidentiality guarantees, TEEs can prove the software they run through remote attestations. These attestations contain signed measurements from the underlying platform provider (“Platform Configuration Registers”, or “PCRs”). We introduce QuorumOS (“QOS”), a new minimal, open-source operating system engineered for verifiability. QuorumOS is the operating system run by TEEs, acting as the glue between provider-specific hardware and provider-agnostic applications. QuorumOS proves that a TEE is running a specific application by providing QOS Manifests to attestations. This lets anyone verify that an enclave is running the correct software (QuorumOS itself), and that QuorumOS is running the correct application binary (as specified in

Verifiable Foundations Turnkey Team January 2025 Abstract Here we dive straight into the depth of Turnkey's foundations and how they allow for Turnkey applications to be independently verifiable. We briefly explain what Trusted Execution Environments (“TEEs”) are and how we use them. On top of strong isolation and confidentiality guarantees, TEEs can prove the software they run through remote attestations. These attestations contain signed measurements from the underlying platform provider (“Platform Configuration Registers”, or “PCRs”). We introduce QuorumOS (“QOS”), a new minimal, open-sourc

Turnkey Whitepaper

related reading