更糟的是:这条补丁通过了旧的规约风险分类,因为它不触碰承诺域字段——它被归类为“编码兼容性优化”。
可守望纪元已经走到“证明与解锁”的深水区:
编码域不再是外围,它是唯一性的一部分。
外围的刀,会割断中枢的骨。
江砚当场把“编码域变更”提升为**险规约治理对象,并写入反例前置:
锚号:l2-uniq-01
不可做:任何编码域(填充/扩展/默认补齐)不得引入二义性;编码兼容性优化必须证明唯一解不被破坏,否则视为解锁裂纹入口。
同时更新规约治理协议:
凡涉及“可能影响唯一解”的字段,无论是否属于承诺域,都进入**险试验场。
敌人又一次在低风险角落埋刀。
这一次,刀被拔出来并钉在反例墙上。
---
###十三、敌人的再升级:他们转向“集合操纵”,试图用到达顺序挑份额
当编码二义被修复,敌人不会放弃“选择权”。
他们会转向另一条路径:不让密文本身二义,而让解锁过程“选用不同份额集合”,从而导致解密输出在容错边界附近抖动。
也就是说:
即便唯一解存在,只要你允许不同集合触发不同纠错路径,仍可能出现输出差异或可偏置。
这就是集合操纵:
通过控制份额到达顺序、制造局部延迟,诱导解锁器使用不同的k份额组合。
解锁唯一性共识的uniq-cons-01b已经预防了这一点:份额集合规范化。
但敌人会尝试攻击集合规范化规则本身: