加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

從合約部署的角度區分不同的 zkEVM_SOL:SOLID

Author:

Time:1900/1/1 0:00:00

來源:pseudotheos.mirror.xyz

作者:Pseudotheos

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

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

FTX對其倒閉前與之有聯系的公司提起訴訟,并要求被告賠償7億美元:金色財經報道,FTX已向美國特拉華州破產法院對其倒閉前與之有聯系的一些投資公司提起訴訟,該訴訟于6月22日提起,包含16項罪名,并要求被告賠償7億多美元。該訴訟文件將孵化器和投資公司K5 Global、Mount Olympus Capital和SGN Albany Capital以及附屬公司和K5 Global共同所有者Michael Kives和Bryan Baum列為被告。訴訟稱,FTX倒閉前其附屬公司Alameda Research向Kives、Baum和K5 Global轉移了7億美元。[2023/6/23 21:55:37]

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

比特幣閃電網絡一周新增超2500個節點,創歷史新高:金色財經報道,數據顯示比特幣閃電網絡在過去一周內新增超過2500個節點,創歷史新高。另據1ml數據顯示,當前比特幣閃電網絡節點總數達到16,379個,網絡容量總計5375.50 BTC。此前消息,加密貨幣交易所幣安在比特幣提款受阻后曾表示將努力啟用BTC閃電網絡提款。(cryptoslate)[2023/5/10 14:55:25]

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

Bitcoin Archive:貝萊德將在比特幣領域制造一場 \"需求沖擊\":金色財經消息,Bitcoin Archive發推特稱,貝萊德將在比特幣領域中制造一場 \"需求沖擊\"。

此前報道,貝萊德推出私人信托,為美國機構客戶提供現貨比特幣風險敞口。[2022/8/15 12:25:27]

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:SOLDITLIDSOLIDSOLVE幣RADDIT幣SolidexSOLID幣

酷幣交易所
Coinbase:我們為什么要構建 Base?_BAS:TrustBase

來源:Coinbase 編譯:比推BitpushNewsMaryLiu今天,我們很高興地宣布推出Base的測試網,這是一個以太坊第2層(L2)網絡.

1900/1/1 0:00:00
詳解“超級鏈”概念:Base只是Optimism的小“野心”_IMI:OPT

來自mirror,原文作者:0xfF5A?雖然區塊鏈行業發展已十年有余,但如果以太坊要與Web2巨頭相抗衡,并在軟件領域占據一片天地,就需要達到互聯網級別的規模.

1900/1/1 0:00:00
業務作假、套現1億美金 美SEC文件曝光 Terra 背后更多欺詐細節_TER:TERRAFORM

穩定幣TerraUSD的崩潰抹去了超過400億美元的市值,從此引發了加密行業的一連串破產沖擊波.

1900/1/1 0:00:00
誰還記得元宇宙?_元宇宙:BCHAT

兩天前,手握5000萬美元的美團聯合創始人王慧文在社交App即刻上發布“AI英雄榜”,為自己新成立的公司——北京光年之外科技有限公司廣招頂級研發人才,組隊擁抱新時代.

1900/1/1 0:00:00
金色觀察 | Bankless:ZK領域的最新發展動態_ROL:TROLLBNB幣

文/WilliamM.Peaster,Bankless作者;譯/金色財經xiaozou就區塊鏈而言,我們認為以太坊的初始階段是單體架構.

1900/1/1 0:00:00
即將迎來升級的 Optimism 還有哪些催化劑值得關注?_TIM:Timicoin

撰寫:TheDeFiInvestor編譯:深潮TechFlow隨著許多看漲的催化劑的出現,是時候探索Optimism生態系統了.

1900/1/1 0:00:00
ads