ROLL:基于Zk rollup技術的Curve已開放測試網測試

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

Rollup系列中主要有ZKRollup和OptimisticRollup，目前它們的進展都還算順利。9月底Optimism團隊宣布其測試網第一階段開啟；Fuel也向測試網推進；Loopring、zkSync、Deversifi也已經有了ZKRollup的落地。Layer2在未來半年到一年時間里會呈現出蓬勃發展的態勢，尤其是在DeFi領域。

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

基于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]

Curve?的Layer2?選擇

之前藍狐筆記也介紹過layer2賽道《以太坊的Layer2賽道》《以太坊layer2突破性進展：意味著什么》，也介紹過ZKRollup和OptimisticRollup的區別《一文讀懂ZKRollup和OptimisticRollup:以太坊重要的擴展方向》。那么，Curve為何選擇了基于ZKRollup的Layer2方案？

GameStop前區塊鏈負責人加入基于zkRollup的以太坊二層網絡TAIKO:9月28日消息，GameStop 前區塊鏈負責人 Matt Finestone 加入基于 zkRollup 的以太坊二層網絡 TAIKO。此前報道，9 月 13 日，GameStop 的區塊鏈負責人 Matt Finestone 在社交媒體上表示，他將離開 GameStop 區塊鏈負責人的職位。[2022/9/28 5:57:32]

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

Partisia Blockchain為Polygon提供基于ZK的隱私計算服務:8月25日消息，結合了多方計算的Partisia Blockchain已開始為Polygon提供基于零知識證明的隱私計算服務，Polygon的開發者可以在Partisia上運行隱私計算，部署智能合約，并通過專用跨鏈橋將其與Polygon上已有的DApp進行連接。目前隱私計算服務已支持Polygon原生的USDC，未來將擴展至其他Polygon原生代幣以及任何Polygon支持的ERC-20代幣。[2022/8/25 12:47:26]

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

算法匯率協議Increment宣布將基于zkSync 2.0構建:2月24消息，算法匯率協議 Increment 宣布將基于 zkSync 2.0 構建。Increment 團隊表示 zkSync 2.0 是最適合該協議的基礎設施，同時未來也會考慮進行多鏈部署。目前 Increment 協議已進入測試網發布和審計準備階段。[2022/2/24 10:12:46]

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

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

研究揭示了基于Zerocoin缺陷 可憑空造錢:一項名為“燃燒Zerocoin以獲取樂趣和利潤”的新分析揭示了Zerocoin的幾個缺陷，Zerocoin旨在提高匿名性，并使用幾種加密貨幣。該研究由應用密碼學主席于2018年4月12日發表。作者說，我們在一個軟件庫中發現了關鍵的編碼問題，允許攻擊者憑空造錢，從誠實的用戶那里偷硬幣。[2018/4/18]

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

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

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

*Zinc編程語言

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

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

*ZincVM

按照MatterLabs的介紹，合約用Zinc編程語言進行編寫和編譯。ZincVM字節碼和SNARK驗證密鑰可以以無須許可的方式部署到zkSync網絡。

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

*用戶密鑰管理

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

*開放測試

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

*當前局限

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

Tags：ROLLROLINCLAYERroll幣怎么用roll幣在哪換bitcoinCleanMonster Slayer Finance

Filecoin