原文作者：Blockworks 研究員Sam Martin
原文編譯：DeFi 之道
要點：
由於缺少智能合約支持，ZkSync 1.0 與其他通用L2 相比，採用率並不樂觀，除了代幣轉移和交換之外，該rollup 幾乎沒有什麼實用功能。
Matter Labs 團隊計劃於10 月28 日在其主網上推出其alpha 階段的zkEVM，使他們成為第一個推出具有EVM 兼容性的通用智能合約ZK rollup 的團隊。
第一個推出zkEVM 的團隊可以獲得顯著的先發優勢，特別是如果以太坊的交易費用激增，將會迫使用戶離開基礎層。
zkSync 團隊認為其在降低硬件要求方面取得了重大突破，成為了證明過程中的積極參與者。
zkSync 的最終目標是由他們的證明技術提供動力，擁有一個百花齊放的L3 生態，同時保持以擴展以太坊為焦點的目標。
ZkSync 1.0 由Matter Labs 在2020 年推出，是一個零知識rollup（ZKR），依賴於以太坊的安全性，主要用於代幣交換或轉移。它不支持智能合約，所以今天zkSync 1.0 上的產品是有限的，這也導致其相對於其他以太坊擴展解決方案而言，採用率較低。 Matter Labs 團隊希望通過在10 月28 日在主網上推出他們的alpha zkSync 2.0，即zkEVM 來解決這個問題。此外，Matter Labs 宣布它將在2023 年第一季度在測試網上推出L3。
ZkSync 1.0
儘管缺乏對智能合約的支持，ZkSync 1.0 也成功吸引了超過5400 萬美元的資金。 zkSync 上的大部分TVL 是 ETH 和各種穩定幣，因為除了代幣轉移和交換之外，網絡上缺乏實用性，此外，NFT 鑄幣也未能獲得巨大的吸引力。目前，該rollup 上的許多資金用戶可能正在為不可避免的代幣空投 做準備，而這應該能抓住zkSync 經濟的未來增長。Optimism 和 Arbitrum 是兩個最受歡迎的以太坊擴展解決方案，鑑於它們已經支持智能合約，所以其用戶活動要多得多。雖然每天的交易量並不是一個完美的度量標準，但也提供了一些關於zkSync 因尚不支持智能合約而錯過活動量的洞察力。
zkSync 上的所有資金都在以太坊的智能合約中得到保障，計算和存儲則在鏈下進行。數個交易被捆綁進一個批次，在以太坊上結算，以攤銷所有L2 交易者的gas 成本，然後同時結算。所有在rollup 過程中發生的狀態變化都以calldata 的形式發佈到以太坊，同時還有一個SNARK 證明，以確保狀態變化是有效的。發佈到以太坊的calldata 使任何人都有能力重建L2 狀態，並且比在EVM 上存儲整個L2 狀態要便宜得多。 SNARKs 能夠以低成本和及時的方式驗證大批量的交易（即時確認，15 分鐘內完成），並且與以太坊基礎層相比，為zkSync 的交易吞吐量帶來了巨大的提升（例如，分別為～2,000 和～15 tps）。
與其他擴展架構相比，ZKR 提供了許多優勢。例如，ZKR 繼承了以太坊的安全性，而像Ronin Network 這樣的側鏈則受制於其自身驗證器集的漏洞。 ZKR 也不依賴於像Optimism 或Arbitrum 這樣的欺詐證明，即誠實的第三方必須監控區塊的惡意交易，並需要一個7 天的挑戰期，延遲資金提取。此外，ZKR 上的資金總是可以由其合法所有者取回，無論驗證者集的狀態如何，這與plasma 鏈的情況不同，在plasma 鏈中，驗證者需要安全地監控提款。
zkEVM 的機會
zkEVM 的競爭已經在Scroll、zkSync 和 Polygon 之間升溫，但隨著zkSync 計劃在10 月底推出其主網alpha 版本，似乎有望獲得勝利，畢竟先發優勢對率先沖過終點線的團隊可能產生的潛在影響是很難低估的。據悉，MATIC 早在2017 年就作為首批EVM 兼容鏈之一推出，然後在2021 年2 月改名為Polygon，且能夠在以太坊交易費用暴漲的情況下吸引大量的dApps 和用戶。通過重新部署類似的代碼，將應用程序遷移到EVM 兼容的鏈上是相對容易的，因此，無論哪個團隊率先推出zkEVM，都可以看到dApp 部署和用戶活動的爆炸性增長，並建立強大的網絡效應，就像Polygon 在2021 年的那樣。
如前所述，側鏈不具有與ZKR 相同的安全性，而領先的以太坊L2，包括Arbitrum 和Optimism，都屬於optimistic rollup，這類rollup 要求從官方橋接中提取資金需要有7 天的挑戰期。目前，L2 的採用一直佔據敘事的主導地位，而L2 支付給以太坊結算的總gas 量也一直呈上升趨勢。鑑於zkEVMs 的安全性和用戶體驗優於其以太坊側鍊和optimistic rollup 的同類產品，zkEVMs 的推出將成為這一趨勢的助推器。
ZkSync 的願景
ZkSync 2.0 的主網alpha 版本發布將僅限於註冊其項目參與公平發布的開發者。選擇排除用戶是為了確保dApp 團隊有充足的時間來確保他們的產品順利運行，使用戶不受任何bug 的影響，並給Matter Labs 團隊更多的時間來迭代他們的zkEVM 的設計。值得注意的是，Starkware 的Starknet 是另一個通用的ZKR 智能合約鏈，且還在alpha 階段。 Starknet 使用其自己的語言為ZKR 優化，即Cairo 語言，而不是專注於EVM 兼容性。另外，Warp 正在開發一個從Solidity 至Cairo 語言的轉接器，這可能會使其與zkSync 的zkEVM 類似。開發者工具、最佳安全實踐和Cairo 的開源庫將遠遠落後於Solidity。此外，Polygon 於10 月10 日在測試網上推出了他們的zkEVM，儘管zkSync 的zkEVM 已經在測試網上運行了大約9 個月。
ZkSync 通過採用Solidity（以太坊的高級智能合約源代碼）並將其編譯為Yul（一種中間語言，可以為不同的虛擬機編譯為字節碼）來實現EVM 的兼容性。然後使用LLVM 編譯器框架將Yul 代碼重新編譯為一套為zkSync 的zkEVM 設計的自定義、電路兼容的字節碼。這種方法通過直接從高層代碼開始，繞過了對EVM 執行中所有步驟的zk 證明，從而使證明過程更容易分散，且同時保持高性能。對Rust、JavaScript 或其他語言的支持可以在未來通過構建新的編譯器前端來添加，因此增加了其zkEVM 架構的靈活性。需要指出的是，zkEVM 是兼容EVM 的，在字節碼層面上並不等同。因此，雖然幾乎所有的以太坊智能合約代碼都可以移植到開箱即用的rollup 上，但也會有一些例外的情況，比如一些代碼需要改變，並重新審核，以及調試工具在沒有小的調整下不兼容。對此，Matter Labs 團隊計劃建立一個EVM 字節碼編譯器，在zkSync 上作為合約運行，以解決這些小問題。
帳戶抽象
與以太坊的默認行為相比，正在zkEVM 中實現的一個主要改進是賬戶抽象的想法。以太坊的核心架構支持兩種類型的賬戶：外部擁有的賬戶（EOAs），是由私鑰控制的公共地址，可用於簽署交易（例如Metamask 錢包），以及合約賬戶，根據底層代碼操作，不能啟動交易。這裡的主要目標是將持有代幣的賬戶與授權交易的簽名者脫鉤。
zkSync 的zkEVM 中的EOA 賬戶當然能夠發起交易，但也能夠像以太坊上的智能合約賬戶一樣在其中實現任意邏輯。這就是所謂的”賬戶抽象”，與EIP-4337 非常相似，只是稍作修改，為用戶提供了更流暢的體驗。可以補償其他賬戶交易的賬戶被稱為Paymasters。在實踐中，Paymaster 賬戶應能使協議以ETH 或各種ERC-20 代幣代表用戶支付交易費用。隨著用例的發掘，賬戶抽象可以為錢包提供商開闢一條新的創新途徑。值得注意的是，這是一個仍在迭代中的新想法，用戶應謹慎行事。
zkPorter
zkEVM 競賽是目前主要的L2 敘事，但更值得注意的是zkSync 的zkPorter。雖然zkEVM 將為以太坊帶來一個數量級的擴展，但ZKR 仍然需要將數據發佈到以太坊基礎層上，這降低了它們的潛在規模。 zkPorter 的引入將把zkSync 的zkEVM 牢牢地置於volition 類別中，這意味著用戶可以決定是否在鏈上或鏈下存儲其數據。優先考慮安全而不是吞吐量和極低交易費用的用戶將選擇在rollup 上進行活動，以保證數據的可用性。而將吞吐量和較低的交易費用置於安全之上的用戶將在zkPorter 上進行他們的活動，那裡的數據會被發布並在鏈下可用。
所有zkPorter 交易數據將被發佈到Guardian 網絡，這是一個由最終的zkSync 代幣擔保的權益證明網絡。 Guardian 將通過簽署區塊來跟踪zkPorter 方面的狀態，以確認數據是否可用。惡意行為的Guardian 將被罰沒，從而為數據可用性提供加密經濟保障。與Optimistic rollup（如果數據移到鏈下，惡意運營商將能夠竊取匯rollup 上的任何資金）不同的是，邪惡的Guardian 只能凍結zkPorter 狀態，而zkPorter 狀態反過來會凍結他們自己的資金。此外，購買所有未質押的zkSync 代幣來完成這樣的攻擊將花費大量的資金，並在這個過程中產生巨大的滑點。
zkSync 在ZKR 和zkPorter 方面採取的雙賬戶方法將為用戶提供一個全面的目的地來進行他們的活動，同時保留高度的安全保證。 ZKR 和zkPorter 兩邊的智能合約和賬戶將完全可以相互組合。例如，Aave 可以在ZKR 上啟動他們的合約代碼，以獲得最大的安全性，但用戶仍然可以通過他們在zkPorter 端的賬戶與合約進行互動，以實現更低的費用和更高的吞吐量。 zkPorter 的最終設計仍在進行中，因此所以計劃可能會有變化。
Layer 3
雖然沒有太多的信息可以公開，但Matter Labs 最近宣布其目標是在2023 年第一季度推出由其zkEVM 驅動的L3。被稱為”Opportunity” 的ZKR L3 可能是有史以來第一個在測試網上推出的L3，其願景是擁有無數個完全可定制的”超級鏈（HyperChain）”，它們都通過原生橋接相互連接，從而將安全互操作性的想法變為現實。這一L3 將是高度實驗性的，但也會是新的區塊鏈擴展架構研究和發展的合理的下一步。
構建L3 驗證器的第三方將能夠選擇他們公開的數據，從而為用戶實現隱私。這些團隊也將被授權推出他們自己的代幣，以捕捉他們正在建設的東西的上升空間。此外，這些代幣也可以在去中心化其證明過程、排序器或數據可用性解決方案中發揮關鍵作用。在可定制性方面，可以在 Cosmos 的特定應用鍊和zkSync 的L3 之間進行比較，關鍵的區別在於以太坊的安全性支撐著後者，以及鏈間完全可互操作的資產，不需要像IBC 這樣的通用消息傳輸協議。
ZkSync 希望其在不犧牲性能的情況下降低參與證明過程的硬件要求的突破將使他們成為行業標準。這將使他們的ZKR、zkPorter 和所有其他zkSync L3 處於同一電路上，並消除反復被利用的橋接攻擊載體。雖然這個願景是雄心勃勃的，但它將在交易成本和速度、開發者和用戶體驗、互操作性和安全性方面有10-100 倍的改進。而剩下的問題主要有兩個：一個是在字節碼層面上不等同於EVM 的L2 能否成為行業標準，另一個是爭奪用戶心智份額的L2 和L1 團隊能否放下分歧，將區塊鏈擴展到大眾？
最後的思考
ZkSync 長期以來一直是零知識密碼學的先驅，且在擴展以太坊的道路上持續開拓。他們在10 月底之前計劃在主網上推出的第一個zkEVM 將為他們提供一個重要的先發優勢，並允許他們建立強大的網絡效應。其在zkPorter 和ZKR 兩端使用可互操作性帳戶的方法是一種獨特的策略，對開發人員和終端用戶來說，都很有利。此外，Matter Labs 創建標準驗證器供所有鏈採用的願景也非常有雄心，但只有他們真的開發出了迄今為止最先進的驗證器，他們的願景才是富有成效的。這將為一個具有合理主權水平、高性能和安全的互操作性的L3 生態系統的蓬勃發展打開大門。與他們的戰略相關的主要風險是他們為其zkEVM 選擇的底層架構：在高級智能合約代碼層面的Ethereum 兼容ZKR，而不是在字節層面的EVM 等效，或者通過創建一個新的編程語言，完全擺脫EVM 的兼容性。一些團隊正在研究上述三種策略，而只有時間才能證明在擴大以太坊規模的層面上誰下了正確的賭注。
原文鏈接
聲明：本內容為作者獨立觀點，不代表0x财经 立場，且不構成投資建議，請謹慎對待，如需報導或加入交流群，請聯繫微信：VOICE-V。
來源：Defi之道原創