Secure if True: Proving Security with TEE Attestations

現代加密資產系統面臨一個根本矛盾：區塊鏈本身是透明且可驗證的，但負責管理私鑰、執行交易簽章的中心化後端卻是完全的黑盒。Jack Carney 曾在 Coinbase 主導管理 2,000 億美元的冷儲存系統，後擔任 Polychain Capital CTO，在大量 DeFi 參與的實際操作中意識到現有工具缺乏細粒度授權能力，進而創立 Turnkey——一個以 API 形式提供私鑰生成、存取控制與政策引擎的安全私鑰管理系統。

Carney 的核心論點是：目前所有中心化 API 都不算可驗證系統，因為缺乏「原始碼與系統行為之間的強連結」。傳統 TLS 僅能證明你連線的服務與持有該域名的公司一致，卻無法證明背後跑的是什麼程式。要真正達成可驗證性，需要三層技術串聯：第一層是可重現建構，讓人類可讀的原始碼每次都能確定性地編譯出相同的 artifact hash；第二層是遠端認證，由 AWS Nitro Enclave 等安全飛地記錄啟動時的 kernel、boot FS 與應用程式 hash，並附上 IAM role 等資訊，形成工作負載指紋；第三層是App Proofs，Enclave 在啟動時生成短暫非對稱金鑰對，公鑰嵌入 attestation document，私鑰永不離開 Enclave，所有回應均以此簽章，讓呼叫方能確認回應確實來自已驗證的工作負載。

然而可重現建構本身也有陷阱。Carney 指出業界普遍只做「最後一哩」可重現建構——把 Go 或 Rust 應用層做到可重現，底下的 OS 卻完全不透明，這並非真正端到端可重現。為此 Turnkey 開發了 Stage X（現為社群維護的開源工具），從 96 bytes 的組語碼起始自舉，一路建構到 C 編譯器再到現代 Rust/Go，完整解決 Ken Thompson 在《Reflections on Trusting Trust》中所描述的編譯鏈信任難題——即「你怎麼知道編譯器本身沒有被植入後門」的問題。

在市場驗證階段，Turnkey 發現客戶除了想用其私鑰 API 外，也對「把自己的應用部署到這套可驗證飛地環境」有高度興趣，進而推出 Turnkey Verifiable Cloud（TVC）。TVC 目前已與 Anchorage 合作進行可驗證交易解析。更重要的是，TVC 不需要密碼經濟系統支撐，就能讓 Web2 HTTP 請求的執行結果被智能合約驗證，為 Oracle、PII 合規處理等場景提供了一條低複雜度的橋梁。Turnkey 計畫年底前開源第一個 Enclave 應用，逐步走向完全可驗證。