1. Auditor 环境固定版本
以下 toolchain 版本被严格固定，以确保编译和 replay hash 可复现：
- Rust
- 1.95.0
- NPA
- v0.1.1
为确保数学正确性保持绝对可靠，所有 checker 都运行在固定的 deterministic sandbox 中。本页说明 compiler 环境和 replay 配置。
2. 密码学证书格式（.npcert）
NPA 证书文件是结构化 binary payload，包含 export hash 和由 reference checker 验证的 ECDSA signature。
3. Deterministic replay engine
proof replay engine 从 replay.json 读取验证步骤，并重建形式化 proof term，在 kernel 内再次验证。