Turnkeyのエンクレーブアーキテクチャにおける検証は、システム起動から実行時、外部チェックまで連続的です。証明はリアルタイムで生成されるため、操作の各ステップは独立して確認できます。その方法は以下の通りです:
1/ ブートプルーフ(実行前):エンクレイブソフトウェアが展開されると、ブートプルーフが作成されます。この暗号記録は、環境が既知で信頼された状態から始まり、その後のすべての完全性を支えていることを示しています。
2/ アプリプルーフ(実行時):リクエストが処理される間、エンクレーブはアプリプルーフを生成します。これは、特定のアクションが元のBoot Proofに紐づいた検証済みエンクレーブ内で実行され、すべての操作を信頼された環境にリンクしていることを示しています。
67