ZK Rollup 的不变性和可升级性

Arbitrum、Optimism、Polygon zkEVM、Scroll、Starknet、zkSync 这些 Rollup 通常会有两类情况，一类拥有不变性，一类拥有可升级性，但都是出于安全性角度的不同取舍。ETHBarcelona 活动期间，Scroll 的研究员 Toghrul Maharramov 发表了关于 zkRollup 不变性和可升级性的演讲。

          对于 zkRollup 而言，不变性和可升级性是安全性的两个不同纬度。Arbitrum, Optimism, Polygon zkEVM, Scroll, Starknet, zkSync 这些 Rollup 通常会有两类情况，一类拥有不变性，一类拥 有可升级性，但都是出于安全性角度的不同取舍。

          通常，我们在对 Rollup 做升级时，我们会在 Base Layer 重新部署新版本的跨链桥，新版本的 Rollup 将直接链接新版本的跨链桥。

         对于 zkEVM 而言，理想状态下，我们希望 zkEVM 拥有不变性来保障安全性，但同时，我们希望 zkEVM 保持兼容性，因此需要有可升级性。

        这里的安全委员会，是外部的领域专业人士的集合，例如 L2Beat。只要他们的投票达到了规定的阈值，他们将可以快速通过延迟，进行升级。

        通常情况下，在内部团队 3/5 的多签钱包发起 28 天的延迟升级，9/12 的安全委员会多签可以发起快速通过延迟。

        另一个方案是 Enshrined Validating Bridge。原理是不再通过跨链桥合约来验证 L2 的证明，而是通过内嵌在 L1 协议中，通过社会共识来验证证明。

       所以有完美的解决方案吗，实际上目前并不存在。每一个上文提出的方案都对安全性的其他方面做出了取舍。当然我们期待在未来两年，随着 L2 协议的完善，会达成共识有一个合理的解决方案。