買比特幣 買比特幣
Ctrl+D 買比特幣
ads

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

Author:

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

來源:pseudotheos.mirror.xyz

作者:Pseudotheos

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

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

NFT市場Zora推出協議獎勵,創作者與開發者可獲得鑄造費獎勵:8月4日消息,NFT市場Zora推出協議獎勵,創作者與開發者可在Zora上獲得鏈上獎勵,協議獎勵由鑄造費提供,該費用現在回自動分攤給創作者與開發者。即日起,發布免費鑄造項目與在Zora上開發的開發者將從每個鑄造項目中獲得部分費用。每次鑄造費仍為0.000777枚ETH,保證Zora的部分將大幅減少。其余部分將提供給創作者與開發者,用于新體驗與工具。[2023/8/4 16:18:00]

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

以太坊編程語言Vyper 0.2.15、0.2.16和0.3.0版本發生重入鎖故障:7月31日消息,以太坊編程語言Vyper發推稱,Vyper 0.2.15、0.2.16 和 0.3.0 版本受到重入鎖故障的影響,調查仍在進行中。[2023/7/31 16:08:10]

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

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

Cashfree推出提供卡代幣化互操作性的解決方案“Token Vault”:6月29日消息,支付提供商Cashfree Payments周三宣布其代幣化解決方案“Token Vault”將提供卡代幣化的互操作性。Token Vault的互操作性特性將幫助使用多個支付網關的企業通過其選擇的任何支付網關和卡網絡處理代幣化卡交易。

使用Cashfree支付網關的企業可以與Token Vault集成,以安全地代幣化所有主要卡網絡發行的卡,包括RuPay、Visa和萬事達卡。藉由此功能,企業將不再需要花費時間與多個代幣服務提供商集成來代幣化卡和執行交易。(The Economic Times)[2022/6/29 1:39:12]

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:SOLSOLIDLIDDITSolidexVSolidusLido Staked ETHXCredit

以太坊交易
區塊鏈:2023 反思以太坊:道阻且長 不容懈怠_比特幣

以下是本文作者DannyRyan的觀點和思考,不可避免地有短視和主觀的因素在。在合并之后,在我們展望未來的同時,我花了相當多的時間回顧過去五年.

1900/1/1 0:00:00
元宇宙:全國政協委員皮劍龍:加快網絡虛擬財產保護專門立法 保護民眾權益_虛擬資產交易平臺

21世紀經濟報道記者王俊實習生駱婷北京報道?2022年11月,國家發改委關于數字經濟發展情況的報告指出,十年來,我國數字經濟取得了舉世矚目的發展成就,總體規模連續多年位居世界第二.

1900/1/1 0:00:00
BASE:Coinbase 開發主管親述 Base 誕生的故事_BAS

圖片來源:由MazeAI生成北京時間2月23日晚間,Coinbase宣布將基于OPStack推出以太坊Layer2網絡Base,這是一個安全、低成本、開發者友好的以太坊Layer2.

1900/1/1 0:00:00
區塊鏈:錯過 BLUR 拍斷腿?沒必要_比特幣

撰文:Zeneca_33 編譯:DeFi之道 我最近的一條推文似乎引起了NFT社區很大一部分人的共鳴.

1900/1/1 0:00:00
SUP:SuperRare創始人:SuperRare的NFT版稅不會消失_SUPER

金色財經報道,SuperRare創始人JonathanPerkins在NFT巴黎會議期間表示,向創作者付費的決定早在五年前就已做出.

1900/1/1 0:00:00
BLU:撒錢盛宴后 Blur 精心挑起新一輪版稅大戰_BLUECHIPS

2月15日凌晨2點30分,「萬眾矚目」的NFT市場Blur在各大交易所上線了其原生代幣BLUR,并開放了空投領取。至此,這場開「盲盒」空投的活動也終于落地.

1900/1/1 0:00:00
ads