DigiNews

Tech Watch by Johan Denoyer

← Back to articles

Show HN: Prove your code produced your claims without making reviewers rerun it

Quality: 7/10 Relevance: 9/10

Summary

Show HN: Prove your code produced your claims without making reviewers rerun it introduces K-Veritas, a tamper-evident verification tool for computational experiments. It binds code, hardware, and time to a cryptographically signed PDF, enabling provenance, disclosure controls, and verifiable claims across languages and platforms. The project emphasizes reproducibility, auditability, and verifiable execution histories for scientific and ML workflows.

🚀 Service construit par Johan Denoyer