來源:pseudotheos.mirror.xyz
作者:Pseudotheos
以太坊虛擬機 (EVM) 是在以太坊區塊鏈上管理狀態和執行智能合約的虛擬機。zkEVMs 旨在通過零知識電路來證明 EVM 的執行,這個領域在過去的一年里已經有了顯著的增長并擴張為一個行業。在該領域涌現了許多不同的項目和社區,每個項目和社區都采取了自己獨特的方案來應對這兩種技術交叉帶來的挑戰和機遇。
對比不同 zkEVM 項目的一個維度是 EVM 的兼容程度。雖然 EVM 兼容是一個連續介質,但有兩種主要的方案:語言層面的兼容和字節碼層面的兼容。
DefiLlama推出加密日歷,可跟蹤重要的加密貨幣和宏觀事件:6月20日消息,DefiLlama推出加密貨幣日歷功能,可跟蹤重要的加密貨幣和宏觀事件。[2023/6/20 21:48:38]
要理解這些方案之間的區別,很重要的一點是了解 EVM 如何執行用 Solidity 或 Vyper 等高級語言編寫的代碼。
為了使 EVM 能夠運行智能合約所指定的行為,有這樣一個過程:高級語言被編譯成字節碼,與 EVM 相連接。對于 Solidity,典型的流程如下:
1. 首先,合約是用 Solidity 編程語言編寫的,并保存為一個 .sol 文件。這個文件包含合約的函數、變量和其他元素。Solidity 代碼通常使用集成開發環境 (IDE) 編寫,并遵循特定的語法和結構。
安全團隊:某假冒Loyalty Labs認領網站與網絡釣魚地址關聯:金色財經報道,據CertiK監測,一個假冒的Loyalty Labs認領網站正在推特上推廣。請勿與其互動,該網站會連接到已知的網絡釣魚地址。[2023/5/28 9:47:28]
2. 接下來,使用 Solidity 編譯器將 .sol 文件編譯成字節碼。字節碼是一種有效存儲的、機器可讀的操作碼表示,可以在 EVM 上執行。操作碼 是 EVM 能夠直接解釋和執行的低層級指令。編譯過程包括幾個步驟,如語法檢查、類型檢查和優化,以確保字節碼的正確和有效的。
歐元區主要國家官員:數字歐元必須具有隱私性、環保性:金色財經報道,一份由歐元區主要國家的官員撰寫的文件顯示,數字歐元應該保護人們的隱私,對環境友好,并且可能會受到持有上限的限制。該文件說,數字歐元不應取代現金,應該補充私營部門的支付手段,如商業銀行發行的數字貨幣。該文件補充說:“數字歐元需要考慮到金融隱私。一般而言,付款人和收款人的身份不得向中央銀行或未參與交易的第三方中介機構披露,除非根據歐盟法律。”
此外,這些官員似乎同意歐洲央行執行委員會成員Fabio Panetta的建議,即可以通過降低利率或硬性上限來限制人們持有CBDC,以阻止資金從傳統銀行系統中流走。(CoinDesk)[2022/9/16 6:59:42]
3. 一旦合約被編譯成字節碼,它就可以被部署到以太坊。這通常涉及到向交易池發送一個帶有合約字節碼的交易。該交易最終被納入以太坊區塊,然后合約被創建。
調查:消費者對NFT投資的評價下降:金色財經報道,Variety雜志7月份的一項調查發現,消費者對NFT的評價有所下降,尤其是在那些尚未購買的人中。大多數非所有者認為NFT是一項糟糕的投資,只有15%的人認為他們是一項好的投資。然而,對于那些擁有NFT的人來說,他們對NFT的看法截然不同。三分之二的人認為這是一項很好的投資,只有5%的人認為這是一項糟糕的投資。但鑒于目前只有13%的受訪者擁有NFT,非所有者的觀點可能會對市場的未來產生更重大的影響。(ledgerinsights)[2022/8/5 12:05:07]
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
鏈得得
1.去中心化社交協議 Nostr 安卓版 Amethyst 使用教程今天,Twitter 前首席執行官 Jack Dorsey 發推稱.
1900/1/1 0:00:00原文標題:Crypto's Banking Problem: Industry Needs Access but US Regulators Keep Digital Assets at.
1900/1/1 0:00:00原文:The Most ‘Humane’ Values: How to Create irreplaceable Value in the Age of Web 3.
1900/1/1 0:00:00在Vitalik的文章及Ethereum社區提出的一些Roadmap中,對于ETH2.0之后的規劃,都有提到一個核心觀點——中心化出塊、去中心化驗證.
1900/1/1 0:00:00▌ Coinbase將于3月4日暫時下線,屆時將無法交易和轉賬金色財經報道,Coinbase發布公告稱,由于系統將進行升級,將于太平洋時間3月4日上午9點暫時下線.
1900/1/1 0:00:00在這次數字資產的大崩盤中,華爾街各家銀行和普通投資者的命運截然不同。編者按:圍繞比特幣和其他數字貨幣的泡沫近期迅速消散,大量的個人投資者正在受到嚴重的沖擊,然而華爾街各家銀行的處境卻均相對較好.
1900/1/1 0:00:00