K-Veritas is an open protocol that produces cryptographically signed reports certifying the authenticity of computational experiment results, without ever accessing your training data.
“Sealed and verifiable by any external party.”
Status · Verified
Produce cryptographically signed reports that certify the authenticity of computational experiment results, without accessing training data.
Research output is scaling faster than trust infrastructure. Reviewers, funders, and partners need independent evidence that published results match what was actually executed.
Wrap any experiment to produce a cryptographically signed, tamper-evident PDF that binds a published result to the exact code, hardware, and time that produced it. Includes source-code integrity, a provenance timeline, per-process execution telemetry with the HMCA coherence check, and an optional code bundle.
Learn moreProve the declared computational work was physically performed on the reported hardware, GPU or CPU. K-Veritas checks the declared FLOPs against three physical bounds: time, energy, and memory, so a hard violation is a non-deniable physical impossibility.
Learn moreRecord a tamper-evident, hash-chained log of an AI agent's actions. A chokepoint records every designated action before it takes effect, so no party can later deny or alter what an agent did, with guarantees of existence, content, and order.
Learn moreFrom experiment to verified submission in four steps. There is no change to how your code actually runs.
Prefix your training commands with kveritas run. Your code runs exactly as before.
Metrics, hardware data, and source hashes are collected and signed with a key only the server holds.
Attach the signed PDF alongside your paper and, optionally, the source-code bundle.
Upload to the web verifier for instant crypto status, metrics, and consistency checks.
Observers capture execution metadata from computational experiments without accessing proprietary input data. Each report is sealed through cryptographic signing and remains verifiable by any external party.
Strengthen open-protocol requirements and public verification tooling.
Expand pilots across varied computational domains and software ecosystems.
Independent oversight with open community participation and no investment-based control.
“What is written in the paper should be what was truly gotten from the experiments.”
K-Veritas is an independent, open-source standard maintained by the research community, with no control through investment.