憲法上のキルスイッチ
指名された人間がCIRISエージェントを停止できます。その権限は会社ではなくハードウェアにあります。
最後の手段としての停止機能、HUMANITY_ACCORDは、CIRISという会社でも、ネットワークでも、エージェント自身でもなく、指名された人々が保持します。連合内のどの当事者も、これを付与、取り消し、または上書きすることはできません。3つのうち2つのライブクォーラムがそろったときに発動します。
各クォーラム鍵は、二つの署名を結合したハイブリッド方式です。Ed25519側はFIPS認証済みのYubiKey 5に根ざしています。デバイス内部で生成され、取り出し不可能で、署名には物理的なタッチが必要です。ML-DSA-65側、つまり耐量子署名は、そのYubiKeyの下でUSBスティックにシールラップされたソフトウェア鍵です。まだ耐量子アプレットを搭載したYubiKeyが存在しないためです。合計6つの鍵があり、3つが装着済み、3つが保管庫にあります。失効確認が失敗または不明な場合は失効済みとして扱われるため、システムはフェイルセキュアです。
独立検証
コマンド一つ。ハードウェアもネットワークも不要、私たちを信用する必要もありません。
私たちの検証ハーネスは、CIRISVerifyの本番用アドミッションゲート検証ツールをそのまま、6つのコミット済み鍵の証明に対して、Yubicoのパブリックアテステーションルートのピンどめされたコピーと照合して再実行します。CIRISVerifyリポジトリをクローンして実行してください。 github.com/CIRISAI/CIRISVerify
cargo test -p ciris-verify-core --test accord_ceremony_custody -- --nocaptureピンどめされたルートが本物であることは、Yubicoから直接取得して確認できます。 developers.yubico.com/PKI/yubico-ca-1.pem
これが証明すること
6つのクォーラム鍵すべてが、Yubicoの実際のアテステーションルートにチェーンしています。つまり、それらのEd25519署名側は、本物のFIPS認証済みYubiKey 5ハードウェア内部で生成されたものであり、取り出し不可能、タッチ必須、偽造不可能です。
これが証明しないこと
ML-DSA-65側は、YubiKeyの下でUSBにシールされたソフトウェア鍵であり、ハードウェアによって証明されたものではありません。このハーネスは、USBのシールや実際のクォーラムそのものは確認しません。それらは別途強制されています。この検証結果が何を証明していないかを、正確に知っていただきたいと考えています。
主張ではなく実測
耐量子暗号は本番環境で稼働しており、すべての数値は公開されています。
耐量子暗号による来歴保証は無料ではなく、私たちはそのコストを隠しません。ハイブリッドEd25519 + ML-DSA-65署名は、従来方式よりおよそ15倍遅く、1イベントあたりおよそ550マイクロ秒対36マイクロ秒です。保管されたコーパスは、保有者の5分の1がオフラインの状態でも97.6%の試行で再構成でき、3分の1がオフラインでも72.7%で再構成できます。数値は、共有CIランナー上でのシングルコア中央値で、コミットごとに再生成されます。
肝心なのは、上の文章を信用する必要がないということです。自分で確認できます。
出典: CIRISVerify(Ed25519 + ML-DSA-65のカストディ証明、ピンどめされたYubicoルート)、CIRISServerベンチサイト(実測パフォーマンス)、Yubico PKI(アテステーションルート)。数値はコミット0b73486、2026-06-24に固定。