zkEVM 的攻擊！加密貨幣的 10 倍時刻zkEVM_Polygon

將于本月推出，并為以太坊提供了一條無限擴展的途徑。但誰將贏得Polygon、zkSync、Scroll和StarkWare之間的競爭？

MatterLabs的首席產品官SteveNewcomb表示，目前加密貨幣正像1996年的互聯網一樣萎靡不振，速度很慢，實際用例很少。

但是，在看到互聯網成為全球日常生活的重要組成部分后不久，帶寬和安全性的大幅增加——我們正處于未來幾個月加密貨幣發生的風口浪尖。

“沒有人信任他們的信用卡，每個人都認為這是一種時尚//加威信JQSQ6789//沒有任何用例，”Newcomb解釋說。

“然后我們有10倍的帶寬時刻，然后SSL出現了，還有HTPS，你得到了那個鎖——那是一個10倍的信任時刻。突然間，電子商務在2005年一蹶不振。”

Crypto的“10x”時刻終于到來了，zkSync的以太坊虛擬機兼容主網將于10月28日推出。EVM本質上是以太坊的操作系統，使其能夠使用零知識匯總工作意味著在以太坊上運行的所有內容都可以無縫移植到體驗速度的巨大飛躍和成本的降低。

他們并不是唯一攻擊這個問題的人：Polygon本周為其自己的zkEVM啟動了測試網，Aave、Uniswap和Lens都承諾在其上進行部署。Scroll于7月推出了“PreAlpha測試網”，而StarkWare的zk解決方案每月處理數百萬筆交易。

以太坊聯合創始人VitalikButerin表示，ZK匯總意味著加密貨幣終于可以再次用于支付。

這些解決方案資金充足，Scroll籌集了3000萬美元，Starkware籌集了1.5億美元，Polygon籌集了4.5億美元。Newcomb暗示zkSync自己的融資輪與Polygon的融資輪相同，但尚未正式宣布。

Polygon zkEVM已修復阻礙L1資產橋接至L2的漏洞，沒有資金面臨風險:5月29日消息，Scroll 區塊鏈安全研究員 iczc 發推稱，在 Polygon zkEVM 中發現一個漏洞，并獲得來自 Web3 漏洞賞金平臺 Immunefi L2 漏洞賞金。該漏洞導致從 L1 橋接至 Polygon zkEVM（L2）的資產無法在 L2 中正確認領，從而阻礙了 L1 至 L2 的資產遷移。

iczc 在處理認領交易（claim tx）預執行結果的代碼邏輯中發現，惡意攻擊者可以通過將 Gas 費設置為非零來繞過對認領交易的「isReverted」預執行檢查，使其可以通過發送大量低成本的 claim 對定序器和驗證器進行 DoS 攻擊，從而增加計算開銷。此外，交易不會在執行后立即從池中刪除。狀態從「待定」更新為「選定」，并繼續存在于 PostgreSQL 數據庫中。目前，只有一個可信的定序器能夠從交易池中獲取交易并執行它們。因此，另一個漏洞是通過發送一個失敗的交易來惡意標記任何存款數。這將導致正確使用存款數的 認領交易被拒絕，因為存款數已經被使用。這使得新用戶無法使用 L2 網絡。Polygon zkEVM 團隊通過刪除認領交易的特定 gas 邏輯，修復了這一漏洞，沒有資金面臨風險。[2023/5/29 9:48:40]

StarkWare遙遙領先，九個月前推出了自己的zkrollup解決方案，并在8月開啟了遞歸擴展。但它也做出了一個冒險的決定，即使用一種名為Cairo的自定義編程語言來更有效地擴展。這可能會導致大型協議的采用轉向對EVM兼容解決方案阻力最小的路徑。

所有解決方案還致力于遞歸擴展和/或“第3層”實現，這將使以太坊交易可能變得更快數千倍，消除對跨鏈橋的需求，并允許加密最終實現其真正潛力。

跨鏈聚合器Bungee新增支持Polygon zkEVM:4月25日消息，由跨鏈基礎設施 Socket 支持的跨鏈聚合器 Bungee 宣布新增支持 Polygon zkEVM，Bungee 此前已支持在以太坊、Polygon、Optimism、Fantom 上的資產跨鏈轉移和兌換。[2023/4/25 14:25:43]

什么是零知識？

ZK匯總是當今區塊鏈中最大的流行語之一。該技術允許從極其緩慢的以太坊區塊鏈中計算出數千筆交易，并通過一個微小的“有效性證明”來驗證所有交易是否正確執行。因此，您可以將在其他地方執行的10,000筆交易“匯總”為單個ETH交易。這是一件大事，因為即使在MergeEthereum以每秒15筆交易的速度跛行之后。

ZKrollups已經在Loopring、dyDx等平臺上用于??NFT和金融交易有一段時間了。但正如聯合創始人VitalikButerin在8月的ETHSeoul期間指出的那樣：

總的來說，我認為我們已經了解到，人們不僅想要可擴展的貨幣，他們還想要可擴展的EVM。”

這是Newcomb所說的ZK匯總的“五種魔法元素”之一。在他看來，ZKrollup解決方案應該是通用的、兼容EVM并支持以太坊的編程語言Solidity。它還應該是開源的，以符合加密貨幣的創始精神，并且它應該具有分散協議而不是在團隊中集中財富的代幣分配。

巧合的是，zkSync已經實現了所有這五個自我強加的指標。

該清單是對競爭對手StarkWare的含蓄批評，后者將把StarkNet代幣供應的49.9%提供給投資者和核心貢獻者。它也不是開源的，盡管它計劃將IP控制權交給其社區。

Polygon zkEVM將于下周推出經審計的升級版測試網:2月24日消息，Polygon Labs將于下周推出經審計的升級版Polygon zkEVM測試網。該測試網將與主網測試版推出的無許可、任何人準入、無白名單、真實資產、帶有工作驗證器的實時系統幾乎相同。

在部署審計升級的測試網后，Polygon zkEVM還將支持Etherscan，并進行FFLONK集成，提高驗證器性能。目前測試網的用戶暫時無需操作。一旦確定審計升級測試網的日期，Polygon Labs將提供鏈ID和其他必要的詳細信息，以便在新網絡中重新部署。[2023/2/25 12:28:16]

聯合創始人EliBen-Sasson解釋說，充分利用ZK匯總提供的擴展的唯一方法是使用像Cairo這樣的自定義語言。

“我非常有信心，一旦人們打開了目標不是模擬EVM的證明，他們就會意識到。目標是達到可擴展性。將10,000、100,000、100萬筆交易放入單個以太坊區塊中，并將其證明放入其中，”他說。

“我敢打賭，你不會看到一個完整的ZKEVM可以將一百萬筆交易放入以太坊的單一證明中。正如我們今天可以輕松做到的那樣，并且已經做了幾個月和幾年。”

EliBen-Sasson說它的解決方案比kludgyEVM更快更好。

擴展與兼容性

StarkWare的Odin-Free在Twitter上解釋說，需要自定義語言背后有復雜的數學原因，因為“像Stark這樣的證明系統基于有限域上的多項式，提供了更有效的多項式方程。”好吧，讓我們相信他的話。

對于Ben-Sasson來說，試圖提升EVM是愚蠢的：

Polygon將于7月21日推出zkEVM，可提供“EVM等效”解決方案:7月18日消息，Polygon將于7月21日推出zkEVM，可為開發人員和用戶提供“EVM等效”解決方案、高性能zk證明機制（zk-proofs）與以太坊主網級別的安全性。此前報道，Polygon DeFi負責人表示Polygon Hermez即將推出zkEVM。[2022/7/18 2:20:06]

“如果你想解決交通問題，你可以開一輛大卡車，把它放在飛機里，然后讓飛機運送它，”他說。“有些飛機可以在里面裝卡車，但這是一種非常低效的方式。更好的方法是把東西直接放在飛機上。”

也就是說，生態系統確實有一個名為Warp的轉譯器，它將Solidity代碼轉換為Cairo代碼，并且剛剛用于將Uniswap的一個分支移植到StarkNet。

因此，對于zkrollups，本質上是在與EVM的完全兼容性和可擴展性之間做出選擇。完全的兼容性使DApp和協議能夠無縫移植，并且對于開發人員和用戶來說，一切都像在以太坊上一樣工作，但在擴展方面，更快顯然更好。

Newcomb承認StarkWare的解決方案將產生更好的規模，但表示犧牲可訪問性意味著它更適合定制企業應用程序，而不是由于“采用摩擦”而成為以太坊的基本部分。

“它們不兼容EVM，因此很難移植到它們。我們已經看到需要7個月才能移植到他們身上的項目。”

兼容但不太優雅

沒有一致的定義，但“EVM等效”通常意味著“與EVM完全相同”，因此您可以在解決方案上部署現有的智能合約而無需任何更改。

Scroll被廣泛認為是等效的，但它還沒有在適當的測試網上，并且比其他預算相對較小的其他產品落后了好幾個月。Polygon的zkEVM解決方案聲稱是等效的。同時，zkSync將與EVM兼容——這意味著它幾乎相同，但由于某些設計選擇使解決方案更好地工作，有些事情可能無法來正常工作。

聲音 | 外媒：William Zietzke在對美國國稅局調查其Bitstamp帳戶的訴訟中敗訴:加利福尼亞州聯邦法院最近裁定，在特定情況下，美國國稅局（IRS）向加密貨幣交易所Bitstamp提出的請求是合法的。法官認為，對IRS提起訴訟的William Zietzke提出的大多數論點都是沒有根據的。據悉，IRS在對William Zietzke的調查過程中，美國國稅局發現他沒有告知他當時擁有的Bitstamp帳戶。這促使政府機構要求Bitstamp提供有關Zietzke所持財產以及與其所有交易有關的公共密鑰數據。這些信息被認為對協助調查他是否隱瞞資產很重要。（bitcoinexchangeguide）[2019/11/30]

Polygon周一啟動了其zkEVM公共測試網，聲稱“Polygon是第一個提供功能齊全的開源zkEVM實現的項目；這是一個開創性的里程碑，不僅對Polygon，而且對整個行業而言。”Polygon表示，測試網“包括一個完全開源的zk-Prover——這是第一個公開發布的同類產品。”

聯合創始人MihailoBjelic告訴Magazine早期測試表明，“Polygon的zkEVM可以將以太坊的網絡費用降低約90%，并將網絡的吞吐量提高幾個數量級。”

他說，開源技術“證明了我們與行業精神的一致性，并提高了解決方案的安全性，因為任何人都可以查看它并指出潛在的錯誤。StarkNet或zkSync的情況并非如此，它們將其實現的關鍵部分保持封閉源代碼，至少目前是這樣。”

技術位

根據Scroll的LuozhuZhang的說法，zkEVM有三種潛在類型：字節碼級別、語言級別和共識級別。zkSync和StarkWare處于語言級別，需要編譯器或轉譯器步驟，而Scroll和Polygon是字節碼級別的方法。人類可讀的字節碼形式稱為操作碼。

Bjelic說，Polygon的解決方案被設計為等效于EVM，而：

“像StarkNet和zkSync這樣的項目正在采取不同的方式——他們擁有自己的自定義虛擬機，然后他們嘗試將基于EVM構建的最流行的語言Solidity轉換為這些虛擬機可以解釋的語言，”他說。

這種方法有兩個主要挑戰：(i)很難構建一個支持100%Solidity智能合約的轉譯器；(ii)即使你有轉譯器，你仍然無法利用所有開發人員和最終用戶工具就像PolygonzkEVM一樣。”

Newcomb說有一些不好的信息在流傳。“我們不編譯，我們編譯，”他說。他對Polygon進行了回擊，說從該項目的Github來看，他們還沒有開發出與工作序列器集成的工作通用證明器。

“如果是這樣的話，那就意味著他們有大量的工作要做。任何復雜系統的最后10%總是最困難的。這看起來類似于我們在啟動測試網時所處的位置，甚至落后于我們所處的位置。在那之后，我們花了九個月的時間。”

大部分兼容

同時，zkSync與以太坊的141個操作碼中的三個以外的所有操作碼兼容——其中一個已被棄用，另一個正在被棄用，根據Newcomb的說法，第三個被不到1%的項目的1/10使用。

“那么我們因為不完全等價而得到了什么？我們得到了兩件事，我們的性能成本比任何追求等效的解決方案都要好。我們更快，更便宜。我們得到的第二件事是，我們能夠將LLVM編譯器粘貼到我們的鏈中，如果你在做同等的事情，這是你無法做到的。LLVM編譯器所做的是我們已經在研究第三層。”

LLVM會讓Python、Rust或C++開發人員在他們的解決方案上編寫代碼，然后編譯下來以與Solidity相同的方式工作。

這對于采用來說是巨大的。因此，這個在開羅需要7個月的項目在7天內移植到我們這里的同一個生態系統項目。這就是兼容性。”

他承認，如果zkSync完全等價，那么移植只需要一天時間，但會錯過LLVM和增加的擴展性。所以他說這是一個值得做的權衡。

第3層和遞歸縮放

能夠將大量交易壓縮成一個有效性證明的最酷的事情是，該技術還允許您將許多其他證明壓縮成一個單一證明。

它被稱為遞歸擴展，Consensys的匯總產品經理DeclanFox認為它非常強大，理論上整個全球金融系統都可以在以太坊上運行。“我們擁有實現所需吞吐量的技術，”他說。“通過遞歸匯總和證明，我們理論上可以無限擴展。”

StarkWare在8月份啟用了遞歸縮減，自使用該技術以來已處理了超過3000萬筆交易。

“在這個早期階段，遞歸已經將單個證明中的交易數量增加了大約8倍，”Ben-Sasson解釋道。“更重要的是，事實證明它非常高效，在投入生產后不久，我們自己用于生成證明的云成本就降低了大約40%。

“這些不是我們希望看到的預測或數字，而是來自今天生產的數字。我強調：這只是一個開始，我們將做出的改變將意味著這些數字將變得越來越令人印象深刻。

Starkware生態系統正在增長。

根據Bjelic的說法，Polygon即將實施其Plonky2解決方案。這是一個開源的zk-SNARK解決方案。“這種遞歸SNARK可用于比現有替代方案更快地驗證交易數量級。Plonky2還與以太坊虛擬機原生兼容，這使得Polygon能夠開發zkEVM。”

ZKSync的第3層測試網將很快發布，及時利用明年初名為Proto-Danksharding的以太坊升級，該升級旨在為以太坊上的匯總提供開花空間。Newcomb預計Layer3將在一年內投入生產。他們稱其為“探路者”，一個“分形超鏈”的生態系統。

“在工程方面，我們可能會持續數小時，但從功能上講，你遠離以太坊的遞歸鏈越靠前，數據成本就越便宜，它是10倍、10倍、10倍、10倍，因為你遞歸了數據成本，這是zk獨有的。”

“這就是我們達到100,000TPS和100萬TPS的地方，”他說。Visa在正常的一天以大約4000TPS的速度快速增長，在圣誕節等高峰時段飆升至大約65,000TPS。

ZK是達到100,000TPS的唯一方法，這樣你就可以達到像Visa這樣的東西用區塊鏈替換其底層協議的水平。當你這樣做時，這就是你大規模采用的時刻。”

根據Newcomb的另一個驚人的發展是，第3層可以擺脫對跨鏈橋的要求，僅今年一年就發生了超過20億美元的黑客攻擊。

“我們已經在第3層實現的另一件事是，我們擺脫了所有的橋梁。當你可以讓一個證明者為L3中的所有超鏈執行電路時，現在從一個區塊鏈到另一個區塊鏈的任何通信都是本地的。這就是Vitalik說這是終局之戰的另一個原因，因為沒有更多的橋梁了。”

“如果你讓它更快、更便宜幾個數量級，如果你通過提供更多的語言讓它更容易使用，更歡迎更廣泛的開發人員，然后你讓人們信任它，因為你擺脫了橋梁。這就是我常說的，在L3中有一個10倍時刻的星團，這就是比賽的舉辦地。”

結語

就是這樣了？隨著ZKrollups和EVM兼容擴展解決方案的到來，一切都解決了嗎？

不幸的是沒有。ZKrollups目前非常擅長將計算從以太坊中移除，但他們仍然需要將足夠的數據寫回主鏈，以便如果rollup停止工作或被壞人接管，那么其他一些機構可能會介入其中并找出誰欠誰什么。

這被稱為數據可用性問題，以太坊相當多的帶有原型danksharding和完整danksharding的線路圖旨在解決這個問題并允許包含更多數據。目前有幾種方法可以解決這個問題，包括將數據存儲在Validiums上，這種方法更便宜但安全性較低。

在加密行業你想抓住下一波牛市機會你得有一個優質圈子，大家就能抱團取暖，保持洞察力。如果只是你一個人，四顧茫然，發現一個人都沒有，想在這個行業里面堅持下來其實是很難的。

想抱團取暖，或者有疑惑的，歡迎加入我們——公眾號：枯藤老樹新芽

感謝閱讀，我們下期再見！

Tags：OLYGONPolygonLYGMetropolyiagon幣社群polygon幣官網polygon幣怎么挖礦

Gate.io