K-VERITAS

Open infrastructure and tool for conferences, journals, universities and researchers that mathematically binds computational results to the exact code, hardware and time that produced them.

It is the official first implementation of Experiment Nonrepudiation, a new paradigm/subfield that requires published experimental results to be cryptographically non-repudiable. The approach was accepted to the NeurIPS 2026 Position Paper Track.