來源:pseudotheos.mirror.xyz
作者:Pseudotheos
以太坊虛擬機(EVM)是在以太坊區塊鏈上管理狀態和執行智能合約的虛擬機。zkEVMs旨在通過零知識電路來證明EVM的執行,這個領域在過去的一年里已經有了顯著的增長并擴張為一個行業。在該領域涌現了許多不同的項目和社區,每個項目和社區都采取了自己獨特的方案來應對這兩種技術交叉帶來的挑戰和機遇。
對比不同zkEVM項目的一個維度是EVM的兼容程度。雖然EVM兼容是一個連續介質,但有兩種主要的方案:語言層面的兼容和字節碼層面的兼容。
0x882E開頭巨鯨地址從Binance轉出7000枚ETH:7月13日消息,據Lookonchain監測,0x882E開頭巨鯨地址于2小時前從Binance轉出7,000枚ETH(約合1320萬美元)。自6月8日以來,該鯨魚已從Binance中累計提出了57,100枚ETH(約合1.08億美元),隨后將36,640枚ETH(約合6,900萬美元)進行質押。[2023/7/13 10:53:05]
要理解這些方案之間的區別,很重要的一點是了解EVM如何執行用Solidity或Vyper等高級語言編寫的代碼。
Way Network已完成IMTP開發,可為Web3應用提供廣義跨鏈通信:1月20日消息,基于零知識證明的全鏈互操作協議Way Network已完成子協議IMTP的開發。Way Network除了能做zkBridge用于資產跨鏈之外,還能為Web3應用提供安全而快速的廣義跨鏈通信。
Way的子協議Interchain Message Transmission Protocol (IMTP)是一種由zkSpark進行證明的鏈間信息傳輸方案,用于為DeFi dApp提供鏈上倉位預警、消息通知,為社交dApp提供鏈上Direct Message,為鏈上郵箱或鏈上簽字dApp提供低延遲通信。[2023/1/20 11:22:43]
為了使EVM能夠運行智能合約所指定的行為,有這樣一個過程:高級語言被編譯成字節碼,與EVM相連接。對于Solidity,典型的流程如下:
CFTC主席:將增加資源并加大力度處理與加密貨幣相關的欺詐和操縱案件:金色財經報道,美國商品期貨交易委員會 (CFTC)主席 Rostin Behnam 周三表示,商品期貨交易委員會 (CFTC) 將增加資源并加大力度處理與加密貨幣相關的欺詐和操縱案件。在 Chainalysis Links會議的視頻評論中,Behnam表示, CFTC正面臨著數量激增的此類案件,由于協議漏洞、網絡釣魚攻擊、掠奪易受傷害的人以及其他欺詐和操縱計劃而導致數千萬美元數字資產損失的頭條新聞已經變得非常普遍。
去年,該機構提起了 23 起與加密貨幣相關的案件,占自 2015 年以來涉及數字資產的執法行動總數的近一半。(Coindesk)[2022/5/19 3:26:38]
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,然后再編譯成字節碼。
金色財經報道,在加密貨幣交易所巨頭Binance日益重要的推動下,TrueUSD(TUSD)穩定幣已成為按市值計算的第五大穩定幣.
1900/1/1 0:00:00Blur上出價平均偏離地板價0.72%,頭部項目出價多高于地板價,熱門項目相反。過去,較大的交易市場如OpenSea、LooksRare、X2Y2等交易市場主要采用的是類似訂單薄的模式,這使得流.
1900/1/1 0:00:00作者:Ignas,DeFi研究員編譯:0x11,ForesightNews隨著監管機構打擊BUSD,DeFi穩定幣將迎來新的發展契機.
1900/1/1 0:00:00撰文:Zeneca_33 編譯:DeFi之道 我最近的一條推文似乎引起了NFT社區很大一部分人的共鳴.
1900/1/1 0:00:00撰文:Jason,PuzzleVentures來源:PuzzleVenturesWeb3流量入口的一些思考時至今日.
1900/1/1 0:00:00撰文:vitalikbuterin 編譯:DeFi之道 2013年,我去了舊金山互聯網檔案館旁的一家壽司店,因為聽說那里接受比特幣支付,我就想去試試。到了付賬的時候,我要求用BTC付款.
1900/1/1 0:00:00