预验仓验证通过后,生成“预验票据”(轻量标签)
* 解锁窗口使用托管包时,只需验证预验票据与短标签,不再执行重验证
ESCROW-PRE-01B:两段验证
* Vfast:窗口内快速验证(票据签章、哈希绑定、时序锚)
* Vdeep:窗口外深验证(份额证明、编码域一致性、唯一性兼容)
* 只有通过Vdeep的托管包才会获得可用票据
ESCROW-PRE-01C:预验口粮与隔离
* 预验仓有固定算力口粮,不与行动链争抢
* 高疑似结构的证明进入缓冲队列,不影响正常托管包预验吞吐
* 预验仓的吞吐与积压公开摘要(不显影身份),避免被说暗门
ESCROW-PRE-01D:预验票据不可伪造
* 票据由三实现独立验证器共同签发(多实现一致)
* 票据绑定密文哈希、commit哈希、周期锚、份额持有人匿名编号
* 票据本身可被外部校验其真实性,但无法反推出具体份额内容(防显影)
这一招的本质是“把慢从窗口里搬出去”。
敌人可以把证明做得很慢,但慢发生在预验仓里,不会掐死解锁时隙。
解锁窗口只做轻验证,几乎无法被最坏情况拖穿。
沈绫松了半口气:“他们收税,我们提前把税交完。”
江砚点头:“更准确——我们把税从‘危机时刻’变成‘日常预算’,让税无法勒索行动。”
---
### 六、保险税收的反击点:敌人会转向“预验仓洪潮”,试图把口粮吃光
敌人不会放弃。他们会把攻击迁移到预验仓:
大量提交极慢证明结构,拖垮预验吞吐,让可用票据减少。
票据减少,解锁窗口仍可能短缺,于是锚又会出现。
江砚预先加上两道闸:
#### 1)证明复杂度预算(Proof Complexity Budget)
锚号:PROOF-BUDGET-01
* 对托管包证明结构设“复杂度上限”与“资源证明”门槛
* 证明复杂度超过上限的包进入“慢车道”,不参与高压期解锁集合
* 慢车道仍会验证,但不允许在关键批次成为主力
#### 2)预验多车道(Fast Lane / Slow Lane)
锚号:ESCROW-LANE-01
* 快车道:符合标准证明结构、验证耗时可控、来源多样
* 慢车道:边界结构、耗时不可控、来源集中
* 高压期解锁集合优先使用快车道票据,慢车道只作补充
* 慢车道若长期积压,触发“投喂调查链”,但不点名
这样,敌人想用最坏情况洪潮吃光口粮,收益会下降:
他们可以塞慢车道,但慢车道不会挤占快车道。
快车道保证主路可用,锚就不必频繁出现。
---
### 七、投喂调查链升级:从“缺席/延迟”转向“最坏情况制造”
保险税收的核心是制造“最坏情况”。
因此调查链必须看“复杂度聚类”。
锚号:ESCROW-INVEST-01
步骤:
* G1:证明结构聚类(深度、嵌套、扩展域、可选位使用)
* G2:验证耗时分布(尾部是否异常肥厚)
* G
-->>(第3/5页)(本章未完,请点击下一页继续阅读)