Arbitrum、Optimism、PolygonzkEVM、Scroll、Starknet、zkSync这些Rollup通常会有两类情况，一类拥有不变性，一类拥有可升级性，但都是出于安全性角度的不同取舍。
ETHBarcelona活动期间，Scroll的研究员ToghrulMaharramov发表了关于zkRollup不变性和可升级性的演讲。
对于zkRollup而言，不变性和可升级性是安全性的两个不同纬度。Arbitrum,Optimism,PolygonzkEVM,Scroll,Starknet,zkSync这些Rollup通常会有两类情况，一类拥有不变性，一类拥有可升级性，但都是出于安全性角度的不同取舍。
Zeko Labs与O(1) Labs、dcSpark合作推出L2 ZK Rollup生态系统Zeko:7月27日消息，Zeko Labs 与 Mina 开发团队 O(1) Labs 和 dcSpark 合作，推出专门为零知识应用程序（zkApps）设计的 L2 ZK Rollup 生态系统 Zeko，由 Mina Protocol 进行结算，Zeko 将允许开发人员大规模构建具有可编程隐私性的去中心化应用程序。[2023/7/27 16:01:25]
在我们的情况下，我们假设Rollup拥有28天的升级延迟。
ZK-RaaS网络Opside将于8月份集成ZK Stack:6月28日消息，Opside官方表示，将大力支持zkEVM的推广，其中包括zkSync最新公布的ZK Stack。目前，Opside测试网已集成Polygon zkEVM（Hermez），用户可以一键在ETH、BSC和Polygon等L1公链上发行一条属于自己的zkEVM链。
据路线图显示，Opside测试网预计在8月份集成zkSync的ZK Stack。未来还将提供Scroll、Linea等zkEVM解决方案。Opside的多链ZK-PoW算法将为各个公链上的ZK-Rollup提供海量算力支撑。
Opside是一个提供ZK-RaaS（ZK-Rollup as a service）的平台，支持用户一键发布zkEVM。同时支持ZKP挖矿，包括CPU、显卡、FPGA等机器类型。[2023/6/28 22:05:47]
通常，我们在对Rollup做升级时，我们会在BaseLayer重新部署新版本的跨链桥，新版本的Rollup将直接链接新版本的跨链桥。
Polymer Labs推出Optimistic ZK IBC Connections，可降低延迟与成本:6月16日消息，专注于IBC协议的基础设施提供商Polymer Labs推出Optimistic ZK IBC Connections。该模型受到OSI模型启发，包含应用层、传输层与状态层。结合Optimistic与零知识证明验证两种技术可以提供具有理想特性的动态延迟：延迟的上限；当中继者受到适当激励时，可能会降低延迟；降低连接维护成本。[2023/6/16 21:42:32]
有时我们只需要对跨链桥合约做升级，Rollup将直接链接新版本的跨链桥。
基于ZK Rollup的订单簿DEX DeGate主网Beta版本已向公众开放:5月17日消息，基于ZK Rollup的订单簿DEX DeGate于5月3日正式上线主网Beta版本，首个星期仅限DeGate NFT铸造者访问，目前已解除限制正式并向公众开放使用。
此前消息，DeGate已通过Trail of Bits、Least Authority、Secbit等多家审计机构的审计，同时与Immunefi合作推出了111万美元的漏洞赏金计划。[2023/5/17 15:09:10]
不变性的优点在于，不需同步假设，没有复杂的退出机制，防止Rug。
Polygon正在对zk rollups技术进行性能测试:1月14日消息，Polygon正在对零知识汇总 (zk rollups) 技术进行性能测试。这项名为Polygon zkEVM技术的开发已经由Polygon Hermez团队进行了三年多。通过在zkEVM测试网的主要版本中生成超过12,000个zk证明，该团队已经确认零知识证明在以太坊上是可行的。(Cointelegraph）[2023/1/14 11:12:10]
但同样也有缺点，在出现漏洞受到攻击时协议较为脆弱，在需要协议升级时没有状态迁移的机制。
可升级性的优点在于可以处理出现漏洞的脆弱性，可以引入协议升级。
可升级性的缺点在于需要同步假设，有复杂的退出机制，无法防止Rug。
对于zkEVM而言，理想状态下，我们希望zkEVM拥有不变性来保障安全性，但同时，我们希望zkEVM保持兼容性，因此需要有可升级性。
因此现在的一个方案是，在有延迟升级机制下，引入安全委员会来快速通过延迟时间。
这里的安全委员会，是外部的领域专业人士的集合，例如L2Beat。只要他们的投票达到了规定的阈值，他们将可以快速通过延迟，进行升级。
通常情况下，在内部团队3/5的多签钱包发起28天的延迟升级，9/12的安全委员会多签可以发起快速通过延迟。
引入安全委员会也会带来新的问题，例如协调问题，还有潜在的不做验证直接投票快速通过的问题。
另一个方案是EnshrinedValidatingBridge。原理是不再通过跨链桥合约来验证L2的证明，而是通过内嵌在L1协议中，通过社会共识来验证证明。
缺点是影响了L1的中立性，增加了L1的协调负担。
并且增加了L1的升级难度，需要设计同质化的验证跨链桥合约。
所以有完美的解决方案吗，实际上目前并不存在。每一个上文提出的方案都对安全性的其他方面做出了取舍。当然我们期待在未来两年，随着L2协议的完善，会达成共识有一个合理的解决方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。