來源:pseudotheos.mirror.xyz
作者:Pseudotheos
以太坊虛擬機(EVM)是在以太坊區塊鏈上管理狀態和執行智能合約的虛擬機。zkEVMs旨在通過零知識電路來證明EVM的執行,這個領域在過去的一年里已經有了顯著的增長并擴張為一個行業。在該領域涌現了許多不同的項目和社區,每個項目和社區都采取了自己獨特的方案來應對這兩種技術交叉帶來的挑戰和機遇。
對比不同zkEVM項目的一個維度是EVM的兼容程度。雖然EVM兼容是一個連續介質,但有兩種主要的方案:語言層面的兼容和字節碼層面的兼容。
Juggernaut 對JGN開啟新一輪回購計劃:據官方消息,1月14日Juggernaut 公開宣布,正在對jgn進行新一輪的回購計劃。將嶄新的自己迎接新的一年。當前JGN已經獲得高盛集團(CA)、AVAX亞洲基金(AVATAR)、幣安 “種子基金”、軟銀集團(UK)、LD Capital等多家機構戰略投資。[2023/1/15 11:12:41]
要理解這些方案之間的區別,很重要的一點是了解EVM如何執行用Solidity或Vyper等高級語言編寫的代碼。
為了使EVM能夠運行智能合約所指定的行為,有這樣一個過程:高級語言被編譯成字節碼,與EVM相連接。對于Solidity,典型的流程如下:
Circle被質疑存在擠兌風險:6月30日消息,交易員@CryptoInsider發推表示Cricle存在擠兌風險。CryptoInsider稱,Circle向其USDC儲備存款合作銀行Signature和Silvergate支付高于現金存款的利息,每年大約是5%,這是Circle持續虧錢的原因,到2022年Q1,Circle虧損5億美元,預計2022年總計將虧損15億美元。[2022/6/30 1:41:47]
1.首先,合約是用Solidity編程語言編寫的,并保存為一個.sol文件。這個文件包含合約的函數、變量和其他元素。Solidity代碼通常使用集成開發環境(IDE)編寫,并遵循特定的語法和結構。
Bitcoin-thematic ETF在意大利證券交易平臺Borsa Italiana上市:6月7日消息,意大利證券交易平臺 Borsa Italiana 今日上線法國資產管理公司 Melanion Capital 的Bitcoin-thematic ETF,為意大利儲戶、機構和養老金規劃者提供比特幣的投資敞口。
Melanion Capital 董事總經理 Cyril Sabbagh 表示,Melanion BTC Equities Universe UCITS ETF 是圍繞加密生態系統中股票的股票類 ETF。(Cointelegraph)[2022/6/7 4:08:41]
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,然后再編譯成字節碼。
作者:FrogsAnon 編譯:DeFi之道 毫無疑問,自Compound在2020年啟動DeFi夏季以來,DeFi已經取得了長足的進步.
1900/1/1 0:00:00圖片來源:由MazeAI生成北京時間2月23日晚間,Coinbase宣布將基于OPStack推出以太坊Layer2網絡Base,這是一個安全、低成本、開發者友好的以太坊Layer2.
1900/1/1 0:00:00Meta在“下一代互聯網”的豪賭中沒有得到回報,而微軟已經解散了其工業元宇宙核心團隊,騰訊也不再計劃制造硬件.
1900/1/1 0:00:00圖片來源:由MazeAI生成過去兩周,一個名為Ordinals的NFT協議在比特幣網絡備受關注.
1900/1/1 0:00:00作者:TheBlock研究主管@Lars對于加密行業而言,早春二月是一個好壞參半的月份,一方面穩定幣BUSD遭受沖擊,另一方面NFT市場則引領了加密市場的回暖.
1900/1/1 0:00:00在2022年,Web3行業因智能合約漏洞、橋接黑客攻擊、網絡釣魚等安全問題所造成的損失創歷史新高.
1900/1/1 0:00:00