开源工具 K-Veritas 已在 Hacker News 上发布，旨在解决科研和代码审查中的信任问题。该工具通过密码学签名的 PDF 将已发布的计算结果绑定到生成它的确切代码、硬件和时间，使审阅者无需重新运行代码即可验证结果的真实性。