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

在過去幾個月的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版本，目前已經開放測試網進行測試。

OKX Ventures宣布投資基于zkRollup的Layer2網絡 Taiko:6月8日消息，OKX Ventures 宣布投資基于 zkRollup 的 Layer2 網絡 Taiko，Taiko 可以使開發者和用戶能夠安全地體驗以太坊，交易費用更低，而且不需要考慮任何變化。

OKX Ventures 創始人 Dora 表示，Taiko 構建的 zk-EVM 屬于 Type1 梯隊，即完全的以太坊等效性，是當前 zkEVM 領域最具潛力的項目，也是以太坊創始人 Vitalik Buterin 在推特中點名的 ZK-EVM 五大選手之一[2023/6/9 21:24:57]

Curve?的Layer2?選擇

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

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

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

Succinct Labs推出基于zkSNARKs的以太坊互操作協議Telepathy:3月17日消息，Succinct Labs 宣布推出基于 zkSNARKs 的以太坊互操作協議 Telepathy。該協議允許開發人員借助以太坊輕客戶端協議的安全性實現從以太坊到其他鏈的無信任通信。目前該協議已上線主網并發布 Demo 供用戶體驗。[2023/3/17 13:10:07]

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

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

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

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

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

此外，在最終性方面，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：ROLLROLLAYERKROroll幣在哪換BankRollReady Player OneKRONE幣

KuCoin