“刚才李原说你直接就过来了，本来想让你在休息室多休息一会儿的。

做理论的人，脑子不清醒可不行。”

“在车上已经坐了很久，足够了。”

周志华点了点头，没有再继续在这个话题上纠缠。

他伸手将那份关于bb(5)的材料顺着桌面，推到桌子中央。

“你材料里关于pFR那部分的形式推导，逻辑很严密，我们可以稍后再谈。”

他的食指点了点那一行关于图灵机运行到第一百九十三步发生灾难性停机的记录上。

“我想先看看这台攻击测试机。

一个已经通过统一核验器的非停机证书，为什么会在第一百九十三步被实际运行结果推翻。”

“可以。”

江临打开面前的电脑。

周志华盯着那份已经被系统正式核验通过的错误证书，说：“那么我们先来看看，导致机器在第一百九十三步停机的关键信息，在那个号称最高效的压缩与核验过程中，为什么没能被作为证据保留下来？”

江临应了一声，敲击键盘，接通投影仪的信号源。

会议室前方那块宽大的白色幕布瞬间亮了起来。

屏幕被软件从中一分为二。

左边，展示的是一台由江临构造的四状态攻击测试机的状态转移矩阵。

右边，则是那份引发灾难，已经通过核验的非停机安全证书的十六进制代码。

那份状态表看起来短得可怜。

如果把它打印出来，甚至不需要改变字号，半张A4纸就能绰绰有余地把它全部装下。

然而，就是这样一台看起来简单到如同儿童玩具般的机器，一旦让模拟器按照状态表逐步执行，让它在一条无限长的空白纸带上运行起来，却能遵循着那些简单的规则，走出漫长且难以预测的轨迹。

这大概是整个计算机理论科学界里，最容易令人产生错觉的东西之一。

规则数量少，绝对不代表系统演化的事情就会简单。

江临移动鼠标，将右侧证书文件中的最后一项关键字段，在幕布上放大到占据了半个屏幕。

【Isolated_window：tRUE（隔离窗口验证状态：真）】

周志华靠在椅背上，看了一眼那个巨大的tRUE。

“这个tRUE，是谁填进去的？”周志华问。

“证书生成器。”江临回答说，“在进行代码压缩和逻辑打包的时候，生成器为了减小文件体积，直接做出了这个断言。”

“那么，是谁负责检查这个断言的真伪？”

“后端的统一核验器。”

“它是怎么检查的？”周志华的声音微微提高了一点。

“核验器的逻辑被精简过了，它没有去重新跑一遍底层的物理状态，而是直接读取了这个字段的布尔值。”

周志华抬起头看向江临：“然后呢？”

“没有然后了。”江临的回答毫无波澜。

整个会议室瞬间陷入了压抑的安静之中。

时间仿佛停滞了两秒。

孙教授坐在旁边，眉头紧锁，似乎在消化这个荒谬的逻辑闭环。

“也就是说核验器仅仅是去读取了生成器自己写上去的我正确三个字，然后，核验器就对整个系统宣布，嗯，我看过了，它是正确的？”周志华打破了沉默。

“对，就是这样。”

“呵，这套系统内部的人际关系，处得还真是融洽啊。”周志华笑道。
本章未完，请翻下一页继续阅读.........