來源:pseudotheos.mirror.xyz
作者:Pseudotheos
以太坊虛擬機 (EVM) 是在以太坊區塊鏈上管理狀態和執行智能合約的虛擬機。zkEVMs 旨在通過零知識電路來證明 EVM 的執行,這個領域在過去的一年里已經有了顯著的增長并擴張為一個行業。在該領域涌現了許多不同的項目和社區,每個項目和社區都采取了自己獨特的方案來應對這兩種技術交叉帶來的挑戰和機遇。
對比不同 zkEVM 項目的一個維度是 EVM 的兼容程度。雖然 EVM 兼容是一個連續介質,但有兩種主要的方案:語言層面的兼容和字節碼層面的兼容。
去中心化交易平臺PancakeSwap已擴展至zkSync Era網絡:7月27日消息,去中心化交易平臺PancakeSwap已于周四擴展至zkSync Era網絡。此舉符合 PancakeSwap 擴大用戶群和??增加協議收入的計劃。PancakeSwap 推出后,將提供代幣互換和流動性配置功能,交易費用為交易價值的 0.01%。[2023/7/27 16:02:52]
要理解這些方案之間的區別,很重要的一點是了解 EVM 如何執行用 Solidity 或 Vyper 等高級語言編寫的代碼。
Nansen報告:FTX和Alameda持有的大量FTT從未進入流通市場,這也成為Alameda一大弱點:11月18日消息,據Nansen于11月17日發布的《鏈上分析:Alameda與FTX的崩塌》報告,FTX和Alameda從一開始就有著緊密的聯系。FTX的平臺幣FTT,從被創建的第一天起就涉及Alameda。兩者壟斷了FTT總供應量中的大部分代幣,這部分從未真正進入流通市場。Alameda、FTX的初步成功,以及FTT的快速上漲都很可能提升了Alameda資產負債表中的資產價值。其中的FTT頭寸很可能被Alameda用作抵押借款。如果借來的資金用于非流動性投資,FTT將成為Alameda的一大弱點。
隨著5月Terra/UST的崩潰,流動性緊缺接踵而至,許多債權人在3AC和Celsius崩潰后開始收回貸款。Alameda需要依然愿意用現有的抵押品發放貸款的資金來源,來提供流動資金。Alameda在FTX上存放了價值約30億美元的FTT,其中大部分一直保留到事件發生后。[2022/11/18 13:20:42]
為了使 EVM 能夠運行智能合約所指定的行為,有這樣一個過程:高級語言被編譯成字節碼,與 EVM 相連接。對于 Solidity,典型的流程如下:
對沖基金Two Sigma的交易數據系統Venn宣布與Coin Metrics達成合作:金色財經報道,對沖基金 Two Sigma 的交易數據系統 Venn 正在與向加密貨幣投資者提供情報的 Coin Metrics 合作,以幫助習慣于傳統資本市場的機構使加密市場基礎設施更加友好。
兩家公司周二表示,Venn 的投資評估、盡職調查和資產分配工作流程套件將與 Coin Metrics 的參考數據和指數組合相結合,以美元和歐元計算超過 475 種資產。[2022/9/20 7:09:05]
1. 首先,合約是用 Solidity 編程語言編寫的,并保存為一個 .sol 文件。這個文件包含合約的函數、變量和其他元素。Solidity 代碼通常使用集成開發環境 (IDE) 編寫,并遵循特定的語法和結構。
今日恐慌與貪婪指數為10,等級仍為極度恐慌:5月15日消息,今日恐慌與貪婪指數為9(昨日為10),恐慌程度較昨日上升,等級仍為極度恐慌。
注:恐慌指數閾值為0-100,包含指標:波動性(25%)+市場交易量(25%)+社交媒體熱度(15%)+市場調查(15%)+比特幣在整個市場中的比例(10%)+谷歌熱詞分析(10%)[2022/5/15 3:17:22]
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
鏈得得
撰寫:slappjakke.eth有些協議永遠不會停止擴展——從穩定幣交換開始,擴展到跨鏈橋,現在正在擴展成為第 2 層 Rollup 跨鏈的執行層.
1900/1/1 0:00:00文/Shervin,A&T Capital投資經理;譯/金色財經xiaozou Rollup技術概況 rollup通過垂直執行交易來增強可擴展性,從而減輕了L1帶來的瓶頸.
1900/1/1 0:00:00眾所周知,加密市場是由敘事推動的,人工智能 (AI) 是目前最火爆的話題。借著ChatGPT的熱度,推特上一些加密大V喊單稱,基于人工智能的代幣可能會引領下一個牛市周期.
1900/1/1 0:00:00前言 鄭志剛:作為一家未來引領AI行業發展的高科技公司,OpenAI究竟會采取什么樣的公司治理制度設計無疑引起了公司治理研究者們的極大好奇.
1900/1/1 0:00:00原文:《The State of Optimism》by Ben Giove,Bankless編譯:aididiaojp.eth,Foresight News截至今天.
1900/1/1 0:00:002月6日,路透社報道稱,谷歌母公司Alphabet宣布將推出名為“Bard”的AI(人工智能)聊天機器人服務以及更多的人工智能項目.
1900/1/1 0:00:00