第170章 把零交给全世界（4 / 18）
【leaf：叶节点】
“根节点必须严格对应一张全空的转移表，每一个展开节点，必须向核验器提供其下所有合法的子分支变体。每一个剪枝节点，无论是因为状態等价还是因为无意义的镜像，都必须提交局部的判定理由以及精確的等价映射函数。最后，每一个叶节点，必须能够回指到我们公布的完整枚举索引库，並无缝连接后端的停机或非停机裁决证书。”
“我明白了！”
叶寧作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。
“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。它唯一的工作，就是像一个严格的帐房先生一样，顺著树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”
“还要检查每一个被摺叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。父节点指针、状態重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”
周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”
“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算merkle根，只负责锁定內容和版本。总清单记录分块范围、排列顺序和各自的根哈希。”
叶寧问：“外部节点可以只做抽样？”
“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”
说著，他在纸上分別圈出两个位置。
“merkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”
一直沉默倾听的乔闻鐸，终於忍不住问道：“完成这套接口，需要多久？”
江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间態文件缓存。
“幸运的是，核心的搜索树数据都在硬碟里，我们没有清空缓存。现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。今晚十二点前，我来冻结格式规范。明天全天，两套实现组负责將中间数据按照格式导出。后天，把这套覆盖体系交给红队去疯狂攻击。”
江临看向第三方负责人。
“原定的论文发布会和新闻通稿，全部继续延期。”乔闻鐸没有任何犹豫，当即拍板决断，“只要欧洲那个代表hold的红框不清零，我们就绝不启动任何实质性的公开动作。”
偌大的会议室里，没有任何人提出异议。
……
九月十六日，晚上九点。
经过三个小时的高强度討论和反覆推敲，覆盖见证的格式规范被江临正式敲定並冻结。
九月十七日，凌晨两点十二分。
rust侧的枚举导出器在一阵疯狂的磁碟读写后，终於吐出了第一批庞大的搜索树分块文件。
然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。
拒绝接收。
错误並非出在枚举结果的正確性上。
监控日誌显示，在第七层的一个被系统標记为状態重命名的剪枝节点里，导出程序只懒惰地保存了目標规范代表的编號，却遗漏了从原始状態名称到规范状態名称的完整置换映射矩阵。
对於人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。
但江临编写的小核验器没有任何人类的温情与妥协。
它拒绝进行任何形式的猜测。 ↑返回顶部↑
“根节点必须严格对应一张全空的转移表，每一个展开节点，必须向核验器提供其下所有合法的子分支变体。每一个剪枝节点，无论是因为状態等价还是因为无意义的镜像，都必须提交局部的判定理由以及精確的等价映射函数。最后，每一个叶节点，必须能够回指到我们公布的完整枚举索引库，並无缝连接后端的停机或非停机裁决证书。”
“我明白了！”
叶寧作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。
“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。它唯一的工作，就是像一个严格的帐房先生一样，顺著树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”
“还要检查每一个被摺叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。父节点指针、状態重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”
周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”
“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算merkle根，只负责锁定內容和版本。总清单记录分块范围、排列顺序和各自的根哈希。”
叶寧问：“外部节点可以只做抽样？”
“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”
说著，他在纸上分別圈出两个位置。
“merkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”
一直沉默倾听的乔闻鐸，终於忍不住问道：“完成这套接口，需要多久？”
江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间態文件缓存。
“幸运的是，核心的搜索树数据都在硬碟里，我们没有清空缓存。现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。今晚十二点前，我来冻结格式规范。明天全天，两套实现组负责將中间数据按照格式导出。后天，把这套覆盖体系交给红队去疯狂攻击。”
江临看向第三方负责人。
“原定的论文发布会和新闻通稿，全部继续延期。”乔闻鐸没有任何犹豫，当即拍板决断，“只要欧洲那个代表hold的红框不清零，我们就绝不启动任何实质性的公开动作。”
偌大的会议室里，没有任何人提出异议。
……
九月十六日，晚上九点。
经过三个小时的高强度討论和反覆推敲，覆盖见证的格式规范被江临正式敲定並冻结。
九月十七日，凌晨两点十二分。
rust侧的枚举导出器在一阵疯狂的磁碟读写后，终於吐出了第一批庞大的搜索树分块文件。
然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。
拒绝接收。
错误並非出在枚举结果的正確性上。
监控日誌显示，在第七层的一个被系统標记为状態重命名的剪枝节点里，导出程序只懒惰地保存了目標规范代表的编號，却遗漏了从原始状態名称到规范状態名称的完整置换映射矩阵。
对於人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。
但江临编写的小核验器没有任何人类的温情与妥协。
它拒绝进行任何形式的猜测。 ↑返回顶部↑