Computer Science Conferences Should Require Nonrepudiable Experimental Results
本立场文件主张，计算机科学会议必须采用防篡改且不可抵赖的协议，以通过密码学手段将报告的实验结果与实际计算绑定，并通过形式化威胁模型及名为 K-Veritas 的参考实现来解决当前的验证缺口。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
以下是用通俗语言和日常类比对该论文的解读。
核心问题：“相信我，兄弟”式的科学
想象你是一名烹饪比赛的评委。一位厨师提交了一份食谱，并声称他们的蛋糕是世界上最棒的。他们递给你一张蛋糕的照片，以及一份关于制作过程的书面描述。
当前的系统就是这样的：厨师签署一份清单，声明“是的，我用了真鸡蛋”，以及“是的，我烤了 30 分钟”。他们甚至可能向你展示一段他们烘焙的视频。但这里的陷阱在于：厨师控制着这段视频。 他们可能剪辑了视频，展示的是真实的蛋糕，而实际上端给你的却是硬纸板模型。或者，他们可能烤了 50 个蛋糕，挑选了那个看起来最完美的，然后告诉你那是他们做的唯一一个。
在计算机科学，特别是机器学习（AI）领域，情况正是如此。研究人员提交带有数据表格（结果）和清单的论文。审稿人（评委）工作繁忙，无法重新运行实验。他们只能基于信任接受这些数字。本文作者认为，这种系统是行不通的，因为它依赖的是诚实，而非证据。
proposed 解决方案：“黑盒”收据
作者为计算机科学会议提出了一项新规则：实验不可否认性。
将其想象为科学实验的防篡改收据。
- 不可否认性是一个高级安全术语，意思是：“你不能否认你做过这件事，也不能在事后更改记录。”
- 目标是将论文中的数字与计算机实际执行工作的确切时刻绑定，使得作者无法伪造或篡改。
它是如何工作的（"K-Veritas"工具）
作者构建了一个名为K-Veritas的原型工具，以证明这是可行的。以下是其工作原理，使用了一个比喻：
想象研究人员是厨师，计算机是厨房。
- 封装器：研究人员不再只是告诉计算机“烤蛋糕”，而是使用一个特殊工具（K-Veritas），它将烘焙过程包裹起来。
- 沉默的见证者：这个工具就像一位站在厨房里、沉默且独立的见证者。它不触碰食材（数据），也不改变食谱（代码）。它只是观察。
- 快照：在计算机工作时，见证者会拍摄快照，记录：
- 正在使用的确切代码。
- 耗时。
- 消耗的电力和热量（以证明机器确实在全力工作）。
- 计算机最终打印出的数字。
- 密封信封：一旦实验完成，见证者将所有这些快照密封在一个数字“信封”中，并用一个只有见证者拥有的特殊密钥进行签名。研究人员永远无法获得这个密钥。
- 结果：研究人员提交论文时，会附上这个签名的信封。会议审稿人可以打开信封并验证：“计算机是否真的运行了 40 分钟？代码是否匹配？数字是否与打印结果一致？”
如果研究人员试图在事后修改论文中的数字，封印就会破裂，签名将失效。
为什么当前方法行不通
论文解释了当前的“安全网”为何无效：
- 清单：要求厨师签署一份声明“我用了真鸡蛋”的纸张，并不能证明他们没有使用塑料鸡蛋。
- 代码共享：仅仅因为厨师分享了食谱，并不意味着他们烤了他们声称的那个蛋糕。他们可能分享了一个可行的食谱，但报告的是他们秘密烤制的另一个更好的蛋糕的结果。
- 日志工具：跟踪进度的工具就像厨师写的日记。如果厨师想掩盖错误，他们可以直接编辑日记。
- 预注册：这就像厨师在开始之前承诺“我将烤一个巧克力蛋糕”。这能阻止他们改变计划，但并不能证明他们真的烤了蛋糕，或者他们报告的数字是真实的。
与“虚假审稿”的联系
论文做了一个巧妙的类比：
- 顶级会议（如 ICML）现在禁止审稿人使用 AI 撰写审稿意见。为什么？因为社区无法分辨审稿意见是真正的人类思考，还是机器人的虚假文本。
- 作者认为：如果我们无法信任虚假的审稿意见，那我们绝对无法信任虚假的结果。 如果审稿意见需要人类身份的证明，那么科学结果就需要计算过程的证明。
该工具能做什么和不能做什么
作者诚实地指出了其工具（K-Veritas）的局限性：
- 它能阻止：使用文本编辑器作弊、伪造数字、事后编辑日志，或者声称运行了大规模实验而实际上并未运行。
- 它无法阻止：能够欺骗计算机操作系统或硬件本身的超级黑客（例如伪造 GPS 信号）。
- 权衡：即使它不能阻止所有可能的作弊行为，它也提高了作弊的成本。目前，作弊只需要一个文本编辑器。有了这个系统，你就必须真正运行昂贵的计算机实验，或者去黑客攻击计算机的“大脑”。
前进之路
作者并非声称 K-Veritas 是最终答案。他们将其称为“测试床”（原型）。他们为社区提出了一个三步计划：
- 自愿：让研究人员自愿使用它，以获得“已验证”徽章。
- 预期：使其成为标准做法，就像共享代码正在成为标准一样。
- 强制：最终，要求所有包含实验结果的论文都必须使用它。
核心结论
科学建立在信任之上，但信任需要证据。本文认为，计算机科学会议应该停止要求研究人员“请保持诚实”，转而要求提供数字收据，证明论文中的数字确实来自真实且未被篡改的计算机运行。这是从“相信我”向“给我看收据”的转变。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。