Curve 的 Layer 2 選擇：ZK Rollup 有何優勢？

Curve 選擇 ZK Rollup 主要是基於安全考量。

原文標題：《基於 ZK Rollup 的 Curve 要來了》
 撰文：藍狐筆記

在過去幾個月的 DeFi 衝擊之下，以太坊網路不堪重負。Layer 2 和分片是以太坊未來可擴展性的路徑。不過分片的成熟落地需要好些年，目前來說，最有可能的擴展路徑是 Layer 2，而在目前的各種 Layer 2 路徑中，Rollup 系列是最被看好的技術路徑。

Rollup 系列中主要有 ZK Rollup 和 Optimistic Rollup，目前它們的進展都還算順利。9 月底 Optimism 團隊宣布其測試網第一階段開啟；Fuel 也向測試網推進；Loopring、zkSync、Deversifi （基於 Starkware 技術）也已經有了 ZK Rollup 的落地。之前藍狐筆記提到的 Zeroswap《ZeroSwap：基於 ZK-Rollup 的 DEX》也要推出基於 Zk Rollup 的 AMM 模式 DEX。Layer 2 在未來半年到一年時間裡會呈現出蓬勃發展的態勢，尤其是在 DeFi 領域。

而 Curve 在 Layer 2 方面的推進速度較快，如今基於 ZK Rollup 技術的 Curve 也馬上要來了。根據 Matter Labs 和 Curve 的公告，在 Matter Labs 的幫助下，Curve 團隊將現有的 Curve 合約重寫為 Zinc 版本，目前已經開放測試網進行測試。

https://zksync.curve.fi

Curve 的 Layer 2 選擇

那麼，Curve 為何選擇了基於 ZK Rollup 的 Layer 2 方案？

雖然市場上每個 Layer 2 技術都在提自己的優勢，但最終來說，每個解決方案都有其均衡選擇。有些協議對於安全的需求沒那麼高，而對於性能的需求更高，比如遊戲類的項目。有些協議在安全上無法妥協，比如 DeFi 協議，DeFi 協議鎖定的總資產量超過百億美元，在其上交易的資金量高達數十億美元。對於這些協議來說，安全性是首要考量的因素。

當前來看，相對而言，Layer 2 方面，ZK Rollup 和 Optimistic Rollup 獲得了更多 DeFi 協議的青睞。尤其是 ZK Rollup 在安全性上接近於 Layer 1 的級別，因此也被視為是未來一段時間內最具前景的 Layer 2 方案。當然，在這個過程中，也有可能會有新的更好的解決方案冒出來，這需要時間來催化。

Curve 選擇 ZK Rollup 很重要的原因是其安全性的考量，目前 Cuvre 上鎖定的資產量超過 15 億美元，近期日交易量大約 1.5 億美元，已經具備了相當的規模，無法在安全性上進行過多權衡。ZK Rollup 幾乎可以達到 Layer 1 級別的安全。這是 Curve 選擇 ZK Rollup 的一個重要原因。

相對於採用經濟激勵的博弈模型，ZK Rollup 安全性更依賴於純粹的數學。此外，Optimistic Rollup 有潛在的安全性問題，會隨著其鎖定資產量的增加，其安全性反而可能下降。因此，它有一個相對安全的資產範圍，如果資產規模過大，可能會遭遇攻擊。

此外，在最終性方面，ZK Rollup 相對於 Optimistic Rollup 也有一定的優勢，ZK Rollup 可以在幾分鐘內達成最終性，它支持資金快速撤回到 Layer 1。而 Optimistic Rollup 有一個爭議延遲時間的設計，一般至少需要一周時間。

當然，Optimistic Rollup 也有其優勢，相對於 ZK Rollup，它在可編程性方面更友好，它支持 EVM 兼容，在將現有以太坊智能合約帶入 Layer 2 方面更便捷。

為了解決這一短板，Matter Labs 宣稱其在 ZK Rollup 上實現了一些突破，尤其是支持任意用戶定義的智能合約方面。Matter Labs 引入 Zinc 編程語言和對 SNARK 友好的 Zinc VM，並為以太坊實現了遞歸 PLONK 證明驗證。這三者結合將支持在 ZkSync 上的智能合約。

Zinc 編程語言

根據 Matter Labs 的公告，在目前情況下，必須使用 Zinc 編程語言編寫 Zinc VM 的智能合約。Zinc 遵循簡化的 Rust 語法，同時借鑒了來自 Solidity 的所有智能合約元素和結構。Zinc 在結構上跟 solidity 基本相同，將現有的 Solidity 代碼轉換為 Zinc 相對容易。不過，當前它還不支持圖靈完備（後續有計劃支持），因此它禁止遞歸和無限循環。此外，當前的 Vyper 程序都可以同構轉換為 Zinc。有經驗的 Solidity/Vyper 的開發者可以在幾天內掌握。

Zinc 本身不是圖靈完備，不過在它上面可以完成在 Solidity 上的工作，進行少量的修改即可。目前多數 DeFi 應用的代碼很少需要循環或遞歸，此外，圖靈完備的組件也可以通過利用交易級別的遞歸來重新實現。

Zinc VM

按照 Matter Labs 的介紹，合約用 Zinc 編程語言進行編寫和編譯。Zinc VM 位元組碼和 SNARK 驗證密鑰可以以無須許可的方式部署到 zkSync 網路。

合約會在 Layer 2 內分配到一個新地址。當用戶跟合約交互，zkSync 的驗證者會執行 Zinc VM 操作碼，併產生交易有效性的零知識證明。證明將由 rollup 區塊電路通過已部署的驗證密鑰來進行遞歸驗證。區塊證明則由以太坊上部署的 zkSync 智能合約驗證，以授權實現狀態轉換。在可組合性方面，所有 zkSync Layer 2 的合約都可以相互調用，跟以太坊主網上一樣。

用戶密鑰管理

根據 Matter Labs 的聲稱，zkSync 直接集成到結賬流程中，這種集成類似於 web2.0 的單點登錄的身份驗證方案。假設 zkSync 網站被黑，也需要通過用戶以太坊錢包額外以消息簽名方式進行雙重因素驗證。該簽名當前由其伺服器驗證。為提升用戶體驗，Matter Labs 正計劃跟其他團隊合作開發通用的以太坊 Layer 2 簽名標準。

開放測試

測試網功能已經齊全。用戶可以編寫合約，並部署到測試網上，進行本地測試，並生成智能合約執行的零知識證明。每筆交易會在 zkSync 測試網上進行真實代幣轉移，這些都會反映到區塊瀏覽器和錢包中。用戶需要用真實的測試網 ERC20 代幣進行交易。

當前局限

目前 Zinc VM 還沒有集成到 zkSync 核心中。Zinc 編程語言中的一些重要功能也可能有缺失。這有待後續的完善。

來源鏈接：mp.weixin.qq.com