预验仓验证通过后,生成“预验票据”(轻量标签)
* 解锁窗口使用托管包时,只需验证预验票据与短标签,不再执行重验证
ESCROW-PRE-01B:两段验证
* Vfast:窗口内快速验证(票据签章、哈希绑定、时序锚)
* Vdeep:窗口外深验证(份额证明、编码域一致性、唯一性兼容)
* 只有通过Vdeep的托管包才会获得可用票据
ESCROW-PRE-01C:预验口粮与隔离
* 预验仓有固定算力口粮,不与行动链争抢
* 高疑似结构的证明进入缓冲队列,不影响正常托管包预验吞吐
* 预验仓的吞吐与积压公开摘要(不显影身份),避免被说暗门
ESCROW-PRE-01D:预验票据不可伪造
* 票据由三实现独立验证器共同签发(多实现一致)
* 票据绑定密文哈希、commit哈希、周期锚、份额持有人匿名编号
* 票据本身可被外部校验其真实性,但无法反推出具体份额内容(防显影)
这一招的本质是“把慢从窗口里搬出去”。
敌人可以把证明做得很慢,但慢发生在预验仓里,不会掐死解锁时隙。
解锁窗口只做轻验证,几乎无法被最坏情况拖穿。
沈绫松了半口气:“他们收税,我们提前把税交完。”
江砚点头:“更准确——我们把税从‘危机时刻’变成‘日常预算’,让税无法勒索行动。”
---
### 六、保险税收的反击点:敌人会转向“预验仓洪潮”,试图把口粮吃光
敌人不会放弃。他们会把攻击迁移到预验仓:
大量提交极慢证明结构,拖垮预验吞吐,让可用票据减少。
票据减少,解锁窗口仍可能短缺,于是锚又会出现。
江砚预先加上两道闸:
#### 1)证明复杂度预算(Proof Complexity Budget)
锚号:PROOF-BUDGET-01
* 对托管包证明结构设“复杂度上限”与“资源证明”门槛
* 证明复杂度超过上限的包进入“慢车道”,不参与高压期解锁集合
* 慢车道仍会验证,但不允许在关键批次成为主力
本章未完,请点击下一页继续阅读!