仪式为AI带来了计算完整性——确保输出是可证明的正确，不依赖于集中操作员的盲目信任。
支持的小工具：
- ZK机器学习：最强的密码安全，但成本高且速度慢。
- 乐观机器学习：假设正确性，仅在争议时检查，成本更低且可扩展。
- 受信执行环境：快速且私密，但依赖于芯片供应商。
- 概率证明机器学习：便宜，适用于重负载（如大型语言模型）的统计验证。
#ritual
