概述
在web3.0世界中,交易的處理性能一直是公鏈面臨的一大技術挑戰,如何在不降低安全性和去中心化程度的前提下顯著地提升區塊鏈交易的TPS無疑成為眾多公鏈技術專家追逐的目標。以Solana、Aptos為代表的新一代公鏈的出現更是吹響了通過并行執行交易來攻克公鏈可擴展性瓶頸的號角。
以太坊虛擬機因其最早在區塊鏈中引入智能合約,不僅擁有最多的DApp開發者,更有眾多新生公鏈直接將EVM采用作為其智能合約交易執行引擎,其在web3.0中的受歡迎程度可見一斑,然而受限于順序執行,EVM無疑在擴展性方面廣受詬病。
是否也可以既做到對EVM的兼容,又可以通過并行執行交易來達到提升性能的目的呢?今天我們就來對這個話題做一些探討。
EVM交易執行機制
眾所周知,EVM中交易的執行實際上是狀態的轉換,交易執行前的狀態σt和交易transaction作為EVM的輸入,輸出為交易執行后的狀態σt+1:
觀點:Tether監管風險更低,USDT已成為業界最值得信賴的穩定幣:5月10日消息,隨著美國銀行業危機的擴大和監管機構對加密公司的打擊力度加深,加密領域的投資正轉向被認為相對安全的加密資產。Tether在穩定幣中表現最佳,自3月份以來,其市值飆升。AKJ全球經紀公司創始人、數字資產專家Anders Kvamme Jensen表示:“銀行業危機正在助長‘超比特化’——美元將變得毫無價值,這是不可避免的結局。”這促使人們紛紛轉向比特幣和以太坊等頂級加密貨幣。與此同時,像Tether(USDT)這樣的穩定幣,更多地被視為一種價值儲存手段,一種促進加密貨幣之間轉移的工具,也被視為衍生品交易的抵押品。數字資產數據提供商Kaiko的研究分析師Conor Ryder表示,Tether的溢價反映出人們對其錨定的信任,以及美國證券交易委員會(SEC)對其安全性的認知。[2023/5/10 14:54:08]
孫宇晨:下一個加密牛市取決于中國人,而不是美國人:金色財經報道,孫宇晨發推特表示,做一個不受歡迎的預測,下一個加密牛市取決于中國人,而不是美國人。[2022/12/7 21:28:21]
要說明的是,每個交易執行前的狀態σt和執行后的狀態σt+1都是‘世界狀態’,也就是整個賬本所有賬戶的實時狀態,這種賬戶模型在一定程度上方便了實際應用的開發,但由于每筆交易的執行都需要依賴一個確定的‘世界狀態’,這也給可擴展性帶來諸多限制。正是因為這一點,EVM-based鏈鮮有通過并行執行交易提升TPS的案例。
并行執行的挑戰
基于這種賬戶模型,想要通過并行執行重復利用節點的硬件資源提高網絡吞吐量是很困難的。
舉個簡單的例子:A轉賬給B的交易tx1和C轉賬給D的交易tx2在理論上是可以并行執行的,因為兩個交易沒有任何關聯,但如果將tx2調整為B轉賬給C情況會是怎么樣呢?假如最初B的余額是0,tx1中A轉給B5個Token,tx2中B轉給C3個Token,我們會發現,tx1沒有執行前tx2注定會失敗,因為B此時的狀態是余額不足。這種情況在鏈上被稱為’狀態沖突‘(Stateconflicts)。
美國SEC以保護投資者為由拒絕WisdomTree的現貨比特幣ETF申請:金色財經報道,Bitcoin Archive在社交媒體上稱,美國證券交易委員會(SEC)以保護投資者為由拒絕WisdomTree的現貨比特幣ETF。[2022/10/12 10:31:30]
當然,對于只做轉賬的交易,是可以通過靜態分析來確定交易彼此的依賴關系的,事實上,DApp開發者們經常通過復雜的智能合約邏輯在EVM虛擬機中實現某些特殊的業務需求,在一個智能合約交易中,EVM會根據合約的Code邏輯執行用戶千奇百怪的操作,這就不能通過簡單的對交易內容分析來確定交易間的依賴關系了。
可嘗試的改進
加密用戶:一YouTuber去年已約1162萬美元購買的一款NFT目前價值僅約6美元:金色財經報道,加密用戶CRONK在社交媒體上稱,YouTuber Logan Paul在2021年以11,623,000美元的價格購買了CryptoPunksREAL NFT。目前它的價值為6美元。
據悉,CryptoPunksREAL是以太坊區塊鏈上 10,000 個獨特 NFT 的集合。每個Punks都與以太坊聯合創始人 Vitalik Buterin 共享相同的 DNA,并具有其傳奇祖先CryptoPunks的屬性。[2022/10/11 10:30:22]
Solidity被稱為圖靈完備的智能合約語言,通過對交易指令集的靜態分析來確定交易依賴關系的可行性基本是不存在的,但這并不意味著我們只能按順序執行,我們可以從近期一些優秀的區塊鏈項目中得到更多啟發。
Qredo Network宣布集成BNB Chain:9月5日,據官方消息,Qredo Network宣布集成BNB Chain。Qredo用戶可以在Qredo Network上交易、轉移和托管BNB(BEP20)和BUSD(BEP20)。[2022/9/6 13:10:26]
樂觀執行是一種可嘗試的方案
既然不能事先分析交易的關聯關系,那我們是否可以先樂觀的將交易全部獨立執行,然后再事后分析呢?
Aptos項目的PE(parallelexecution)方案便是這種思路的代表,根據項目方公布的數據,在低關聯交易集合的場景,交易的執行效率最高可以是串行執行的16倍之多。
EVM中雖然沒有類似Block-STM的機制,但我們完全可以通過對區塊中交易的執行邏輯稍加優化就可以做到既和EVM保持兼容,又能支持將明顯無關的交易分成不同批次進行支持,即:
可以先根據交易發送方和接受方賬戶地址將交易依賴關系構建成可逐批執行的交易集合,樂觀的在不同的線程中獨立執行,等所有交易都被執行完以后,再將執行過程中使用的讀集和寫集做對比分析,檢查交易序號靠后的交易的讀集是否與交易序號靠前的所有交易寫集有交集,如果沒有,說明執行結果是正確的,否則意味著該交易需要依賴之前交易的最新狀態,需要根據前面交易的結果重新執行。
由用戶指定交易的讀寫集
普通的轉賬交易可以簡單的通過from和to確定交易彼此的依賴關系,而智能合約交易雖然在EVM執行它之前不能確定其對哪些賬戶有依賴,但發送交易的用戶多數情況下是可以確定交易的讀寫集的,而Sui項目正是將交易的依賴和結果完全交由用戶來指定并最終簽名確定,這將極大的簡化了分析交易關聯性的邏輯。
然而EVM現在并沒有這種機制,雖然Vitalik和Holiman提交的關于指定交易訪問lists的提案(EIPs/eip-2930.mdatmaster·ethereum/EIPs·GitHub)已經在以太坊上通過并實施,但該提案并沒有強制要求用戶必須指定所有的accesslists,如果要在EVM中實現用戶指定讀寫集,需要在以太坊提交新的EIP提案,除此之外,用戶確定讀寫集還需要SDK的支持。
通過DAG構建交易的依賴關系
對于單純的轉賬交易或是上面提到的由用戶指定了讀集的交易,是完全可以事先確定交易的依賴關系的,有向無環圖可以有效的解析這種依賴關系。
關于如何使用DAG分批并行執行交易的內容可以參見我們之前的技術文章。
一些要思考的問題
EVM架構適合并行執行嗎?
雖然并行執行可以做到有效利用硬件資源,提升鏈處理交易的能力,但正如我們在開頭提到的這絕不能以犧牲安全性和去中心化程度為代價,IlyaSergey就曾經在EVM技術架構基礎上對并行執行做過深入的研究,根據其研究的結論,對于非垃圾回收類語言,對象在內存中的重復聲明和使用過程必然會違反狀態完整性,這給形式化驗證智能合約帶來巨大的挑戰。這或許是EVM設計者在最初的設計中沒有考慮到的問題。
公鏈適合處理海量的交易嗎?
公鏈是公眾基礎設施,其用戶可以是任何人或團體,不可否認的是它處理能力越強越好,然而這并不意味著任何交易都需要上鏈,雖然gas機制可以減少垃圾數據上鏈的可能性,但隨著節點處理交易能力的提升,礦工為了增加收入必然會打包盡可能多的交易,這將必然使gas價格越來越低,鏈上將不可避免的充斥著大量垃圾數據,這將使賬本數據越來越膨脹,到難以維護的程度。
過度依賴硬件資源將使網絡去中心化程度降低
通過提升CPU核心數可以做到高交易處理性能,增加磁盤容量可以存儲更多數據,這將不斷提升節點的運行維護成本,最終導致的結果必然是只有少數人或團體有能力支付這些成本,不利于去中心化。
Tags:以太坊THEETHERETHE怎么得到以太坊幣的錢THEKEYtogetherbnb手游下載破解togetherbnb怎么喝醉
"大部分項目方都解釋不清楚Web3是啥,就不要互相為難了",近日某知名加密投資人在朋友圈發表了對尋求投資的Web3項目方進行吐槽.
1900/1/1 0:00:0011月8號晚上,我在香港落地,那會兒我已經讀到了推特上關于Alameda資產負債表的質疑的聲音,Coindesk的那篇報道進一步加劇了市場的擔憂情緒.
1900/1/1 0:00:002018年11月2日,Uniswap公開發布并部署到以太坊主網。在一個激動人心、令人緊張的時刻,我向我的大約200多名粉絲發布了公告推文。 對于許多人來說,這是他們第一次聽說這個項目.
1900/1/1 0:00:00概要 通過合并后6周的鏈上數據,我們可以查看真實的驗證者獎勵水平,其中包括執行層獎勵。執行層獎勵明顯低于合并前一年的水平。這很可能是市場環境的影響.
1900/1/1 0:00:00空投的邏輯 發幣之前,空投是項目方吸引用戶的籌碼。發幣時,是項目方“免費”打造的一場營銷。從目前較少的樣本數進行不嚴謹統計來看,大方的項目方往往自身實力背景強勁,空投后代幣的價格也多有不錯的表現.
1900/1/1 0:00:00近期,隨著zkSync2.0的推出,zk系擴容方案又迎來一波高潮。此外,在上個月波哥大Devcon之后,zkEVM領域又出現了許多“新”的聲音.
1900/1/1 0:00:00