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

來源：pseudotheos.mirror.xyz

作者：Pseudotheos

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

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

觀點：FedNow或為美國CBDC所需的基礎設施奠定基礎:金色財經報道，Bianco Research總裁Jim Bianco表示，雖然美聯儲否認其新的即時支付服務FedNow與數字資產領域有任何聯系，但新系統可以為美國潛在的CBDC所需的基礎設施奠定基礎。Jim Bianco認為，這是一個支付系統，不是數字代幣或 CBDC，但它可以用來促進 CBDC 的創建。CoinRoutes 首席執行官兼聯合創始人Dave Weisberger表示，如果FedNow確實成為一個可編程的CBDC，那么從理論上講，它可以用來阻止政府不喜歡的項目，或者將那些對政府當局構成潛在威脅的參與者從金融系統中剔除。[2023/7/22 15:51:48]

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

孫宇晨據稱曾論過出售火必的股權:金色財經報道，市場消息：波場TRON創始人孫宇晨據稱曾論過出售火必（HUOBI GLOBAL）的股權。

知情人士透露，孫宇晨在過去幾周試探了潛在投資者的意見。目前尚不清楚孫宇晨為Huobi尋求怎樣的估值，或者所提供的股份有多大。談判還處于早期階段，尚不清楚是否有投資者會繼續推進。[2023/4/1 13:39:09]

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

Gemini CEO：債權人委員會已提出解決Genesis和DCG流動性問題的計劃:12月21日消息，Gemini總裁兼首席執行官Cameron Winklevoss發文表示，“Houlihan Lokey代表債權人委員會提出一項方案，以解決Genesis和DCG的流動性問題，并為資產回收提供途徑。該計劃基于迄今為止從Genesis、DCG及其各自顧問處收到的信息。債權人委員會預計本周會收到Genesis和DCG的初步答復”。[2022/12/21 21:58:12]

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

海南文昌首發問天系列數字藏品:金色財經消息，文昌國際航天城管理局7月20日介紹，在“問天”實驗艙發射之際，絲數零境、文昌市旅游和文化廣電體育局、文昌國際航天城管理局、海南銅鼓嶺景區聯合首發四款限量紀念版“問天系列”數字藏品，分別為“我的問天號”“問天夢圓”“銅鼓問天”“逐夢問天”，以此紀念“問天”航天發射這一震撼瞬間。（中國新聞網）[2022/7/21 2:26:55]

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

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

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

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

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

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

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

腳注

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

金色早8點

金色財經

Odaily星球日報

歐科云鏈

澎湃新聞

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

鏈得得

Tags：SOLDITSOLIDLIDsol幣下架BITCOIN ADDITIONALSOLID幣Validity

Bitcoin