如果三实现都遵循同一份规范,而规范被投喂,三实现即便代码不同,也可能一起错。
这叫“规约劫持”。
敌人很可能提出:
>“你看,独立实现会产生差异。
>不如把证明卡规范写得更明确、更严谨、更统一。”
听起来仍是好事。
但规范如果被某一圈层操控,就能把开关写进规则。
江砚对此的应对是:把规范治理也纳入守望链旁系。
---
###十三、规约治理协议:规范变更也要试验场与反例
可证索引:spec-gov-01
名称:规约治理协议
spec-gov-01a:规范变更门槛
*任何涉及承诺域、混合算法、快照字段、边界条款的变更,视为**险
***险规范变更必须进入规约试验场
*必须给出操控成本不下降证明与反例对照
spec-gov-01b:规约试验场
*用现有证明卡集与恶意形变集测试新规范
*验证:旧证明兼容性、攻击面是否扩大、字段缺失是否可能被容错
*验证:独立实现是否仍能保持差异熵(避免被规范逼成同源行为)
spec-gov-01c:规范共创抽签团