第197章 同源一致

作者:衲六 加入书签推荐本书

如果三实现都遵循同一份规范,而规范被投喂,三实现即便代码不同,也可能一起错。

这叫“规约劫持”。

敌人很可能提出:

>“你看,独立实现会产生差异。

>不如把证明卡规范写得更明确、更严谨、更统一。”

听起来仍是好事。

但规范如果被某一圈层操控,就能把开关写进规则。

江砚对此的应对是:把规范治理也纳入守望链旁系。

---

###十三、规约治理协议:规范变更也要试验场与反例

可证索引:spec-gov-01

名称:规约治理协议

spec-gov-01a:规范变更门槛

*任何涉及承诺域、混合算法、快照字段、边界条款的变更,视为**险

***险规范变更必须进入规约试验场

*必须给出操控成本不下降证明与反例对照

spec-gov-01b:规约试验场

*用现有证明卡集与恶意形变集测试新规范

*验证:旧证明兼容性、攻击面是否扩大、字段缺失是否可能被容错

*验证:独立实现是否仍能保持差异熵(避免被规范逼成同源行为)

spec-gov-01c:规范共创抽签团

上一页 返回目录 下一页