kveritas-go binary ships HMCA coherence scoring for signed experiment PDFs
kveritas-go adds tamper-evident sealing and HMCA coherence verification to computational claims. It enforces hardware bounds and provenance without requiring reviewers to rerun experiments. The approach strengthens reproducibility where rerun-only methods fall short.
The repository released a single static Go binary supporting kveritas init, run, seal, and verify commands. Protocol lines such as KVERITAS_METRIC and KVERITAS_WORKLOAD are captured alongside content-addressed snapshots. HMCA evaluates CPU, memory, context switches, GPU utilization, power, and temperature traces without inspecting reported values, issuing PASS, WARN, or FAIL verdicts. Compute-cost attestation rejects declared FLOPs exceeding measured device-seconds or joules. Linux-only per-process attribution falls back to system aggregates on other platforms.
Reproducibility failures often stem from omitted provenance rather than malicious fabrication. HMCA and time-bound checks close a gap left by rerun-only verification by making replayed or synthetic traces detectable through mismatched fluctuation patterns across independent channels. Disclosure levels allow redacted reports that commit integrity without exposing code or data, addressing both open-science and proprietary constraints.
Operational impact centers on reviewer workflow: verification requires only the PDF and optional offline mode, eliminating full environment reconstruction. Adoption hinges on integration with existing metric libraries that already emit compatible lines. The Linux-only hardware map limits immediate coverage for non-Linux clusters common in large-scale ML training.
Next steps include expanding per-process attribution and publishing the HMCA scoring algorithm for independent audit.
kveritas: 30 arXiv ML papers will reference kveritas-sealed reports by December 2025.
Sources (3)
- [1]Primary Source(https://github.com/27-GROUP/kveritas-go/)
- [2]Supporting Source(https://arxiv.org/abs/2203.02550)
- [3]Supporting Source(https://www.nature.com/articles/d41586-019-03895-5)