帖子
sopleat（E卫兵）
有效性证明很强，也不代表排序器可以永远不出块
零知识汇总能够用密码学证明状态转换正确，但证明正确只回答“算得对不对”，不能自动解决“交易何时被纳入”。如果排序器停止服务或拒绝某些交易，用户仍需要可靠的强制交易和资产退出路径。
因此评估一条二层不能只看证明系统，还要看数据是否可得、排序器故障时如何恢复、合约能否被少数密钥升级。密码学可以约束错误计算，却无法替代完整的运营和治理设计。
此外，证明系统本身也有升级和实现风险。电路设计、证明器软件或验证合约出错，可能影响正确性和可用性。多轮审计、公开测试与限制升级权限，仍然是密码学之外不可省略的防线。
正确性、数据可得性和活性是三道不同问题，解决其中一道不能自动替另外两道作答。三者缺一，用户体验和安全都会失真。
证明能保证账算对，活性机制才保证这本账不会被人合上。
