実行の証拠を、
検証可能に。

証拠から、確かめられる結果へ。

1. 証拠を結びつける

   観測結果を、対象の実行、観測元、承認された検証設定に結びつけます。

2. 署名と故障条件を検証する

   署名付き証拠を検証し、対応する実行モデルでは誤報・欠測の許容範囲を数学的に確認します。

3. 結果を独立に確かめる

   証拠、設定、検証結果を保持し、同じ検査を後から再現できます。