第197章 同源一致(3/9)

后的反常识对照。
过去它常常误报，所以没人依赖它。
可这一次，它提示的是“字段缺失”，而三实现都没看到缺失。
这不是一定是证明卡有问题。
更像是：三实现共同忽略了某个字段。
共同忽略，往往意味着共同代码路径。
共同代码路径，往往意味着同源。
ProofKit被点亮在屏幕上时，答案已经写在空气里。
---
###四、同源一致的攻击方式：不改你验证结果，只改你“看见什么字段”
ProofKit做的事情很基础：解析证明卡、规范化字段、输出校验结论。
它最容易藏刀的地方，不是算法，而是“规范化”。
只要在规范化过程中：
*把某个字段视为“可选”，缺失也当作通过；
*把某个字段做“容错合并”，把缺失解释为默认值；
*把某个字段在序列化时截断或修剪；
*把某个字段的哈希域从混合里拿掉；
那么三实现会同时“看不见”那条缺失。
它们一致通过。
你得到一个漂亮的绿。
而真正的证明语义可能已经被破坏：
commit-reveal的承诺域少了一块，攻击者就可能通过缺失字段绕过某些约束；
候选池快照的边界条款被“容错”，攻击者就可能在池快照里插入不该出现的候选结构；
时间锚字段被默认化，攻击者就可能制造“回放见证”的叙事空间。
敌人最喜欢的不是让你失败，而是让你成功——成功地接受一份不该接受的证明。
这才是同源一致的杀伤：
它让错误披着“完全一致”的圣袍。
---
###五、ProofKit的“善意说明”：统一规范，减少差异
ProofKit团队当然不会承认投毒。
他们的公开说明甚至让人觉得非常科学：
>“差异会造成信任波动。统一解析能提升一致性。
>一致性是公信力的基础。”
这句话在一般工程里是对的。
在守望纪元里，它只对了一半。
一致性确实重要。
但公信力的基础不是一致性，而是独立性带来的可疑点：
当两套实现不一致时，你能发现问题；
当三套实现一致但独立时，你能相信一致；
当三套实现一致且同源时，你只是把信任交给了一段共享代码。
一致性不是目的。
独立性才是防夺权的前提。
江砚把这句话写进内部警示卡：
可证索引：WARN-UNI-01
摘要：**一致性提升若以独立性为代价，会把“绿灯”变成