買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 非小號 > Info

以太坊:從合約部署的角度區分不同的 zkEVM_ALETH

Author:

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

來源:pseudotheos.mirror.xyz

作者:Pseudotheos

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

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

俄羅斯央行公布數字盧布標志和傭金費率:金色財經報道,俄羅斯央行正在開發的央行數字貨幣項目現已獲得官方標志。 俄羅斯央行還公布了傭金費率,到2025年才會收費。

除了徽標之外,俄羅斯央行還展示了其 CBDC 不同類型操作的傭金費用。到2024年底,所有服務都將免費,但從2025年開始,B2B交易將收取每筆15盧布(0.16美元)的費用,而個人在向商業賬戶轉賬時將支付交易總額的0.3%,在支付公務員服務費時將支付0.2%。[2023/8/4 16:18:39]

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

安全團隊:Midas Capital攻擊者將400枚BNB存入Tornado Cash:6月18日消息,據CertiK Alert監測,Midas Capital攻擊者將盜取資金存入Tornado Cash,共有400枚BNB被存入該平臺,其他一些收益被橋接至以太坊。

今日早些時候消息,據派盾檢測,Midas Capital遭到黑客攻擊,造成損失超過60萬美元,原因是其借貸協議中的整數取舍問題(源自知名的Compound Finance v2代碼庫的分叉)遭到利用,同樣的情況在之前Hundred Finance被攻擊的事件中也被利用過。[2023/6/18 21:44:55]

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

Quasar預計于2022年底在Cosmos主網上線:10月10日消息,DeFi項目Quasar聯合創始人Valentin Pletnev表示,如果一切按計劃進行,Quasar將于2022年底在Cosmos主網上線,為新手提供參與DeFi投資的機會。

據此前報道,Quasar Finance完成600萬美元融資,Polychain Capital、Blockchain Capital、Figment Capital、Lightshift Capital和Galileo等參投。Quasar Finance旨在DeFi生態系統中創建一系列可訪問的結構化投資產品,投資者和流動性提供者都可以從中受益。(CoinDesk)[2022/10/11 10:30:15]

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

ETC Cooperative致寶二爺公開信:放棄ETH PoW分叉,礦工應該轉移到ETC:8月9日消息,ETC Cooperative在致寶二爺的公開信中表示,其認為以太坊POW分叉不會成功,甚至會是一件非常困難的事情。此次硬分叉不像ETH/ETC分裂的時候那樣簡單,那時只要繼續挖礦和繼續運行相同的客戶端軟件,而此次測試網分叉的代碼中的每一個都需要刪除POS轉換邏輯,禁用難度炸彈,同時更新鏈ID以提供保護。挖礦軟件也可能需要分叉/更新。這將需要與錢包供應商合作,以同意支持 ETHW;并將需要與交易所合作,同意支持ETHW。此外,ETC Cooperative認為,離合并只有幾個星期了。現在做任何事情都太晚了。在ETH/ETC分裂的時候,沒有DeFi或穩定幣,所以沒有什么真正的破壞。現在,ETH上的大部分價值是以代幣形式存在的,而不僅僅是原生的以太坊。因此,PoW新鏈對現有的ETH用戶來說毫無意義。大項目很可能會明確選擇關閉他們在PoW新鏈上的智能合約——以避免用戶的混亂和損失。這是一個巨大的、艱巨的協調任務,而合并尚且只有幾周的時間,如今的繁榮在Pow新鏈上大概率不會重現。

ETC Cooperative呼吁,還有時間來取消這個分叉,它的存在只會造成更多的混亂,并且在最初的拉盤后將不可避免地失敗,因為它將沒有任何用戶。ETC Cooperative稱,正如Barry Silbert(DCG首席執行官)所說,“除ETC外,我們完全支持ETH PoS,并且不會支持任何ETH PoW分叉。ETH礦工應該轉移到ETC,以使他們的收入長期最大化”。

據悉,中國加密礦工Chandler Guo(寶二爺)表示將分叉以太坊區塊鏈并將新網絡稱為“ETH POW”后,分叉的想法在過去兩周內獲得了關注。[2022/8/9 12:12:14]

2. 接下來,使用 Solidity 編譯器將 .sol 文件編譯成字節碼。字節碼是一種有效存儲的、機器可讀的操作碼表示,可以在 EVM 上執行。操作碼 是 EVM 能夠直接解釋和執行的低層級指令。編譯過程包括幾個步驟,如語法檢查、類型檢查和優化,以確保字節碼的正確和有效的。

3. 一旦合約被編譯成字節碼,它就可以被部署到以太坊。這通常涉及到向交易池發送一個帶有合約字節碼的交易。該交易最終被納入以太坊區塊,然后合約被創建。

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

鏈得得

Tags:SOLETHETC以太坊sol幣價格蜜蜂查ALETHetc幣官方最新消息以太坊幣最新價格行情分析

非小號
WEB3:Web3與AI時代 如何創造“不可被替代”的價值?_WEB

原文:The Most ‘Humane’ Values: How to Create irreplaceable Value in the Age of Web 3.

1900/1/1 0:00:00
OPEN:Dragonfly Capital 研究員:NFT 交易正趨向同質化 通往高效的道路仍然漫長_Huobi Polkadot

作者:Dragonfly Capital 研究員 Celia Wan 來源:Medium 編譯:DeFi之道 對于幾乎任何非同質化的資產類別,賣家都是價格的制定者.

1900/1/1 0:00:00
NFT:比特幣「新文化運動」:NFT 正增加網絡用例、為礦工創收_比特幣

圖片來源:由 Maze AI 生成過去兩周,一個名為 Ordinals 的 NFT 協議在比特幣網絡備受關注.

1900/1/1 0:00:00
NFT:Bankless:垃圾信息 or 礦工的希望?比特幣 NFT 有未來嗎?_lbank交易平臺

作者:Bankless 比特幣是一種數字貨幣,大多數情況下僅用作交易。這種情況在很大程度上源于比特幣開發在最初設計上就是保守和狹窄的。為什么呢?為了全力以赴地優化抗審查、去中心化貨幣的地位.

1900/1/1 0:00:00
USH:金色Web3.0日報 | NFT清洗交易占去年總交易量的35%_USHI

DeFi數據 1、DeFi代幣總市值:490.6億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量36.

1900/1/1 0:00:00
區塊鏈:盤點 ZKP 主流實現方案技術特點_ARK

在研究區塊鏈系統的工作原理時,我們需要了解各種各樣密碼學知識,比如 secp256k1,它是一種曲線和非對稱簽名算法,在比特幣和以太坊系統中用于簽名和驗證賬號.

1900/1/1 0:00:00
ads