CIRIS has a new look. Visit the new site →
本页面由机器翻译。 如有任何读起来不通顺的地方,请提交问题——代码库是公开的,这正是原因所在。 报告翻译问题

返回首页

可核查的安全性

亲自验证我们的紧急停止开关。

大多数人工智能安全承诺要求你信任它们。这一个要求你去核查它。克隆代码仓库,运行一条命令,确认能够停止 CIRIS 智能体的密钥确实存放在真实的、通过 FIPS 认证的硬件中。不要相信任何人,包括我们。

指定的人可以停止一个 CIRIS 智能体。这项权力存在于硬件之中,而不在公司手中。

最后手段的停止机制 HUMANITY_ACCORD,由指定的个人持有,而不是由 CIRIS 公司、网络或智能体本身持有。联盟内部的任何一方都不能授予、撤销或凌驾于它之上。它需要三分之二的实时法定人数才能触发。

每把法定人数密钥都是两种签名绑定在一起构成的混合体。Ed25519 那一半的根基是通过 FIPS 认证的 YubiKey 5:在设备内部生成,不可导出,签名需要物理触碰。ML-DSA-65 那一半,即后量子签名,是一个封装到同一枚 YubiKey 之下的 USB 存储设备上的软件密钥,因为目前还没有任何 YubiKey 提供后量子小程序。总共六把密钥,三把在用,三把封存备用。撤销检查失败或结果未知时,一律视为已撤销,因此系统在出错时也保持安全。

一条命令。不需要硬件,不需要联网,也不需要信任我们。

我们的验证工具会针对六份已提交的密钥认证记录,重新运行 CIRISVerify 生产环境中实际使用的准入门控验证器,并对照 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

这能证明什么

全部六把法定人数密钥都能追溯链接到 Yubico 真实的认证根,因此它们各自的 Ed25519 签名部分确实是在真正通过 FIPS 认证的 YubiKey 5 硬件内部生成的:不可导出,需要触碰,无法伪造。

这不能证明什么

ML-DSA-65 那一半是封存在 YubiKey 之下 USB 存储设备中的软件密钥,并非硬件认证。这个验证工具不检查 USB 封装环节,也不检查实时法定人数,这两者是分开强制执行的。我们宁愿你清楚地知道这份验证凭证到底覆盖了什么范围。

后量子密码学已在生产环境中运行,每一个数字都是公开的。

4,946/s
每核心每秒的后量子签名事件数 实测值
5.11 GiB/s
每核心 AEAD 解密速度 实测值
67.6 µs
混合后量子密钥交换 实测值
0
跨组泄漏,50 至 400 个节点 实测值

后量子来源证明并非没有代价,我们不隐瞒这个成本:Ed25519 与 ML-DSA-65 混合签名的速度大约比传统签名慢十五倍,每个事件约为 550 微秒,而传统签名约为 36 微秒。存储的语料库在五分之一的持有者离线时,有 97.6% 的试验能够重建;在三分之一持有者离线时,重建成功率为 72.7%。这些数字是在共享 CI 运行环境上单核测得的中位数,每次提交都会重新生成。

查看每次提交重新生成的完整数据

整个要点就在于,你不应该只是相信上面这句话。你可以自己运行检查。

来源:CIRISVerify(Ed25519 + ML-DSA-65 托管认证,固定的 Yubico 根证书)、CIRISServer 基准测试站点(实测性能)、Yubico PKI(认证根)。数据固定于提交 0b73486,2026年6月24日。

CIRISsafe by structure · open by principle · kind by design