HeadlinesBriefing favicon HeadlinesBriefing.com

K-Veritas CLI: 计算实验防篡改验证

Hacker News •
×

GitHub仓库 27-GROUP/kveritas-go 引入 K-Veritas CLI,这是一个用于计算实验防篡改验证的工具。它通过密码学签名的PDF将发布的结果绑定至精确的代码、硬件和执行时间,任何人都可以进行验证。该工具兼容任何编程语言,零运行时依赖,并作为单个静态二进制文件跨Linux、macOS和Windows平台进行分发。

安装可通过预编译二进制文件或使用Go 1.22+从源码构建。快速入门命令包括 `kveritas init` 以开始会话,`kveritas run` 以受监控方式执行命令,`kveritas seal` 以生成签名PDF报告,以及 `kveritas verify` 以验证报告。`KVERITAS_METRIC`、`KVERITAS_PHASE`、`KVERITAS_CLAIM` 和 `KVERITAS_ARTIFACT` 等协议行可实现指标、阶段、声明和人工痕迹的结构化记录。

HMCA(执行一致性)引擎通过在执行期间以~10 Hz的频率采样每进程遥测数据,执行不关注指标的验证。它评估CPU、内存、GPU利用率以及其他通道是否作为单一真实进程的阴影共同波动,从而产生PASS、WARN、FAIL或N/A的 verdicts。计算成本证明将声明的FLOPs与硬件物理限制在时间、能量和内存边界进行对比,将违规行为标记为FABRICATION-IMPOSSIBLE。溯源使用带可配置披露级别(红acted、名称、公开)的已签名、Merkle链接时间线,控制报告可见性同时保持完整性。

关键实体:公司 GitHub、27-GROUP

常见问题:K-Veritas如何在不访问实际结果的情况下验证计算实验?

K-Veritas使用HMCA(执行一致性),在执行期间以~10 Hz的频率采样每进程遥测数据。它验证CPU、内存、GPU利用率以及其他硬件通道是否作为单一真实进程的阴影共同波动,而无需 ever 检查报告的指标或结果。

常见问题:K-Veritas如何在不访问实际结果的情况下验证计算实验?

常见问题答案:K-Veritas使用HMCA(执行一致性),在执行期间以~10 Hz的频率采样每进程遥测数据。它验证CPU、内存、GPU利用率以及其他硬件通道是否作为单一真实进程的阴影共同波动,而无需 ever 检查报告的指标或结果。