Show HN: Prove your code produced your claims without making reviewers rerun it
Kveritas is a new tool designed to provide tamper-evident verification for computational experiments by binding results to specific hardware and code. It uses background telemetry to ensure that reported results are authentic and reproducible without requiring reviewers to rerun the code.
Why it matters
It addresses the 'reproducibility crisis' in scientific and machine learning research by providing a cryptographic audit trail for experiments.
Tamper-evident verification for computational experiments. It binds a published result to the exact code, hardware, and time that produced it, in a cryptographically signed PDF anyone can verify. Works with any language, zero runtime dependencies, single static binary.
Platform. Verify, seal, proofs, checkout, benchmark artifacts, provenance, and disclosure levels are cross-platform. The file/subprocess activity map and per-process hardware attribution are Linux-only today; elsewhere they fall back to system-wide readings.
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/ Binaries: kveritas-{linux,darwin,windows}-{amd64,arm64} . Or build from source (Go 1.22+): make build .
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in