“我明白了！”

叶宁作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。

“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。

它唯一的工作，就是像一个严格的账房先生一样，顺着树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”

“还要检查每一个被折叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。

父节点指针、状态重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”

周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”

“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算merkle根，只负责锁定内容和版本。

总清单记录分块范围、排列顺序和各自的根哈希。”

叶宁问：“外部节点可以只做抽样？”

“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”

说着，他在纸上分别圈出两个位置。

“merkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”

一直沉默倾听的乔闻铎，终于忍不住问道：“完成这套接口，需要多久？”

江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间态文件缓存。

“幸运的是，核心的搜索树数据都在硬盘里，我们没有清空缓存。

现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。

今晚十二点前，我来冻结格式规范。

明天全天，两套实现组负责将中间数据按照格式导出。

后天，把这套覆盖体系交给红队去疯狂攻击。”

江临看向第三方负责人。

“原定的论文发布会和新闻通稿，全部继续延期。”乔闻铎没有任何犹豫，当即拍板决断，“只要欧洲那个代表hoLd的红框不清零，我们就绝不启动任何实质性的公开动作。”

偌大的会议室里，没有任何人提出异议。

……

九月十六日，晚上九点。

经过三个小时的高强度讨论和反复推敲，覆盖见证的格式规范被江临正式敲定并冻结。

九月十七日，凌晨两点十二分。

Rust侧的枚举导出器在一阵疯狂的磁盘读写后，终于吐出了第一批庞大的搜索树分块文件。

然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。

拒绝接收。

错误并非出在枚举结果的正确性上。

监控日志显示，在第七层的一个被系统标记为状态重命名的剪枝节点里，导出程序只懒惰地保存了目标规范代表的编号，却遗漏了从原始状态名称到规范状态名称的完整置换映射矩阵。

对于人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。

但江临编写的小核验器没有任何人类的温情与妥协。

它拒绝进行任何形式的猜测。

缺乏显式证明，就是非法。
本章未完，请翻下一页继续阅读.........