從合約部署的角度區分不同的 zkEVM_DIT

來源：pseudotheos.mirror.xyz

作者：Pseudotheos

以太坊虛擬機(EVM)是在以太坊區塊鏈上管理狀態和執行智能合約的虛擬機。zkEVMs旨在通過零知識電路來證明EVM的執行，這個領域在過去的一年里已經有了顯著的增長并擴張為一個行業。在該領域涌現了許多不同的項目和社區，每個項目和社區都采取了自己獨特的方案來應對這兩種技術交叉帶來的挑戰和機遇。

對比不同zkEVM項目的一個維度是EVM的兼容程度。雖然EVM兼容是一個連續介質，但有兩種主要的方案：語言層面的兼容和字節碼層面的兼容。

烏克蘭因加密貨幣賄賂丑聞解雇征兵辦公室負責人:金色財經報道，總統弗拉基米爾·澤倫斯基解雇了幾名地區征兵辦公室負責人，因為他們參與了賄賂、非法斂財和偷渡出境等腐敗活動。有報道稱，這些官員收受了加密貨幣賄賂。反腐行動開展以來，已立案偵查112起，查處犯罪嫌疑人33名。澤倫斯基重申了他對根除政府腐敗、提高透明度和問責制的承諾。該倡議旨在遏制腐敗并提高該國的國際聲譽。[2023/8/13 16:23:05]

要理解這些方案之間的區別，很重要的一點是了解EVM如何執行用Solidity或Vyper等高級語言編寫的代碼。

汽車品牌日產申請4個新的Web3商標，并在元宇宙中試銷:3月13日消息，日本汽車品牌日產近日在美國提交了四個與Web3相關的新商標，而其日本子公司正在元宇宙中試驗汽車銷售。

根據日產3月7日向美國專利商標局(USPTO)提交的商標申請，新申請涵蓋了其英菲尼迪（INFINITI）、Nismo和日產品牌，范圍涵蓋虛擬服+汽車、虛擬商品商店+NFT、NFT市場+交易+鑄造、元宇宙廣告服務等。

上周，3月8日，日產日本公司宣布將對其虛擬商店“日產Hype實驗室”進行為期三個月的“示范實驗”，以在元宇宙中“研究、咨詢、試駕和購買日產汽車”。 該實驗將于6月30日截止。顧客可以通過個人電腦或智能手機“一天24小時”訪問虛擬店面。客戶可以創建自己定制的虛擬形象，在特定的時間內，甚至可以與虛擬銷售人員互動。根據公告，客戶可以通過虛擬銷售辦公室訂購汽車并敲定購買合同。（Cointelegraph）[2023/3/13 13:00:14]

為了使EVM能夠運行智能合約所指定的行為，有這樣一個過程：高級語言被編譯成字節碼，與EVM相連接。對于Solidity，典型的流程如下：

金融技術公司Party Round更名為Capital:10月8日消息，金融技術公司Party Round宣布更名為Capital，主要提供針對創始人構建的產品，包括融資、（持有）管理資產、支出和匯款等業務，其中融資業務允許創始人使用加密貨幣或者法定貨幣來使用使用標準的Y Combinator SAFE籌集資金，一旦資金匯入，創始人可以使用Capital創建一個商業支票賬戶，獲得一張借記卡并進行付款。

此前消息，去年11月份，Party Round完成700萬美元融資，Seven Seven Six等參投。[2022/10/8 12:49:45]

1.首先，合約是用Solidity編程語言編寫的，并保存為一個.sol文件。這個文件包含合約的函數、變量和其他元素。Solidity代碼通常使用集成開發環境(IDE)編寫，并遵循特定的語法和結構。

2.接下來，使用Solidity編譯器將.sol文件編譯成字節碼。字節碼是一種有效存儲的、機器可讀的操作碼表示，可以在EVM上執行。操作碼是EVM能夠直接解釋和執行的低層級指令。編譯過程包括幾個步驟，如語法檢查、類型檢查和優化，以確保字節碼的正確和有效的。

3.一旦合約被編譯成字節碼，它就可以被部署到以太坊。這通常涉及到向交易池發送一個帶有合約字節碼的交易。該交易最終被納入以太坊區塊，然后合約被創建。

4.合約部署后，它可以與以太坊上的其他合約和用戶進行互動。

上述流程描述了合約如何被部署到以太坊。部署到zkEVM的流程將根據它是字節碼層面兼容的還是語言層面兼容的而有所不同。

執行和證明具有與EVM相同的字節碼的zkEVM被稱為“字節碼層面兼容”。在字節碼兼容的zkEVM中，除了合約部署地方的不同，對開發者的體驗沒有任何改變。這種zkEVM上可以使用同樣的Solidity代碼、編譯器和字節碼。開發者可以繼續使用他們往常使用的編程語言和工具，同時還可以利用零知識電路的可擴展性和加密安全性。這類zkEVM需要能夠通過處理相同的低層級操作碼和復制相同的結果來復制EVM的行為。這涉及到將操作碼映射到自定義的ZK電路上。從工程的角度來看，這種映射是具有挑戰性的，而且操作碼的映射導致更龐大的電路和更高的證明生成成本。然而，它最終會給開發者帶來更簡單的體驗。

語言層級兼容性是指zkEVM與高級代碼(如Solidity)一起運行的能力。開發者仍然可以用Solidity或其他高級語言編寫代碼，但這種高級代碼必須被編譯成與EVM不同的字節碼。這需要一個特定于部署合約的zkEVM網絡的編譯步驟。非EVM的字節碼可以被設計為更加電路友好，從而使證明生成更高效。

感謝閱讀!在Twitter上關注@pseudotheos以獲得未來文章的通知。本文基于CCBY-SA版權類型。

腳注

:Solidity首先被編譯成一種中間語言，稱為Yul，然后再編譯成字節碼。

Tags：SOLLIDDITSOLIDsolana幣怎么挖礦BolideYFI CREDITS GROUPSOLID價格

以太坊價格