ZK-EVMs：擴展以太坊區塊鏈_以太坊

以太坊的合并已經完成了一段時間，以太坊區塊鏈社區正專注于網絡擴容的工作，以實現更便宜的交易費用、更快的交易，以及更多的吞吐量，同時還要維護構建在該區塊鏈上的去中心化金融(DeFi)協議和其他去中心化應用(dapp)的安全性。以太坊虛擬機(zk-evm)目前是以太坊社區中開發的最受好評的擴容技術之一。

今天的文章將討論zk-EVM和zk-EVM領域需要注意的一些關鍵項目。要理解zk-evm是什么，我們首先需要理解兩個關鍵概念：零知識聚合(zk-rollup)和以太坊虛擬機(EVM)

什么是ZK-Rollups

ZK-Rollup是在以太坊區塊鏈之上運行的第二層擴容解決方案。zk-rollup是鏈外協議，它在以太坊區塊鏈之外執行事務，然后通過鏈上rollup契約將事務批提交回鏈上。ZK-rollup處理事務、執行計算并在鏈下存儲數據，同時在鏈上智能合約中持有資產。

Uniswap員工AzFlin承認是FRENS代幣創建者，但否認Rug Pull指控:8月12日消息，Meme代幣FrensTech（FRENS）背后的開發者被指控進行Rug Pull，從項目中移除流動性。據鏈上專家@UniswapVillain披露，Uniswap早期員工AzFlin是FRENS的開發者。在部署FRENS代幣數小時之后，AzFlin使用多鏈橋HOP從Base網絡中轉走14枚WETH（約合25,800美元），甚至賣掉了從流動性中提出的代幣。

AzFlin承認自己是FRENS代幣的開發者和部署者，但否認Rug Pull指控。AzFlin聲稱，項目的流動性從一開始就被鎖定。他僅移除價值1枚ETH的流動性，這是他利用自己的開發者錢包資金提供的流動性。AzFlin承認，當FRENS市值達到3萬美元時，他出售了代幣。但他為自己的行為辯護，聲稱出售的代幣最初是由他自己購買，目的是為項目引入流動性。根據其說法，所謂的Rug Pull只不過是FUD。[2023/8/12 16:22:19]

從本質上說，zk-rollup在執行事務時脫鏈處理事務，以減少對塊空間的需求，然后將結果發送到以太坊區塊鏈。zk-rollup本質上被稱為零知識，因為在交易完成后，它們會以批處理的形式發送回以太坊區塊鏈，并證明它們是有效的。這些證明被稱為短非交互知識論證(SNARK)。zk-SNARKs是用來驗證數據真實性而不泄露交易的全部細節的方法。

BlockFi首席執行官Zac Prince套現近1000萬美元:金色財經報道，破產的加密貨幣借貸公司BlockFi表示，其首席執行官Zac Prince去年從該平臺套現近1000萬美元用于納稅，因為作為保密和解的一部分，FTX向某些內部賬戶提供了約1500萬美元的付款。6月，在全行業蔓延導致整個行業平臺大量撤資后，FTX向BlockFi提供了4億美元貸款，以便該公司能夠“在2022年6月至2022年11月期間處理數十億美元的客戶請求提款和其他交易”。根據BlockFi發布的概述其正在進行的法庭案件的進展、時間表和擬議議程的演示文稿，首席執行官Zac Prince能夠在2022年4月從BlockFi提取約920萬美元得益于FTX提供的4億美元貸款。Prince在8月份以當時的市場價格額外提取了136萬美元。[2023/1/10 11:03:15]

zk-rollup體系結構有兩個關鍵組件:

HyperPay智能定投功能正式上線:據官方消息，HyperPay錢包推出智能定投功能，該功能是一種美元成本平均（DCA）投資策略，分為單幣種定投和組合定投，同時創新性推出智能定投和杠桿定投，支持用戶定投數十種主流幣種。[2022/12/30 22:16:11]

鏈上合約:zk-rollup由運行在以太坊網絡上的智能合約控制。以太坊區塊鏈作為主合約，用于存儲卷出塊和排序，跟蹤存款，并存儲roll-up狀態。鏈上合約還充當驗證者，確保zk-Rollup生成的區塊。

鏈下虛擬機:鏈下虛擬機獨立于以太坊虛擬機，是zk-Rollup架構中處理事務的地方。這確保了主以太坊網絡上較少的塊空間爭奪。

現在讓我們來看看什么是以太坊虛擬機(EVM):

什么是EVM

馬斯克：自己將擔任推特CEO:金色財經報道，據央視新聞客戶端消息，當地時間10月31日，美國特斯拉公司首席執行官埃隆·馬斯克表示，他將成為自己剛剛收購的社交媒體公司推特的首席執行官。[2022/11/1 12:03:45]

來源:Ethereum基金會

以太坊虛擬機(EVM)是一個數據處理引擎，其功能類似于具有大量可執行項目的分布式計算機。它作為虛擬機和以太坊整個操作結構的基礎。它被視為以太坊處理執行和智能合約部署的組件。每個以太坊節點運行一個EVM，在每次交易后更新EVM，以確保以太坊網絡的狀態在整個系統中是一致的。

現在我們已經了解了zk和evm的兩個關鍵概念，讓我們看看zk-evm是什么:

ZK-EVMs-深入研究

zk-evm結合了zk-rollup和evm的概念。因此，zk-evm允許開發dapp，在使用以太坊虛擬機處理交易和執行智能合約時隱私的最大化。

REI Network與Mail3合作的REI網絡驗證器已安全啟動并運行:金色財經消息，REI Network（原GXChain）與Mail3合作的REI網絡驗證器已安全啟動并運行，此外REI Network將與Mail3集成，并使用Mail3作為通信工具。[2022/9/6 13:12:00]

來源:ZK7

zkEVMs的類型

關于zk-evm的執行有不同的思想流派。然而，以太坊的創始人VitalikButerin普及了zk-evm的一種分類。讓我們來看看V神提出的這些分類。

來源:VitalikButerin的博客?

1型zkEVM

這些類型的zkEVMs也被稱為完全等價于以太坊。這是因為evm完全等同于以太坊，除了使其更容易生成證明之外，不會對區塊鏈進行任何更改。

優點

這些類型的zkEVms與以太坊完全兼容，可以為以太坊網絡上未來的zk集成提供基礎。

缺點

以太坊網絡最初并不是為了與zk兼容而構建的。因此，以太坊網絡可能需要大量的計算來進行zk證明。因此，這些zkevm可能會導致更長的證明時間，最終更長的時間才能完成事務。

一些構建1型zkEVM的項目是來自隱私和縮放探索團隊和Taiko的應用ZKP。

2型zkEVM

Type2zkEVM實現試圖完全類似于以太坊虛擬機，但與以太坊的對等物略有不同。Type2zkEVMs除了數據結構和狀態樹之外，類似于以太坊的區塊鏈。

優點

Type2zkEVMs擁有一個幾乎等同于EVM的虛擬機，并將確保與多個EVM調試工具和開發人員基礎設施的兼容性。

缺點

類型2zkEVMs和類型1EVMs一樣，驗證時間較慢，因為以太坊區塊鏈最初并不是構建為zk兼容的。然而，類型2的zkEVMS速度會快一點點。

一些構建2型zkEVMs的項目包括Scroll和PolygonHermez。

2.5zkEVM類型

2.5型zkEVMs之所以如此命名，是因為它們與2型zkEVMs非常相似，只是它們改變了Gas成本。因此，2.5型zkEVMs有時被稱為evm等效，并調整了Gas成本。

優點

由于Gas成本降低，2.5型zkEVMs相當便宜。

缺點

由于鏈上的氣體成本會發生變化，因此存在與集成2.5型zkEVMs的軟件創建者可用的開發工具不兼容的風險，而且有可能破壞一些去中心化的應用程序。

3型zkEVM

3型zkEVMs不同于其他形式，因為在協議中對操作的調用次數有硬性限制。因此，這些類型的zkEVMs有時被稱為幾乎等同于evm。

優點

Type3zk-evm更容易構建，并且有改進證明時間的方法，因為它們通常消除了難以實現的特性。

缺點

大多數協議目前避免保持type3zkEVMs，直到它們能夠完全實現使其成為type2.5zkEVMs的特性。由于大多數應用程序都需要重寫，存在更高的不兼容性風險。

在它們的早期形式中，Scroll和Polygon被認為是Type3zkEVMs。

Type4zkEVM

Type4zkEVMs的實現是通過使用用高級語言(如Solidity和Vyper)編寫的智能合約代碼，并將代碼編譯為zk-SNARK友好型。因此，它們被稱為高級語言等效zkEVMs。

優點

類型4zkEVMs有非常快的證明時間。

缺點

在從solidity或vyper等高級語言編譯智能合約時，存在非常高的不兼容性風險。

來自Nethermind的ZKSync和Warp是構建和實現Type4zkEVM系統的項目。

結論：

自合并完成以來，我們看到了規模化解決方案的增長，以確保以太坊仍然是執行去中心化金融項目和其他去中心化應用程序的首選層。因此，我們認為這個主題對于web3的成功是至關重要的。然而，同樣重要的是要注意，這些解決方案中有幾個還處于試驗階段，這個領域正在發展當中，所以在做出任何投資決定之前還是要多學習和關注這個領域，以做出正確的判斷。

Tags：以太坊VMSROLLROL以太坊官網中文vms幣賣不出roll幣能出坐騎嗎

ICP