作者：Alex Connolly，Immutable聯(lián)創(chuàng)兼CTO；翻譯：xiaozou

2022年8月，我曾寫(xiě)過(guò)一篇關(guān)于zkEVM當(dāng)前發(fā)展?fàn)顟B(tài)的博文，標(biāo)題為《zkEVM、EVM兼容性及Rollup基礎(chǔ)指南》（Ground Up Guide to zkEVM, EVM Compatibility and Rollups）。在同一周，V神發(fā)布了一篇文章，介紹了不同類型的zkEVM，確立了Type 1、Type 2分類法，現(xiàn)在通常用使用不同的Type分型來(lái)稱呼不同的zkEVM——競(jìng)爭(zhēng)很是激烈！

在那篇博文中，我做出了如下預(yù)測(cè)：

……還應(yīng)該對(duì)智能合約rollup的當(dāng)前狀態(tài)有清醒認(rèn)知。每個(gè)團(tuán)隊(duì)都有強(qiáng)烈的動(dòng)機(jī)將自己推銷為是那個(gè)“即將接管世界”的角色——但最早要到2022年底，以太坊上才會(huì)出現(xiàn)“生產(chǎn)級(jí)”的智能合約，而其中許多團(tuán)隊(duì)要到2023年后期才能做好準(zhǔn)備。

我們現(xiàn)在已經(jīng)到了“2023年結(jié)尾”了——zkEVM的開(kāi)發(fā)和采用情況如何了？從zkEVM的很多方面來(lái)說(shuō)，今年都是重要的一年：

·Polygon zkEVM、Linea和Scroll發(fā)布！

·Immutable宣布下一個(gè)rollup——Immutable zkEVM

·Polygon宣布計(jì)劃將Polygon PoS升級(jí)至zkEVM Validium

·Optimism表明計(jì)劃支持OP Stack鏈作為zkEVM運(yùn)行

無(wú)論怎樣，數(shù)據(jù)是不言自明的：

簡(jiǎn)而言之，zkEVM的開(kāi)發(fā)工作正在進(jìn)行中，但與現(xiàn)有的區(qū)塊鏈相比，目前還沒(méi)有哪個(gè)zkEVM獲得了巨大采用。這篇文章的目的是回答一個(gè)顯而易見(jiàn)的問(wèn)題——各zkEVM項(xiàng)目進(jìn)展情況如何，怎樣才能產(chǎn)生可喜的關(guān)注度？

首先，讓我們快速回顧一下V神的“zkEVM類型”，有助于理解zkEVM項(xiàng)目：

這看起來(lái)很復(fù)雜，但實(shí)際上很容易理解。每個(gè)人最初都在心里認(rèn)為zkEVM只是采用現(xiàn)有的以太坊執(zhí)行客戶端（例如Geth、Nethermind、Erigon），生成其執(zhí)行跟蹤的zk（零知識(shí)）證明，并使用這些證明來(lái)確保L1-L2消息橋接。然而，EVM最初的設(shè)計(jì)考量并不包括zk證明，而且這種方法效率非常低（例如，以太坊的keccak哈希函數(shù)成本高昂）。所以，我們有幾個(gè)選擇：

·Type 1– 只管處理，我的用戶/我將付費(fèi)。這里有兩個(gè)主要優(yōu)勢(shì)：你可以使用現(xiàn)有區(qū)塊鏈的Type 1 Prover（證明程序），并且你不需要維護(hù)自己的以太坊客戶端（開(kāi)發(fā)成本可能與證明成本一樣高），但是你必須保持執(zhí)行客戶端更新。

·Type 2-- 不觸及“應(yīng)用層”（例如，不改變操作碼成本/實(shí)現(xiàn)），但要更改鏈上節(jié)點(diǎn)，使其具有對(duì)prover更友好的內(nèi)部結(jié)構(gòu)（例如，使用Sparse默克爾樹(shù)來(lái)表示狀態(tài)）。這種方法的一大缺點(diǎn)是，你需要維護(hù)一個(gè)永久分叉的以太坊客戶端?？紤]到以太坊已經(jīng)在費(fèi)力維護(hù)多個(gè)生產(chǎn)級(jí)客戶端，這是一項(xiàng)非常重要的任務(wù)，需要有一個(gè)專業(yè)的區(qū)塊鏈工程師團(tuán)隊(duì)。

·Type 3– 完成Type 2中的所有工作，同時(shí)修改EVM，去掉最難證明的部分（例如，一些很少使用的預(yù)編譯），這可能會(huì)增加prover密集型操作的操作碼成本。這是將你的prover推向市場(chǎng)的最快方式，但你需要進(jìn)行上述所有客戶端更新，并經(jīng)歷與現(xiàn)有以太坊應(yīng)用和工具不兼容的情況（例如，使用這些預(yù)編譯的任何合約都會(huì)中斷）。

·Type 4-- 創(chuàng)建專為高效zk證明而設(shè)計(jì)的自定義VM，并創(chuàng)建運(yùn)行該VM的自定義客戶機(jī)。這將大大降低驗(yàn)證成本，但需要構(gòu)建一個(gè)龐大的工具和基礎(chǔ)設(shè)施生態(tài)系統(tǒng)來(lái)支持你的自定義VM/客戶機(jī)。你或許能夠提供某種形式的Solidity代碼轉(zhuǎn)換，但是開(kāi)發(fā)人員可能必須對(duì)他們現(xiàn)有的合約和工具進(jìn)行實(shí)質(zhì)性的更改才能在你的鏈上部署。在我看來(lái)，大多數(shù)Type 4 rollup都不是真正的zkEVM——用“智能合約zk-rollup”來(lái)描述可能更準(zhǔn)確。

用表格的形式可能更容易理解：

到2023年底，幾乎每個(gè)活躍項(xiàng)目都是Type 3或Type 4 rollup，原因很簡(jiǎn)單：它們的構(gòu)建速度要快得多（以兼容性和不斷增加的維護(hù)開(kāi)銷為代價(jià)）！有趣的是，幾乎所有目前屬于Type 3的項(xiàng)目都計(jì)劃最終成為T(mén)ype 2或Type 1 rollup，以提高其與以太坊的兼容性，并有可能不再需要開(kāi)發(fā)自己的客戶端。

在去年的博文中，我主要關(guān)注了各zkEVM團(tuán)隊(duì)如何設(shè)計(jì)他們的prover。今年，我想涵蓋各項(xiàng)目做法的其他重要方面，包括那些沒(méi)有被經(jīng)常討論的事項(xiàng)（如各zkEVM執(zhí)行客戶端計(jì)劃）。例如，許多人認(rèn)為L(zhǎng)2是“排序器”（sequencer）和prover，而標(biāo)準(zhǔn)的zkEVM設(shè)計(jì)實(shí)際上看起來(lái)更像是這樣！

還有其他的排序器設(shè)計(jì)（我們將在后面討論），但大多數(shù)zkEVM目前都計(jì)劃運(yùn)行一個(gè)單獨(dú)的區(qū)塊鏈作為L(zhǎng)2排序器，具有自己的執(zhí)行客戶端（接收和執(zhí)行交易）和共識(shí)客戶端（就所有L2節(jié)點(diǎn)的交易順序達(dá)成共識(shí)）。

重要的是，修改標(biāo)準(zhǔn)以太坊客戶端來(lái)創(chuàng)建你自己的自定義鏈?zhǔn)怯谐杀镜?。每次的以太坊客戶端更改（特別是每次硬分叉）都將是所有zKEVM團(tuán)隊(duì)的治理決策項(xiàng)。自定義的部分越多，進(jìn)行上游變更就越困難。隨著時(shí)間的推移，很容易產(chǎn)生zkEVM異步——在某個(gè)點(diǎn)上與以太坊匹配的zkEVM將迅速失去同步。

1、zkEVM項(xiàng)目狀態(tài)

那么，我們?nèi)ツ晏接懙哪切╉?xiàng)目怎么樣了？

（1）Polygon zkEVM（以及Polygon CDK鏈）

Polygon zkEVM于2023年3月在主網(wǎng)上線，迄今已處理了近1000萬(wàn)筆交易。它目前屬于Type 3類型，目標(biāo)是在2024年的某個(gè)時(shí)候成為T(mén)ype 2。

當(dāng)然，作為T(mén)ype 2/3，Polygon zkEVM需要有屬于自己的自定義客戶端實(shí)現(xiàn)。Polygon選擇從頭開(kāi)始構(gòu)建自己的客戶端（zkevm-node）以獲取兼容性，但這個(gè)新客戶端發(fā)生過(guò)停機(jī)事故，并且缺少許多標(biāo)準(zhǔn)以太坊客戶端所具有的功能。

為了彌補(bǔ)這一點(diǎn)，Polygon與gateway.fm合作修改Erigon（以前的turbo-geth）以支持Type 2/3 prover所需的更改。這將為Polygon zkEVM提供一個(gè)更穩(wěn)定的基礎(chǔ)層和更優(yōu)化的性能，盡管保持與上游Erigon的兼容性仍然是一個(gè)持續(xù)挑戰(zhàn)。

許多團(tuán)隊(duì)也宣布將使用Polygon鏈開(kāi)發(fā)工具包（CDK）構(gòu)建zkEVM，包括Astar、OKX和Palm Network。Polygon CDK的愿景是支持開(kāi)發(fā)人員按照自己的需求，通過(guò)結(jié)合使用不同的客戶端、prover和數(shù)據(jù)可用性解決方案來(lái)構(gòu)建自己的自定義鏈（即構(gòu)建自己的zkEVM工具包）。如今，CDK支持一個(gè)客戶端實(shí)現(xiàn)（zkevm-node）和一個(gè)prover（Polygon zkEVM）。未來(lái)，Polygon團(tuán)隊(duì)計(jì)劃向CDK添加更多的客戶端實(shí)現(xiàn)（例如Type-2-Erigon）和prover（例如Polygon Zero）。

這意味著你今天就可以部署你自己版本的Polygon zkEVM！但是，任何使用zkevm-node進(jìn)行部署的團(tuán)隊(duì)將來(lái)都可能需要遷移到其他客戶端，所以可能希望在準(zhǔn)備好后再遷移。

我們還應(yīng)該注意到，Polygon正計(jì)劃將Polygon PoS（世界上最大、最成功的區(qū)塊鏈之一）升級(jí)為一個(gè)具有鏈下數(shù)據(jù)的zkEVM，但具體升級(jí)時(shí)間表還未確定。

（2）Scroll

2023年Scroll上線了兩個(gè)測(cè)試網(wǎng)和一個(gè)主網(wǎng)（10月）——這是大型建設(shè)之年！Scroll目前是一個(gè)Type 3 zkEVM，之前他們?cè)硎敬蛩阍谖磥?lái)轉(zhuǎn)為T(mén)ype 1/2，具體時(shí)間尚不明確。他們有一個(gè)與以太坊的差異列表，表里包含了一些未實(shí)現(xiàn)的預(yù)編譯和一些微小的狀態(tài)修改。Scroll的客戶端是Geth v1.10.13的一個(gè)分叉，目前在單排序器模式下運(yùn)行。值得注意的是，Scroll的執(zhí)行客戶端的某些部分已經(jīng)落后于上游以太坊兩年（盡管他們已經(jīng)選擇了上海執(zhí)行客戶端的EIPs來(lái)減少應(yīng)用層偏差）。這不會(huì)對(duì)鏈造成任何直接的破壞，但卻表明了許多項(xiàng)目將面臨治理挑戰(zhàn)，需要確定與上游以太坊長(zhǎng)期保持多近的距離，以及需要多少工程努力才能不斷縮小這一差距。

（3）Immutable zkEVM

7月份以來(lái)，Immutable zkEVM已經(jīng)有了一個(gè)公共測(cè)試網(wǎng)，并計(jì)劃在1月上線主網(wǎng)。Immutable zkEVM使用標(biāo)準(zhǔn)go-ethereum客戶端版本，該版本已針對(duì)我們的核心領(lǐng)域（游戲）進(jìn)行了定制。有趣的是，Immutable zkEVM是目前本文探討的唯一一個(gè)特定域（domain specific）zkEVM，盡管L2能夠根據(jù)特定領(lǐng)域的要求進(jìn)行定制同時(shí)保持以太坊的安全性是它們的一個(gè)主要吸引力。例如，Immutable zkEVM滿足于使用validium數(shù)據(jù)可用性來(lái)降低成本，并選擇了單塊最終性PoSBFT設(shè)計(jì)來(lái)提供近乎即時(shí)的確認(rèn)，這些決策可能并不適合通用鏈。此外，如果大量的游戲和游戲用戶涌向這條鏈，可能會(huì)產(chǎn)生網(wǎng)絡(luò)效應(yīng)——我們預(yù)計(jì)未來(lái)會(huì)出現(xiàn)更多的特定域L2。

然而，該鏈的發(fā)布不會(huì)提供prover支持。這是因?yàn)镮mmutable zkEVM計(jì)劃在Type 1 Polygon Zero證明程序可用且具成本效益時(shí)再采用。Immutable發(fā)布Type 3的唯一方法是對(duì)客戶端進(jìn)行實(shí)質(zhì)性更改，考慮到客戶端偏離以太坊的影響，我們不愿意這樣做。如今，Polygon Zero由Plonky-2提供支持，Plonky-3正在積極開(kāi)發(fā)中，預(yù)計(jì)在2024年中后期達(dá)到生產(chǎn)級(jí)，屆時(shí)性能將提高約一個(gè)數(shù)量級(jí)。這將為Polygon提供兩個(gè)獨(dú)立的prover（Polygon Zero和Polygon zkEVM），開(kāi)發(fā)人員將能夠在他們基于CDK的鏈中選擇使用哪個(gè)prover。

（4）Linea

Linea在8月份發(fā)布了他們的主網(wǎng)，并采用了與Polygon/Scroll類似的方式：從Type 3 rollup開(kāi)始，逐漸轉(zhuǎn)為T(mén)ype 1或Type 2型。Linea目前與以太坊London只有若干不同之處，如表中所示。

Linea正在使用他們自己更新的Geth版本，他們將其命名為“zkGeth”。值得注意的是，這個(gè)客戶端的源代碼不是開(kāi)源的，prover也不是開(kāi)源的——用戶無(wú)法驗(yàn)證它們是否按預(yù)期運(yùn)行。他們計(jì)劃將所有這些組件開(kāi)源，作為他們文檔完備的去中心化路線圖的一部分。Linea的文檔表明，他們計(jì)劃從“zkGeth”轉(zhuǎn)為linea-besu，這是對(duì)Consensys開(kāi)發(fā)的Besu客戶端的更新版本。從中期來(lái)看，Linea團(tuán)隊(duì)計(jì)劃合并linea-besu和常規(guī)besu，并依靠Besu的插件系統(tǒng)來(lái)進(jìn)行必要的狀態(tài)修改，以成為一個(gè)Type 2 zkEVM。

（5）Taiko

Taiko正在打磨他們的第五個(gè)測(cè)試網(wǎng)，計(jì)劃明年上線主網(wǎng)。Taiko正在開(kāi)發(fā)他們自己的基于PSE實(shí)現(xiàn)的zk prover（與Scroll類似）。有趣的是，Taiko是本文中唯一一個(gè)目前不考慮將單個(gè)排序器逐步去中心化為一個(gè)L2區(qū)塊鏈這種設(shè)計(jì)模式的團(tuán)隊(duì)。Taiko的設(shè)計(jì)基于Justin Drake所描述的Based Rollup概念——而不是擁有一個(gè)經(jīng)許可的validator（驗(yàn)證者/器）集，任何人都可以向以太坊L1提交交易包和證明。這種實(shí)現(xiàn)意味著rollup將排序完全委托給了以太坊L1，允許它自動(dòng)繼承以太坊L1的活躍度和去中心化特性。然而，它存在一個(gè)重要的缺點(diǎn)：L2排序器不會(huì)提供“快速最終性”確認(rèn)，也就是說(shuō)用戶等待交易確認(rèn)的時(shí)間更長(zhǎng)。Justin Drake提出了“Based preconfirmations（預(yù)確認(rèn)）”機(jī)制，以提供延遲僅為100ms的概率確認(rèn)，但是還沒(méi)有接近生產(chǎn)水平，并且引入一個(gè)單獨(dú)的“preconf（預(yù)確認(rèn)）承諾”和“preconf tips”系統(tǒng)可能會(huì)對(duì)現(xiàn)有的以太坊工具產(chǎn)生影響。這是一個(gè)活躍的研究領(lǐng)域！

Taiko從一開(kāi)始就表示他們計(jì)劃成為T(mén)ype 1 zkEVM。他們認(rèn)為，其他zkEVM帶來(lái)的兼容性差異將比更高昂的證明生成成本還要糟，無(wú)論如何，隨著技術(shù)的進(jìn)步，成本終將會(huì)下降。Taiko的客戶端實(shí)現(xiàn)很有趣——核心的“執(zhí)行客戶端”是經(jīng)過(guò)修改的Geth v1.13 (taiko-geth)。然而，他們也在維護(hù)自己的“共識(shí)客戶端”(taiko-client)，它處理與L1的通信并監(jiān)控based排序過(guò)程。

（6）zkSync Era

zkSync Era于2023年3月發(fā)布，到目前為止可謂是成功的，即將進(jìn)行空投的傳言將其TVL推高至5億美元以上。zkSync是Type 4 zkEVM，他們正在證明自己的自定義VM (eraVM)，而不是試圖直接修改EVM。他們的目標(biāo)是與以太坊進(jìn)行“語(yǔ)言級(jí)兼容”，并提供了一個(gè)從Solidity代碼到他們的自定義VM的直接編譯器。他們對(duì)許多關(guān)鍵EVM操作碼的實(shí)現(xiàn)進(jìn)行了實(shí)質(zhì)性的更改，對(duì)編譯過(guò)程也進(jìn)行了一些更改，所以開(kāi)發(fā)人員常常需要修改他們的合約或部署腳本才能在zkSync Era上進(jìn)行部署。

zkSync Era有自己的自定義客戶端，允許他們實(shí)現(xiàn)非EVM功能，如原生帳戶抽象。2023年7月，他們將prover升級(jí)為“Boojum”，這是一個(gè)STARK證明系統(tǒng)，然后用SNARK包裝進(jìn)行鏈上驗(yàn)證，類似于Polygon zkEVM。zkSync Era需要完全鏈上數(shù)據(jù)，但他們計(jì)劃在未來(lái)引入“zkPorter”，這將允許用戶在不同價(jià)位的不同數(shù)據(jù)可用性模式之間進(jìn)行選擇，與StarkWare提出的Volition模型類似。

（7）StarkNet

StarkNet是以太坊生態(tài)系統(tǒng)中最雄心勃勃的項(xiàng)目之一：他們正在從頭開(kāi)始構(gòu)建一個(gè)Type 4 rollup和生態(tài)系統(tǒng)，其中包括一個(gè)新的VM (CairoVM)、一個(gè)新的編程語(yǔ)言(Cairo)、一個(gè)新的prover (Stone)和新的客戶端（Pathfinder、Papyrus、Juno）。StarkNet在2021年和2022年逐步開(kāi)放，現(xiàn)在擁有超1.5億美元的TVL，月處理交易量超1000萬(wàn)筆。

從頭開(kāi)始構(gòu)建新生態(tài)系統(tǒng)是極具挑戰(zhàn)性的，但也為EVM一直在努力的領(lǐng)域（例如原生賬戶抽象）提供了根本性創(chuàng)新的機(jī)會(huì)，并大幅提高了性能。該工具鏈的大部分已經(jīng)通過(guò)基于StarkEx的項(xiàng)目（如Immutable X、dydx v3和Sorare）完成了廣泛測(cè)試，這些項(xiàng)目自2020年以來(lái)一直在運(yùn)行，并已被廣泛采用。

最初，StarkNet生態(tài)系統(tǒng)通過(guò)我去年提到的Warp Solidity→Cairo轉(zhuǎn)譯器等項(xiàng)目探索了語(yǔ)言級(jí)別的兼容性。然而，Warp現(xiàn)在已經(jīng)過(guò)時(shí)了，而StarkNet生態(tài)系統(tǒng)已經(jīng)決定完全致力于新的CAIRO工具集，而不再支持任何類型的Solidity向后兼容性?，F(xiàn)在，他們面臨著與Solana或Sui等非EVM生態(tài)系統(tǒng)相同的挑戰(zhàn)——你能讓大量開(kāi)發(fā)人員采用你的新工具嗎？還是普遍存在EVM會(huì)勝出？

Kakarot團(tuán)隊(duì)正在做的工作是唯一的一個(gè)例外，他們正在使用CAIRO語(yǔ)言開(kāi)發(fā)一個(gè)Type 2.5 EVM，將作為運(yùn)行在StarkNet上的一組合約。通過(guò)Kakarot，用戶將能夠部署在StarkNet上擁有代碼/狀態(tài)的EVM合約并與之交互，允許用戶從StarkNet的性能中受益，同時(shí)保留EVM兼容性。由于底層執(zhí)行環(huán)境仍將是StarkNet，這將犧牲以太坊工具的兼容性——但對(duì)于某些項(xiàng)目來(lái)說(shuō)，這可能是一個(gè)可以接受的權(quán)衡。Kakarot還沒(méi)有達(dá)到生產(chǎn)級(jí)別，這種分層方法的性能和工具兼容性的影響還不清楚，但這是一個(gè)令人興奮的嘗試，可以彌合各種zkEVM類型之間的差距，也表明我們?cè)谔剿髟O(shè)計(jì)空間方面行動(dòng)很早。

（8）Optimism

由于顯而易見(jiàn)的原因，Optimism通常被認(rèn)為是一個(gè)專注于optimistic rollup的團(tuán)隊(duì)。然而，他們一再表示計(jì)劃支持zk零知識(shí)證明作為未來(lái)的一種選擇，并且已經(jīng)與幾個(gè)積極貢獻(xiàn)的團(tuán)隊(duì)進(jìn)行了熱烈討論。像zeth這樣令人興奮的zk生態(tài)項(xiàng)目現(xiàn)在提供Optimism區(qū)塊支持。然而，我們還沒(méi)有看到任何正式的時(shí)間表或設(shè)計(jì)——也許在明年的zkEVM回顧中會(huì)有令人興奮的變化！

正如你所見(jiàn)，各個(gè)kEVM團(tuán)隊(duì)之間的做法有很大的差異。即使是同一種類型的rollup也經(jīng)常采用與其prover、客戶端和排序機(jī)制截然不同的設(shè)計(jì)。

還有另一種非常重要的方法來(lái)比較這些新的zkEVM——它們的實(shí)際配置！一般來(lái)說(shuō)，分析各鏈的客戶端和prover的體系結(jié)構(gòu)要更加有趣，因?yàn)樯婕暗礁镜脑O(shè)計(jì)決策，而不是可以輕松更改的應(yīng)用級(jí)配置。然而，如果你是一個(gè)應(yīng)用程序開(kāi)發(fā)人員，具體配置無(wú)疑是很重要的，所以一定要確保你研究了每個(gè)zkEVM的區(qū)塊時(shí)間、區(qū)塊gas限制、證明發(fā)布頻率、排序器共識(shí)機(jī)制以及任何可能影響應(yīng)用程序用戶體驗(yàn)的因素！

綜上所述：2023年，各種各樣的團(tuán)隊(duì)進(jìn)行了大量的開(kāi)發(fā)工作。所以，如果一切正在進(jìn)展中，我們是否只需要靜靜等待？我們還需要解決什么問(wèn)題，才能看到zkEVM獲得實(shí)質(zhì)性的關(guān)注度？

2、zkEVM開(kāi)發(fā)中還有哪些懸而未決的問(wèn)題？

首先，客戶端和prover之間缺少標(biāo)準(zhǔn)化接口。目前，每個(gè)prover僅與最初構(gòu)建它們時(shí)所用的客戶端兼容。你無(wú)法在任何其他Type 2/3客戶端上使用Polygon zkEVM的prover。理想情況下，任何新的prover或客戶端都應(yīng)該與盡可能多的現(xiàn)有prover/客戶端兼容。鼓勵(lì)各種zkEVM團(tuán)隊(duì)遵循單一接口的EIP是未來(lái)發(fā)展的關(guān)鍵一步。

可以理解的是，大多數(shù)團(tuán)隊(duì)目前都在優(yōu)先改進(jìn)自己的部署，而不是尋求與他人的兼容性。目前這種做法可能是可以接受的，但最終我們尤其希望L2排序的zkEVM可以使用多客戶端/prover設(shè)置，以減少重大bug風(fēng)險(xiǎn)。此外，標(biāo)準(zhǔn)化“經(jīng)典”type 2功能的實(shí)現(xiàn)（例如Sparse默克爾樹(shù)、Poseidon哈希函數(shù)而非keccak）可能有助于多個(gè)prover使用相同或相似的客戶端。減少“geth”類客戶端的數(shù)量將是該生態(tài)系統(tǒng)的巨大勝利！一項(xiàng)名為“RollCall”的標(biāo)準(zhǔn)化倡議已被提出，同時(shí)還提出了一系列Rollup優(yōu)化建議（RIPs），雖然目前尚不清楚這一倡議的關(guān)注度有多高。

其次，這些zkEVM幾乎全都是單一排序器，是對(duì)這些rollup的去中心化和安全性的挑戰(zhàn)。尤其要注意，prover的行為只是為了確保L1-L2橋接是安全的。任何依賴于L2預(yù)確認(rèn)的外部系統(tǒng)(如CEX)都將大量資金置于風(fēng)險(xiǎn)之中，因?yàn)樗鼈兺耆蕾囉趩我慌判蚱鳌獙?duì)于今天的許多L2來(lái)說(shuō)，極具破壞性的黑客攻擊只需要盜用一個(gè)排序器密鑰就可實(shí)現(xiàn)。然而，一旦你將排序器去中心化，就會(huì)出現(xiàn)不同的挑戰(zhàn)（正如你在上述Taiko內(nèi)容中所見(jiàn)！）。你是否需要向L1提供一個(gè)zk證明，證明已經(jīng)達(dá)成了L2共識(shí)？活躍度問(wèn)題呢？MEV呢？大多數(shù)單一排序器rollup出于品牌/聲譽(yù)/鏈信任的原因目前都沒(méi)有利用MEV，但這種情況可能會(huì)在未來(lái)有所改變。

第三，沒(méi)有衡量zkEVM性能和成本的標(biāo)準(zhǔn)框架。本文的大部分內(nèi)容都在比較各種zkEVM設(shè)計(jì)的潛在性能影響，但是目前很少有zkEVM團(tuán)隊(duì)發(fā)布任何真正的性能規(guī)范或測(cè)試?！皕kEVM成本”由以下幾部分構(gòu)成：

·生成證明的云計(jì)算成本（受電路效率影響）

·驗(yàn)證證明的L1成本

·數(shù)據(jù)可用性成本

·從一層向另一層發(fā)送信息的成本

我應(yīng)該能夠?yàn)檫@些領(lǐng)域創(chuàng)建標(biāo)準(zhǔn)化測(cè)試，并將結(jié)果制成表格，以幫助建設(shè)者做出更明智的決策——目前這是不可能的。細(xì)微差別在這里：在某些類型的交易中，一些prover實(shí)現(xiàn)將比其他prover更佳，部分成本將取決于使用情況，因?yàn)槟軌蛟诮灰装蟹謹(jǐn)偨灰壮杀?。這些成本應(yīng)該如何呈現(xiàn)給用戶也是一個(gè)很大的不確定性（例如，Immutable zkEVM計(jì)劃在大多數(shù)情況下為用戶支付發(fā)布成本，而Scroll則有一個(gè)復(fù)雜的L1 + L2收費(fèi)設(shè)置，以確保每筆交易都是盈利的）。此外，許多zkEVM可能會(huì)遇到與狀態(tài)增長(zhǎng)相關(guān)的性能問(wèn)題——擴(kuò)展以太坊區(qū)塊空間不是免費(fèi)的！所有這些都需要比現(xiàn)在更高的可衡量性/可比性。

第四，對(duì)于大多數(shù)智能合約rollup而言，退出機(jī)制仍然沒(méi)有被很好地理解和定義。自我托管在特定應(yīng)用rollup（如Immutable X）上被很好地定義——你存放到該L1橋中的任何資產(chǎn)都應(yīng)該是可檢索的，即使排序器完全脫機(jī)或完全是惡意的。這通常被稱為“逃生艙口”。但這在智能合約rollup的情況下意味著什么呢？如果你的ETH質(zhì)押在一個(gè)合約中，無(wú)論如何都不應(yīng)可用呢？這一切都是關(guān)于抗審查性嗎（我們需要保證強(qiáng)制交易的能力嗎）？對(duì)于用于不同目的（例如游戲資產(chǎn)與DeFi）的zkEVM來(lái)說(shuō)，什么程度的數(shù)據(jù)可用性是可接受的？我們需要一致的框架向用戶傳達(dá)實(shí)際的故障情況——L2 Beat在這方面開(kāi)了個(gè)好頭！

第五，zkEVM與以太坊L1之間的關(guān)系尚不明晰。在撰寫(xiě)本文期間，我再一次被V神發(fā)布的一篇反思“enshrined zkEVM”的博文所吸引。主要內(nèi)容是以太坊客戶端層可以“enshrined” zk prove實(shí)現(xiàn)，可用于驗(yàn)證其他來(lái)源（例如L2）提交的EVM區(qū)塊的執(zhí)行情況。這就避免了讓所有L2 zkEVM都必須保持他們的zkEVM prover是最新的（重大勝利?。麄兛梢砸揽科渌麍F(tuán)隊(duì)的工作成果，包括核心以太坊客戶端團(tuán)隊(duì)，一個(gè)完全SNARK的以太坊已成為現(xiàn)實(shí)。那么，我是否應(yīng)該將“enshrined zkEVM”的提議解讀為偏離以太坊以L2為中心的擴(kuò)展路線圖，將L2捕獲的價(jià)值帶回？

不完全是這樣。L2仍然需要自己的排序器來(lái)提供快速確認(rèn)（在游戲等領(lǐng)域至關(guān)重要），而V神提出的設(shè)計(jì)只支持具有完全鏈上數(shù)據(jù)的zkEVM。出于變現(xiàn)等原因，大多數(shù)L2幾乎都希望保持獨(dú)立性，這對(duì)以太坊生態(tài)系統(tǒng)來(lái)說(shuō)是一個(gè)重要的權(quán)衡。L2對(duì)于以太坊區(qū)塊空間的擴(kuò)展至關(guān)重要，但他們的動(dòng)機(jī)（和BD團(tuán)隊(duì)）可能并不總是與以太坊對(duì)齊。

最后，多個(gè)zkEVM將繼續(xù)分散用戶和流動(dòng)性，致使用戶體驗(yàn)很糟。如今，每多一個(gè)以太坊L2將繼續(xù)分散狀態(tài)和流動(dòng)性——如果你在Arbitrum上有2枚ETH，那么在任何其他L2上訪問(wèn)ETH都是有難度的。在我看來(lái)，這是迄今為止對(duì)單體鏈的最佳論證，在單體鏈中，可組合性得到了極大改善，用戶不必在多個(gè)鏈之間進(jìn)行平衡。隨著當(dāng)前“L2工具包”（例如Polygon CDK、Arbitrum Orbit、OP Stack）流行開(kāi)來(lái)，啟動(dòng)鏈從未如此輕松，但代價(jià)是更大程度的碎片化問(wèn)題。

為了使這種多L2模型取得長(zhǎng)期成功，在大多數(shù)情況下，我們需要將單個(gè)鏈和平衡從用戶中抽象出來(lái)。這是有效性證明優(yōu)于欺詐證明更有力的論據(jù)之一——快速鏈間橋接的即時(shí)性證明驗(yàn)證。然而，即使有了強(qiáng)大的橋接/互操作性框架，仍然有大量的用戶體驗(yàn)問(wèn)題需要解決。在Immutable，我們的計(jì)劃是通過(guò)錢(qián)包層的Immutable Passport和垂直整合和來(lái)解決這個(gè)問(wèn)題。

3、結(jié)論

對(duì)于zkEVM來(lái)說(shuō)，2023年既是開(kāi)發(fā)進(jìn)展的重要一年，也是準(zhǔn)備實(shí)際采用的一年。2024年將是Type 1和Type 2 zkEVM真正準(zhǔn)備好投入生產(chǎn)使用的第一年，但實(shí)際上我們最早也要到第三/四季度才能使用——想要實(shí)現(xiàn)這一目標(biāo)，我們還需要解決很多性能問(wèn)題！

我想清楚地表明，zkEVM在2024年要解決的主要問(wèn)題不是技術(shù)問(wèn)題（雖然我們顯然還有一些技術(shù)問(wèn)題需要解決），而是價(jià)值問(wèn)題——我們能在下一代L2上為用戶創(chuàng)建令人興奮的應(yīng)用程序嗎？我們需要出色的協(xié)議開(kāi)發(fā)人員和出色的應(yīng)用程序開(kāi)發(fā)人員！