VAP / VSO · 公告 ·
VSO 发布 VAP 实验研究复现工具包
VeritasChain Standards Organization（VSO）发布了用于证据提交验证和操作系统隔离模拟执行网关研究的复现工具包。工具包提供运行环境要求、操作步骤、预期结果和报告格式，供外部评估者自行运行固定版本的实现。
研究发布 · 实验性扩展尚未采纳
第三方独立复现尚未成立。以下结果来自内部测试和 CI，并不代表正式采纳、可用于生产环境或全面符合 VAP。
从公开实现到可按步骤执行的评估
本研究将密码学完整性与是否满足已声明的证据提交要求分开评估。工具包连接现有验证器、执行前记录网关和 OS 隔离实验，不修改它们的实现。完成环境准备后，一条命令即可运行现有回归测试和场景测试，生成新的合成证据，并使用固定代码重新验证签名、哈希和证据之间的绑定。
内部验证确认的结果
| 检查项目 | 记录结果 |
|---|---|
| 工具包回归测试 | 27 项通过 |
| 现有实现回归测试 | 138 项通过：OS 28 项＋网关 46 项＋验证器 64 项 |
| 回归测试总计 | 165 项通过 |
| 合成场景 | 16 个 OS 案例、15 个网关场景和 14 个验证器案例与预期一致；验证器在当前规范模式和实验模式下分别检查。 |
| 保存的证据 | 重新验证了 11 组网关证据及 OS 实验证据。 |
CI 生成并解压 ZIP、检查校验和，再针对单独检出的固定实现执行测试，随后重新检查保存的输出。“与预期一致”表示观察结果符合预先规定的期望。对照测试包含故意开放路径和不进行身份验证的模拟 API，并确认绕过成功的场景，因此不能将结果解释为所有条件下都能阻止绕过。
区分工具包与被评估实现的版本
| 用途 | 提交 |
|---|---|
| 复现对象：验证器、网关和 OS 实验 | c8ccf97 |
| 已合并的复现工具包 | b1af0dc |
| 最终 CI 检查的工具包 HEAD | 69142d9 |
本工具包未修改当前 VAP v1.2、DOC-SYNC、K3、现有验证器、现有网关及 OS 隔离实验。验证器的当前规范模式和实验模式继续分离。合并工具包不等于分配正式提案编号或采纳实验性扩展。
在评估者自行管理的新 Linux 环境中运行
- 准备全新、可销毁的原生 Linux 主机或 Linux 虚拟机，遵循环境准备与运行步骤（英文）。需要 Git、Python 3.12 及以上、rootful Docker Engine 和 Compose v2。
- 获取固定工具包和单独锁定的复现对象，核对源代码并完成预检查后运行测试。参考运行环境为 Ubuntu 24.04 x86_64、Python 3.12.15、Docker 28.0.4 和 Compose 2.38.2；环境差异也会被记录。
- 保留完整输出，并填写评估者报告（英文），包括失败、未完成步骤和环境差异。仅重新检查已保存的证据，不等于重新执行 OS 实验。
该环境信任执行者、主机、Docker 守护进程和控制程序，使用合成数据、模拟服务和测试密钥；模拟回执不构成独立时间证明。初次准备需要访问外部软件包及容器镜像仓库。下一阶段的目标是另一位评估者实际执行并提交报告，而不是增加内部成功次数。