Arbitrum、Optimism、PolygonzkEVM、Scroll、Starknet、zkSync这些Rollup通常会有两类情况，一类拥有不变性，一类拥有可升级性，但都是出于安全性角度的不同取舍。
ETHBarcelona活动期间，Scroll的研究员ToghrulMaharramov发表了关于zkRollup不变性和可升级性的演讲。
对于zkRollup而言，不变性和可升级性是安全性的两个不同纬度。Arbitrum,Optimism,PolygonzkEVM,Scroll,Starknet,zkSync这些Rollup通常会有两类情况，一类拥有不变性，一类拥有可升级性，但都是出于安全性角度的不同取舍。
zk Bored Apes项目Discord服务器已被入侵:金色财经报道，据CertiK监测，zk Bored Apes项目Discord服务器已被入侵，黑客发布了网络钓鱼链接。在团队确认他们已经恢复服务器的控制权之前，请勿点击任何链接。[2023/3/6 12:44:36]
在我们的情况下，我们假设Rollup拥有28天的升级延迟。
通常，我们在对Rollup做升级时，我们会在BaseLayer重新部署新版本的跨链桥，新版本的Rollup将直接链接新版本的跨链桥。
Sismo Protocol在alpha网络发布“Ethereum Power Users ZK Badge”:7月16日消息，Sismo Protocol在推特上表示，其alpha网络已发布“Ethereum Power Users ZK Badge”，这是其第一次尝试新的治理机制，基于声誉和保护隐私的投票。可参与铸造的合格帐户组（176294个地址）由六个子组合并而成。官方表示，希望Ethereum Power Users ZK Badge所有者成为一个社区，使用徽章作为协调代币。[2022/7/16 2:18:00]
有时我们只需要对跨链桥合约做升级，Rollup将直接链接新版本的跨链桥。
ZK Rollup订单簿式DEX ZigZag将于6月24日开启ID0:6月21日消息，据官方消息，ZK Rollup订单簿式DEX ZigZag将于6月24日23时在自身DEX上开启ID0，第一轮公开发售将允许用户在早期阶段成为DAO的一部分，拥有对Token用例的投票权，同时决定空投的详细信息。
ZigZag总量共计1亿枚，本次ID0供应量为200万枚，仅支持USDC支付。目前，由于基础设施限制，ZigZag将仅在zkSync上提供现货交易。在zkSync2.0和StarkNet发布后，将引入杠杆交易和无需许可上市的永续合约。
金色财经此前报道，6月20日，ZK Rollup订单簿式DEX ZigZag疑似已在以太坊上部署Token ZZ的智能合约，总量1亿枚。[2022/6/21 4:41:02]
ZK Rollup 订单簿 DEX ZigZag 疑似已在以太坊上部署“ZZ”代币合约，总量 1 亿枚:6月20日消息，ZK Rollup 订单簿 DEX ZigZag 疑似已在以太坊上部署代币“ZZ”的智能合约，总量 1 亿枚。此前 ZigZag 发推“24th June”，疑似暗示代币发行的相关时间节点。
此前报道，6 月 14 日 ZigZag 在 GitHub 上提交代币源代码。[2022/6/20 4:39:45]
不变性的优点在于，不需同步假设，没有复杂的退出机制，防止Rug。
但同样也有缺点，在出现漏洞受到攻击时协议较为脆弱，在需要协议升级时没有状态迁移的机制。
StarkWare推出ZK Rollup扩容解决方案StarkNet:1月27日消息，零知识证明研发机构StarkWare表示，其二层扩容解决方案ZK Rollup“StarkNet”目前已经完成基础构建（阶段0），即图灵完备框架Cairo、STARK 软件堆栈和二层扩容引擎StarkEx，之后将进行构建阶段一至阶段三，其中，阶段一将支持单一应用Rollup“Single-App Rollup”，将使开发人员能够在StarkNet上构建和部署自己的可扩展性应用程序；阶段二将支持多应用Rollup“Multi-App Rollup”，支持在同一StarkNet实例上运行并访问多个应用程序，这将实现不同应用程序之间的互操作性，以及降低 Gas 成本；阶段三将支持去中心化Rollup“Decentralized Rollup”。
StarkWare预计将在近几个月内部署阶段一，并在2021年底之前顺利进入阶段二和阶段三。StarkWare构建的StarkNet是一种由STARK驱动的去中心化二层ZK Rollup，可支持以太坊的通用计算。[2021/1/27 13:37:48]
可升级性的优点在于可以处理出现漏洞的脆弱性，可以引入协议升级。
可升级性的缺点在于需要同步假设，有复杂的退出机制，无法防止Rug。
对于zkEVM而言，理想状态下，我们希望zkEVM拥有不变性来保障安全性，但同时，我们希望zkEVM保持兼容性，因此需要有可升级性。
因此现在的一个方案是，在有延迟升级机制下，引入安全委员会来快速通过延迟时间。
这里的安全委员会，是外部的领域专业人士的集合，例如L2Beat。只要他们的投票达到了规定的阈值，他们将可以快速通过延迟，进行升级。
通常情况下，在内部团队3/5的多签钱包发起28天的延迟升级，9/12的安全委员会多签可以发起快速通过延迟。
引入安全委员会也会带来新的问题，例如协调问题，还有潜在的不做验证直接投票快速通过的问题。
另一个方案是EnshrinedValidatingBridge。原理是不再通过跨链桥合约来验证L2的证明，而是通过内嵌在L1协议中，通过社会共识来验证证明。
缺点是影响了L1的中立性，增加了L1的协调负担。
并且增加了L1的升级难度，需要设计同质化的验证跨链桥合约。
所以有完美的解决方案吗，实际上目前并不存在。每一个上文提出的方案都对安全性的其他方面做出了取舍。当然我们期待在未来两年，随着L2协议的完善，会达成共识有一个合理的解决方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。