通知

Miden 的 Nullifier Set 设计：解决区块链状态膨胀的隐形创新

@0xMiden 的隐私模型依赖于 nullifier sets（无效器集合）来防止双花和跟踪资产状态，但传统方案面临一个致命问题：nullifier 集合会随交易无限增长，导致节点存储负担过重。例如，若链上 TPS 为 1000，10 年后 nullifier 数据可能膨胀至 10TB，普通设备将无法参与网络同步。

Miden 的突破在于引入了 分 epoch 的 Nullifier Tree 结构：

将 nullifier 集合按时间窗口（如 6 个月一个 epoch）分割，节点仅需保存最近 2 个 epoch 的完整数据，历史数据仅保留根哈希。
用户消费早期资产时，需附带一份证明，验证该资产未在创建时对应的 epoch 及之后被消费。

这一设计的深层意义：

1. 平衡状态增长与去中心化：节点存储压力从“无限增长”变为固定阈值，长期参与门槛大幅降低。
2. 隐私与扩展的协同：nullifier 的 epoch 分割与本地证明生成结合，既保护交易关联性隐私，又避免全局状态膨胀。
3. 用户与网络的责任再分配：用户需自行保管旧资产的证明，链上只需验证而非存储。这种“责任下放”是区块链可持续性的关键探索，类似互联网中 CDN 与客户端的协作逻辑。

Miden 通过 nullifier 的工程创新，在“全节点中心化”和“隐私计算成本”间找到了平衡点。这不仅是技术优化，更暗示了未来区块链的演化方向：链不必承载全部历史，而是通过密码学工具将验证责任智能分配。
申子辰村委党支部