字体
关灯
   存书签 书架管理 返回目录
行动区间是重要,但不能用来换操控成本下降。
    如果容错导致可选择,操控成本必下降。
    那不是可行动区间,是可夺入口。
    ---
    ### 六、江砚的判断:解锁必须“唯一”,容错必须“可证明不二义”
    这不是要取消容错,而是要把容错从“猜”变成“证”。
    江砚提出一条新的约束:**解锁唯一性宪章**。
    锚号:UNIQ-CH-01
    要点:
    * U1:同一揭示包的解锁明文必须唯一;
    * U2:容错只允许在“不会引入多解”的编码层工作;
    * U3:任何容错解码必须附带“唯一性证明”,证明不存在第二个合法明文;
    * U4:若无法给出唯一性证明,则必须降级为“重托管/重加密/重封存”而不是输出模糊明文;
    * U5:唯一性失败不得由人名裁判,必须由结构触发复验与回滚。
    这条宪章的精神是:
    可用性不能靠模糊输出换来。
    可用性必须建立在可证明的唯一解上。
    否则,你越可用,敌人越可选;
    你越可选,偏置越稳定;
    偏置越稳定,刷题越容易。
    ---
    ### 七、解锁唯一性共识:像三实现校验一样,对解锁输出做“三解一致”
    要让唯一性可持续,不能靠单点实现。
    必须像校验共识那样,建立“解锁共识”。
    锚号:UNIQ-CONS-01
    名称:解锁唯一性共识协议
    UNIQ-CONS-01A:三解锁实现
    * D1:主解锁器(生产)
    * D2:影子解锁器(隔离复验)
    * D3:对照解锁器(不同供应链实现)
    三者必须独立实现,且解锁输出必须一致;否则不允许进入熵混合。
    UNIQ-CONS-01B:份额集合规范化
    * 解锁不再接受“先到先用”的随意份额集合
    * 解锁器必须在窗口内收集足够份额后,按“确定性选择规则”选定份额集合
    * 选择规则封存、可审计,避免敌人通过到达顺序操纵集合
    例如:按份额持有人哈希排序取前K个有效份额;或按随机证明链生成的集合选择器选定集合。
    UNIQ-CONS-01C:唯一

关闭+畅/阅读=模式,看最新完整内容。本章未完,请点击下一页继续阅读》》
上一页 目录 下一页