K-Veritas - Tamper-evident verification for computational experiments
Show HN: Prove your code produced your claims without making reviewers rerun it
K-Veritas is a CLI tool that creates cryptographically signed PDFs proving your code produced your claims, without requiring reviewers to rerun your experiments. It binds results to the exact code, hardware, and time, and works with any language with zero runtime dependencies. Features include execution-coherence analysis (HMCA) to detect fabricated runs, compute-cost attestation to catch impossible claims, selective-disclosure proofs, and provenance tracking. Ideal for researchers, data scientists, and AI engineers who need to share reproducible results with integrity.
It binds a published result to the exact code, hardware, and time that produced it, in a cryptographically signed PDF anyone can verify.
- matharmin
The readme has a lot of words but still does not clearly explain what this does or what you'd use it for.
The best I can gather is that this captures telemetry while you're running some computationally-expensive job, and checks that the resource usage roughly matches what it's supposed to be. But what does "Tamper-evident" mean? I assume you sign with your own private key? What exactly prevents the data from being faked?