概述
zk-Rollup是一種非常便宜且安全的以太坊二層擴展解決方案。然而,現有的zk-Rollup只限于特定應用程序使用,這使得開發人員在zk-Rollup中構建通用的可組合DApp和遷移現有應用程序變得困難。我們通過引入zkEVM生成zk證明用于EVM驗證來構建完全兼容EVM的zk-Rollup,任何以太坊應用程序都可以輕松遷移到該zk-Rollup。
本文介紹zkEVM的設計挑戰以及可行性,并提出了從零開始構建zkEVM的詳細方案。
背景
zk-Rollup是公認的以太坊最佳擴容解決方案。不僅具有以太坊Layer1的安全性,并且與所有其他Layer2解決方案相比,交易速度最快。
從中長期來看,隨著ZK-SNARK技術的改進,ZKrollups將在所有用例中勝出。—VitalikButerin
zk-Rollup的基本理念是將大量交易聚合到一個Rollup塊中,并為鏈下的塊生成簡潔的證明。然后Layer1上的智能合約只需要驗證zk-Rollup的證明并直接更新狀態,無需重新執行那些交易。證明驗證狀態比重新執行計算的gas費用便宜很多,另外數據壓縮利于降低gas費用,這樣的交易流程節省一個數量級的gas費用。
盡管zk-Rollup安全高效,但很難構建通用DApp,其應用仍僅限于支付和互換,主要是以下兩個原因:
首先,在zk-Rollup中開發DApp需要使用特殊的編程語言來編寫智能合約的邏輯。該編程語言的語法復雜,而且要求開發者精通零知識證明。
其次,當前的zk-Rollup不支持可組合性。這意味著多個的zk-Rollup應用程序不能在Layer2內相互交互,極大地降低了DeFi應用程序的可組合性。
分析師:投資者的投資組合都應該包括股票、黃金、現金以及BTC和ETH:金色財經報道,著名交易員和市場分析師 Michael van de Poppe 在推特上發布了一份資產清單,每個投資者的投資組合都應該包括這些資產,以便為不可預見的市場逆風做好準備。
其中包括房地產和股票、黃金、白銀和鈾等商品、現金以及BTC?和ETH等加密貨幣。這位市場專家還強調了投資者在一致的基礎上定期重新平衡其投資組合的重要性,以確保為任何市場情況做好準備。[2023/5/24 15:21:56]
簡而言之,目前zk-Rollup對開發人員不友好并且功能有限。我們希望解決這些問題,通過直接支持原生EVM驗證,為開發人員提供快速開發體驗,支持Layer2內應用程序的可組合性,以便現有的以太坊應用程序可以輕松遷移到zk-Rollup上。
在zk-Rollup中構建通用DApp
在zk-Rollup中有兩種構建通用DApp的方法。
為不同的DApp構建專用電路為智能合約執行構建一個通用的“EVM”編碼“電路”是指零知識證明中使用的程序表示方法。例如,如果要證明hash(x)=y,則需要使用ASIC電路重新編寫散列函數。電路只支持非常有限的計算表達式和乘法)。因此,開發人員使用電路語言編寫程序的過程非常困難,必須使用add和mul構建所有程序邏輯。
第一種方法要求開發人員為不同的DApp設計專門的“ASIC”電路,這需要使用零知識證明最原始的方式。通過設計定制電路減少每個DApp的成本。然而,由于電路是“靜態的”,不能為應用提供可組合性,并且需要專業的電路設計知識,因此開發體驗很糟糕。
第二種方法不需要任何特殊的設計或電路專業知識。這種基于機器證明的高級思想讓任何程序可以在CPU上運行,因此開發者只需要構建一個通用的CPU電路來驗證底層步驟。然后使用這個CPU電路來驗證程序的執行。在此場景中,程序指的是智能合約,CPU則是EVM。但是,由于成本過高,過去幾年并沒有普遍采用這種方法。例如,即使開發者只想增加一個驗證步驟,就需要承擔整個EVM電路的成本。如果執行跟蹤中有數千個步驟,那么EVM電路成本將是1000倍。
Polygon聯合創始人推出web3創業加速器Beacon:金色財經報道,Polygon和Symbolic Capital聯合創始人Sandeep Nailwal推出了一個 web3 創業加速器。Nailwal表示,已有 15 家初創公司獲得了 Beacon 的資助。他拒絕透露這些初創公司的名稱,稱它們將在 1 月份公布。[2022/12/21 21:57:08]
最近,有很多研究在按照這兩種方法優化zk證明,包括:
提議新的零知識證明友好型語言Poseidonhash,其在電路中的效率是SHA256的100倍
通用可驗證虛擬機,如TinyRAM
)越來越多的通用優化技巧,如Plookup,以及運行速度更快的密碼學庫。
我們之前建議為每個DApp設計“ASIC”電路,通過驗證密碼進行通信。但是,根據社區的反饋,我們改變了優先級,將重點關注在第二種方法,優先構建通用EVM電路。zkEVM將支持與Layer1完全相同的開發體驗。我們不會將底層設計的復雜性留給開發人員,而是通過定制的EVM電路設計來解決效率問題。
zkEVM的設計挑戰
zkEVM很難構建,與TinyRAM不同,zkEVM的設計和實現更具挑戰性,原因如下:
首先,EVM對橢圓曲線的支持有限。目前,EVM僅支持BN254配對,不直接支持循環橢圓曲線,因此很難進行遞歸證明。其他專用協議在此限制下也很難使用,除非是EVM兼容的驗證算法。
其次,EVM字長為256位。EVM在256位整數上運行,而zk證明在素數字段上工作。在電路內部進行“不匹配場算術”需要范圍證明,這將在每個EVM步驟中增加大概100個約束,導致EVM電路尺寸擴大兩個數量級。
第三,EVM有很多特殊的操作碼。EVM與傳統VM不同的是有許多特殊的操作碼,例如CALL,還有執行上下文和gas相關的錯誤類型。這將給電路設計帶來新的挑戰。
三箭資本的TPS Capital仍在運行,但所有權復雜可能會挫敗債權人的收債努力:金色財經消息,消息人士稱,隨著三箭資本在市場壓力下倒閉,其鮮為人知的交易平臺TPS Capital仍然活躍。但復雜的所有權結構可能會挫敗債權人的收債努力。
三箭資本利用其管理的數百億美元資產投資新項目并占據大量市場頭寸,同時還經營著TPS Capital場外交易平臺。
據亞洲數字資產行業的消息人士稱,TPS Capital繼續進行交易,盡管其母公司在英屬維爾京群島面臨清算和在新加坡的調查。
根據公司文件,TPS Capital擁有不同的所有權結構和隱藏的董事。(CoinDesk)[2022/7/3 1:47:16]
第四,EVM是基于堆棧的虛擬機。SyncVM(zksync)和Cario(starkware)架構在基于寄存器的模型,并定義了特定的IR/AIR。需要專門的編譯器將智能合約代碼編譯成新的zk友好的IR。這種方法是語言兼容而不是原生EVM兼容,基于堆棧的模型和直接支持原生工具鏈更難實現。
第五,以太坊存儲布局的成本太大。以太坊存儲布局高度依賴Keccak和MPT,它們都不是zk友好類型,并且會產生高昂的成本。例如,Keccak哈希的電路大小是Poseidonhash的1000倍。但是,如果將Keccak替換為另一個哈希,則會對現有的以太坊基礎設施造成一些兼容性問題。
第六,基于機器的證明有高昂的成本。即使能夠妥善處理上述所有問題,仍然需要找到一種有效的方法將它們組合在一起以獲得完整的EVM電路。正如我在上一節中提到的,簡單的操作碼add可能會導致整個EVM電路的成本。
為什么zkEVM有可能實現?
感謝研究人員在這方面取得的巨大進步,近兩年來解決的效率問題越來越多,證明了zkEVM的可行性!主要的技術進步來自以下幾個方面:
加密貨幣交易所Bitpanda解雇了數百名員工:6月25日消息,加密貨幣交易所Bitpanda解雇了數百名員工,Bitpanda稱,裁員與市場情緒低迷有關。(金十)[2022/6/25 1:30:10]
多項式承諾的使用。在過去的幾年里,大多數零知識證明協議都在使用R1CS,PCP查詢被編碼到了特定于應用的受信任起步設置中。。這種情況通常會使電路會超出負載,并且無法進行自定義優化,因為每個約束的程度需要為2僅允許指數中的一次乘法)。開發者使用多項式承諾方案可以通過通用設置或者透明設置將約束提升到任何程度,大幅提高后端的選擇的靈活性。
數據表查詢參數和自定義小工具。優化數據表查詢參數首先由Arya中提出,然后在Plookup中進行優化。這可以為zk不友好的編程語句省略很多按位運算。定制小工具可以讓開發者高效地進行高度約束。TurboPlonk和UltraPlonk定義了優雅的語法,以便開發者更輕松地使用查詢數據表和自定義小工具。這對于減少EVM電路的成本非常有幫助。
遞歸證明的可行性越來越高。在過去遞歸證明依賴于特殊的循環橢圓曲線,需要大量的成本。目前更多的技術在不犧牲效率的前提下改變這種依賴情況。例如,Halo可以配對友好橢圓曲線,并使用特殊的內積參數來分攤遞歸成本。Aztec表明可以直接對現有協議進行聚合證明。這種方法可以極大地提高電路負載量的可擴展性。
硬件加速更加高效。我們制造了GPU和ASIC/FPGA加速器,并且關于ASIC證明者的論文已經被最大的計算機會議接受。GPU證明器比Filecoin的實現快大約5到10倍。這將大幅提高證明器的計算效率。
zkEVM是如何工作的,如何建造它呢?
除了強大的直覺和技術改進之外,我們還需要更清楚地知道我們需要證明什么,并制定出更具體的架構。我們將在后續文章中介紹更多技術細節和比較。在這里,我們描述了總體工作流程和一些關鍵思想。
Game Stop NFT市場呼吁游戲工作室和發行商申請1億美元IMX資助計劃:5月28日消息,電子游戲及相關產品零售商Game Stop(游戲驛站)的Game Stop NFT市場呼吁游戲工作室和發行商申請1億美元IMX資助計劃。此前,GameStop宣布與Immutable X建立合作關系,Immutable X還承諾提供1億美元的贈款。[2022/5/28 3:47:11]
開發人員和用戶的工作流程
開發人員可以使用任何與EVM兼容的語言來運行智能合約,并將編譯后的字節碼部署在Scroll上。然后,用戶可以發送交易與智能合約進行交互。用戶和開發者的體驗將與Layer1完全相同。但是,gas費用顯著降低,并且在Scroll上的交易訂單即時預先確認。
zkEVM的工作流程
即使Layer1和Layer2表面上的工作流程沒有太多差別,但二者的底層處理過程完全不同:Layer1依賴于智能合約的重新執行;Layer2依賴于zkEVM電路的有效性證明。
讓我們更詳細地解釋Layer1和Layer2交易的情況有何不同。
在Layer1,智能合約的字節碼存儲在以太坊存儲中,交易將在P2P網絡中廣播。對于每個事務,每個全節點都需要加載相應的字節碼并在EVM上執行以達到相同的狀態。
Layer2的智能合約字節碼也以相同的方式進行操作,但后續步驟是交易將在鏈下發送到一個集中的zkEVM節點。然后,zkEVM執行字節碼并生成一個簡潔的證明,以證明在應用交易后狀態已正確更新。最后,Layer1合約將驗證證明并更新狀態,而無需重新執行交易。
讓我們深入了解一下執行過程,看看zkEVM最終需要證明什么。在原生執行中,EVM首先加載字節碼,然后從頭開始逐個執行字節碼中的操作碼,對每個操作碼執行以下三個子步驟:
從堆棧、內存或存儲中讀取元素
對這些元素執行一些計算
將結果寫回堆棧、內存或存儲。例如,add操作碼需要從堆棧中讀取兩個元素,將它們相加并將結果寫回堆棧。
所以zkEVM的證明需要包含與執行過程相對應的以下幾個方面:
字節碼從存儲中正確加載字節碼中的操作碼逐個執行每個操作碼都正確執行?
zkEVM設計亮點
在設計zkEVM的架構時,我們需要處理/解決上述三個問題。
第一,為密碼驗證器設計一個電路。這部分就像一個“可驗證的存儲”,我們通過使用密碼驗證器這種技術手段來保證驗證結果的正確性。以默克爾樹為例,部署的字節碼將作為葉節點存儲在Merkle樹中。然后驗證者可以使用簡潔的證明來驗證從給定地址加載的字節碼。對于以太坊存儲,則需要電路兼容MerklePatriciaTrie和Keccak哈希函數。
第二,設計一個電路來將字節碼與真實的執行產生關聯。將字節碼轉移到靜態電路中會帶來一個問題:像jump這樣的條件式操作碼可能會跳轉到任何地方。在某個人使用特定輸入運行該字節碼之前,跳轉目的地都是不確定的。這就是為什么我們需要驗證實際的執行蹤跡。執行蹤跡可以被認為是“展開的字節碼”,包含按實際執行順序排列的操作碼。
證明者將直接提供執行蹤跡作為電路的見證數據。我們需要證明該執行追蹤是通過特定字節碼使用特定的輸入“展開”的工作,目的是強制讓程序計數器的值保持一致。針對目的地不確定的問題,解決思路是讓證明者提供一切數據。然后通過查找參數高效地檢查一致性。
第三,為每個操作碼設計電路。這是最重要的部分,證明執行跟蹤中的每個操作碼都是正確且一致的。如果將所有東西直接放在一起,將會帶來高昂的成本。這里的優化方案是:
1)我們將讀寫和計算分成兩個證明。一個證明會將所有操作碼用到的元素都放到“總線”中,另一個證明會證明對“總線”上元素的計算是正確執行的。這會大幅降低每個部分的成本。前者被稱為“狀態證明”,后者被稱為“EVM證明”。另一個發現是,查找聲明可以有效處理“總線映射”。
2)我們可以為每個操作碼設計度數更高的定制化約束。我們可以選擇是否根據需求通過一個選擇符多項式來“打開”一個約束。這樣可以避免每個操作都要消耗整個EVM電路的成本。
這個架構最初由以太坊基金會提出,依然處于早期階段,正在積極開發中。我們正在與以太坊基金會進行密切合作,旨在找到最佳方式實現該EVM電路。迄今為止,我們已經定義了EVM電路最重要的特點,并實現了一些操作碼。更詳細的內容將在后續文章中介紹。我們推薦感興趣的讀者閱讀這篇文檔。開發流程將是透明化的。這將是集整個社區之力的完全開源的設計。希望會有更多人加入進來,貢獻出一份力量。
zkEVM還能帶來什么?
zkEVM遠不僅僅是Layer2擴容。我們可以將它理解為通過Layer1有效性證明擴展以太坊Layer1的直接方式。這意味著不需要任何特殊的Layer2就可以擴展現有的Layer1。
例如開發者可以將zkEVM當作全節點來使用,該證明可以用來直接證明現有狀態之間的轉換。所有Layer1交易無需將任何東西遷移到Layer2上,你可以直接證明!更寬泛地來說,你可以使用zkEVM為整個以太坊生成簡潔證明,就像Mina那樣。唯一需要增加的東西是證明遞歸。
結論
zkEVM可以為開發者和用戶提供相同的體驗。在不犧牲安全性的情況下,它的價格要便宜幾個數量級。已經提出了以模塊化方式構建它的架構。它利用最近在零知識證明方面的突破來減少成本。我們期待看到更多的人加入zkEVM社區,與我們一起集思廣益!
備注:
:?Starkware于2021年9月1日的公告中聲明已實現可組合性。
:電路是固定且靜態的。例如,在將一個程序實現為電路時,你無法使用可變上限循環。上限必須固定為最大值。電路無法處理動態邏輯。
:為便于讀者理解,我們在這里詳細說明EVM電路的成本。正如前文所言,電路是固定且靜態的。因此,EVM電路需要包含所有可能的邏輯。這就意味著,即使你只想證明add,你依然需要負擔該EVM電路中可能包含的所有邏輯的成本。也就是說,成本被放大了10000倍。在執行追蹤中,你需要證明一連串操作碼,而且每個操作碼都會帶來高昂的成本。
:EVM本身并沒有與默克爾-帕特里夏樹緊密綁定。目前,MPT僅用于存儲以太坊狀態。要換一個很容易。
:這是經過高度簡化的抽象概念。從技術上來說,“EVM狀態”的名單更長,包括程序計數器、gas余量、調用棧、一組日志和交易范圍變量。我們可以另外引入針對不同調用環境的標識符來直接支持可組合性。
:由于存儲量很大,我們使用累加器進行存儲。內存和堆棧可以使用可編輯的Plookup。
:將一個完整的遞歸證明添加進zkEVM電路并非易事。實現遞歸的最好方式還是使用循環橢圓曲線。我們需要引入某種“包裝”過程讓遞歸在以太坊Layer1上可驗證。
點擊上方“藍色字”可關注我們!暴走時評:Gucci在Web3方面的參與已經達到一個小高潮,該品牌宣布在部分特定商店接受12種加密貨幣為支付選項,并計劃在未來實現更廣泛的推廣.
1900/1/1 0:00:00早在90年代,加密專家NickSzabo就創造了術語「智能合約」。在一篇1997年發表的論文中,他寫道,智能合約「將協議與用戶界面結合,使計算機網絡中的關系更正式與安全」.
1900/1/1 0:00:005月18日晚,借貸協議Aave團隊開發的Web3社交協議LensProtocol在Polygon上線,此前簽署過公開信的用戶可以mint自己的ProfileNFT.
1900/1/1 0:00:00現在討論Terra的崩盤似乎已經過了時效性。當第一個多米諾骨牌倒下時的短暫震驚之后,人們的目光都會去追逐后續的一系列反應.
1900/1/1 0:00:00這些年來,我一直躬耕于空投領域,早在2021年10月,我就發布了有關$HOP、$ENS、$PSP和$COW的空投交互推文。現在,我準備匯集目前我已知的所有空投,供大家參考.
1900/1/1 0:00:00HeroofSparta,以用戶體驗為核心,基于幣安智能鏈底層公鏈創建,充分利用BSC相對于以太坊的區塊時間與gaslimits的優勢進行快速、低成本的交易,并可訪問包裹代幣和流動性的深度網絡.
1900/1/1 0:00:00