ZK Rollup 的不變性和可升級性_Polygon:Arbitrum幣是什么幣

Arbitrum、Optimism、PolygonzkEVM、Scroll、Starknet、zkSync這些Rollup通常會有兩類情況，一類擁有不變性，一類擁有可升級性，但都是出于安全性角度的不同取舍。

ETHBarcelona活動期間，Scroll的研究員ToghrulMaharramov發表了關于zkRollup不變性和可升級性的演講。

對于zkRollup而言，不變性和可升級性是安全性的兩個不同緯度。Arbitrum,Optimism,PolygonzkEVM,Scroll,Starknet,zkSync這些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]

在我們的情況下，我們假設Rollup擁有28天的升級延遲。

Syscoin宣布集成跨鏈ZK Rollups:金色財經報道，Syscoin是宣布整合跨鏈ZK rollups，與跨鏈網絡ZKCross 合作。ZKCross的跨鏈ZK rollups結合了Layer 2和多鏈rollup方法來創建一個網絡，該網絡允許用戶有效交易，同時保持對資產的控制，體驗與中心化交易所一樣。通過創建連接多個區塊鏈的橋梁，Syscoin和ZKCross正在開發一個安全性、效率和可擴展性的DeFi社區。[2022/7/22 2:31:28]

通常，我們在對Rollup做升級時，我們會在BaseLayer重新部署新版本的跨鏈橋，新版本的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]

V神確認參加Polygon ZK day:12月3日消息，據Polygon Chinese發布推特稱，Vitalik確認參加Polygon ZK day，V神將與Polygon的粉絲一起分享關于SNARKs，STARKs 以及關于零知識證明的應用。[2021/12/3 12:48:59]

有時我們只需要對跨鏈橋合約做升級，Rollup將直接鏈接新版本的跨鏈橋。

不變性的優點在于，不需同步假設，沒有復雜的退出機制，防止Rug。

以太坊ZK Rollup擴容方案Hermez上線USDT:Hermez Network上線USDT穩定幣。通過在Hermez上推出USDT，以太坊上的Gas費壓力有望減輕。此前消息，以太坊ZK Rollup擴容方案Hermez Network正式上線。這意味著Hermez的主網已經啟動，用戶現在可以以更低的Gas成本轉賬。（Cointelegraph）[2021/4/19 20:36:52]

但同樣也有缺點，在出現漏洞受到攻擊時協議較為脆弱，在需要協議升級時沒有狀態遷移的機制。

可升級性的優點在于可以處理出現漏洞的脆弱性，可以引入協議升級。

可升級性的缺點在于需要同步假設，有復雜的退出機制，無法防止Rug。

對于zkEVM而言，理想狀態下，我們希望zkEVM擁有不變性來保障安全性，但同時，我們希望zkEVM保持兼容性，因此需要有可升級性。

因此現在的一個方案是，在有延遲升級機制下，引入安全委員會來快速通過延遲時間。

這里的安全委員會，是外部的領域專業人士的集合，例如L2Beat。只要他們的投票達到了規定的閾值，他們將可以快速通過延遲，進行升級。

通常情況下，在內部團隊3/5的多簽錢包發起28天的延遲升級，9/12的安全委員會多簽可以發起快速通過延遲。

引入安全委員會也會帶來新的問題，例如協調問題，還有潛在的不做驗證直接投票快速通過的問題。

另一個方案是EnshrinedValidatingBridge。原理是不再通過跨鏈橋合約來驗證L2的證明，而是通過內嵌在L1協議中，通過社會共識來驗證證明。

缺點是影響了L1的中立性，增加了L1的協調負擔。

并且增加了L1的升級難度，需要設計同質化的驗證跨鏈橋合約。

所以有完美的解決方案嗎，實際上目前并不存在。每一個上文提出的方案都對安全性的其他方面做出了取舍。當然我們期待在未來兩年，隨著L2協議的完善，會達成共識有一個合理的解決方案。

Tags：PolygonOptimismArbitrumPolygon幣是什么幣Optimism幣是什么幣Arbitrum幣是什么幣

LTC