敌人要夺走的不是验证，不是证明。
他们要夺走的是：**校验器之间的多样性**。
多样性一旦被夺走，“一致”就变成陷阱。
---
###一、同源一致的可怕：一致可以被伪造，只有差异才会报警
守望纪元一路把世界从“信人名”搬回“信结构”，其中最关键的一条是：
你不必相信某一个工具，你相信多实现一致，且一致可复现构建可校验。
但多实现一致有一个隐含前提：实现必须独立。
独立不是“语言不同”这么简单。
独立是：关键路径不能共享同一段逻辑、同一份解析、同一套假设。
否则三实现一致只是三份同源复制品的齐声唱和。
如果敌人能投毒那段共享逻辑，那么三实现一致就会给他提供最漂亮的伪装：
你看，三套都绿。
这就是“同源一致”——一致性被敌人当成遮羞布。
江砚对首衡说了一句很短的话：
“我们现在不缺验证，我们缺多样。”
首衡沉默片刻：“多样意味着成本。”
江砚点头：“成本是门票。没有成本，入口就会很便宜。”
---
###二、proofkit从何而来：它不是黑客作品，它是“疲劳的礼物”
proofkit出现得非常合理。