Show HN：证明您的代码产生了您的声明，而无需让审阅者重新运行它

计算实验的防篡改验证。它将发布的结果与生成该结果的确切代码、硬件和时间绑定在一起，并以任何人都可以验证的加密签名 PDF 形式呈现。适用于任何语言，零运行时依赖性，单个静态二进制文件。平台。验证、密封、证明、结账、基准工件、出处和披露级别是跨平台的。文件/子进程活动图和每个进程的硬件属性目前仅适用于 Linux；在其他地方，他们又回到了全系统的解读。预构建的二进制文件：curl -fsSL https://github.com/27-GROUP/kveritas-releases/raw/main/bin/kveritas-linux-amd64 -o kveritas chmod +x kveritas && sudo mv kveritas /usr/local/bin/ 二进制文件： kveritas-{linux,darwin,windows}-{amd64,arm64} 。或者从源代码构建（Go 1.22+）： make build 。 kveritas init # 启动会话（默认情况下已编辑） kveritas run -- python train.py --epochs 90 # 在 kveritas 下运行（任何命令） kveritas run -- pythonvalu.py kveritas seal --output report.pdf # 签名 PDF（+ 在 --disclosure 打开时捆绑） kveritas verify report.pdf # 验证（添加 --offline 以跳过服务器）以任何语言将这些打印到 stdout；捕获的所有内容都绑定到签名记录中。行 用途 KVERITAS_METRIC name= value= [step=] 记录指标。 KVERITAS_PHASE name= 标记阶段边界（硬件快照）。 KVERITAS_CLAIM metric= value= 提交标题声明。 KVERITAS_INPUT src=seed:<值> 提交随机种子。 KVERITAS_MODEL params= arch= precision= 模型卡（提供计算成本）。 KVERITAS_WORKLOAD dataset_size= epochs= batch_size= [seq_len=] 工作负载卡。 KVERITAS_ARTIFACT role=model|dataset [name=] path=visibility=public|private 证明模型或数据集。常见指标也会自动检测（Keras 历史记录、sklearn CV、类似指标的局部变量），因此简单的运行不需要任何行。 HMCA（执行一致性）度量盲。它从不查看报告的结果。在运行期间，后台采样器以大约 10 Hz 的频率记录每个进程的遥测数据（CPU、内存、上下文切换、页面错误、CPU 频率、I/O，以及使用 GPU 时的利用率、内存、功率、温度）。在密封时间 HMCA 对这些通道是否作为一个进程的影子共同波动进行评分：真实的运行将它们全部从一项活动中驱动，而伪造或重放的跟踪则不会。结论是 PASS （连贯）、 WARN 、 FAIL （不连贯）或 N/A （遥测数据太少，无法判断）。轻跑是根据其所进行的活动来判断的，绝不会因为轻跑而受到惩罚。网络验证器随时间呈现通道。当运行声明模型卡时，seal 会生成一个证书，检查声明的 FLOP 与硬件可以实际提供的结果。当时间声明的 FLOP 超过 GPU 峰值 x GPU 活动秒数加上 CPU 峰值 x CPU 核心秒时，不可能发生限制声明的 FLOP 能量超过测量的 GPU 焦耳除以每 FLOP 的最小能量内存声明的权重超过观察到的 GPU 内存（软）时间限制对每个设备进行求和，因此无论工作在 GPU、CPU 或两者上运行，它都会触发（捕获在空闲 CPU 上声明的 175B 模型）。界限宽裕，诚实的奔跑就过去了；无卡或无遥测是 N/A 。严重违规是 FABRICATION-IMPOSSIBLE ，绑定到签名中。来源和披露 每次运行都是内容寻址快照的签名时间线（运行开始时的源状态、每个阶段和运行结束，以及更改的内容），Merkle 链接并绑定到签名中。您可以选择每次会话显示的内容；这仅控制披露，始终致力于诚信。级别标志报告显示经过编辑的（默认） kveritas init 假名，无名称，无内容名称 --show-names 真实文件名，无内容打开 --disclosure open 真实名称 + 签出包（代码） 经编辑的报告不会显示任何敏感信息（无代码、名称、数据、权重、命令行或盐）；服务器只收到一个哈希值。 .kveritasignore 中的模式将文件排除在任何捆绑包之外；保留的文件仍作为仅散列叶提交并列为保留，因此不能静默删除它。选择性披露证明 显示一个文件位于签名快照中，而不暴露其他文件： kveritas Prove Report.pdf src/train.py kveritas verify-proof kveritas-proof-train.py.json 对于代理会话，根据其提交的哈希证明一个记录的提示或输出，使每个其他条目保留一个哈希： kveritasharness-prove session.json 1 --inputprompt.txt -oproof.json kveritasverify-harness-proofproof.json 选择条目通过索引或 --tool-use-id ；使用 --input 显示提示或使用 --output-content 显示响应。在 --disclosure open 处密封写入 report.pdf.kvbundle.zip ，保存源内容（内容寻址、重复数据删除）以及每个快照的清单，而不是数据集或权重。其哈希值绑定在报告中；每个文件在结帐时都会重新散列。 kveritas checkout report.pdf.kvbundle.zip run_end /tmp/out --report report.pdf 证明基准测试