作者:IttaiAbraham
翻譯&校對:ViloaH&阿劍
來源:以太坊愛好者
如果有人很直接地問你:怎樣才能拓展狀態機復制系統呢?
你應該反問:你系統遇到的瓶頸是什么?數據?共識?還是執行?
1、數據:數據是將所有指令傳輸給所有狀態機副本的載體。舉個例子,如果一個區塊包含1MB的指令,那么你就需要把1MB的數據發送給所有負責驗證的副本。顯然,這種情況下,系統的通道容量是系統可拓展的瓶頸。
2、共識:指令到達本地之后,狀態機們就會參與共識協議。舉個例子,如果一個共識協議需要兩次消息往返,而參與驗證的狀態機分布在全球各地,那么,這里明顯的瓶頸在——由光速和地球大小而導致的延遲。
3、執行:指令到達、共識在指令排序上達成共識后,副本需要執行指令。執行引擎是一個接受舊狀態并應用指令來計算新狀態的函數。又舉個例子,如果執行需要許多密碼學計算,那么很明顯啦,這里的瓶頸就是副本要重復執行的密碼學計算。
需要注意的是,這三個瓶頸不是追求一種折衷,也不是兩難的困境,也不是三難困境。它們是彼此獨立的。所有狀態機復制系統的可拓展能力都受到這三種因素的限制。本文將介紹一些解決這些瓶頸的方案。
Messari:預計CoinbaseQ2營收將下降9%至約6.7億美元:8月3日消息,Messari發布CoinbaseQ2營收預測報告。該報告預測稱,受現貨交易額下降36%的影響,2023年第二季度Coinbase的營收預計將下降9%至約6.7億美元。這一下降歸因于其戰略轉變,將重點放在利潤率上,而不是市場份額上。預計非交易收入將首次超過交易收入,這說明該公司成功地轉向更可持續的收入流。預計Coinbase的質押收入將增長13%,由于ETH平均價格上漲和其質押產品新增支持Polkadot。
此外,Coinbase托管收入預計將增長20%,抵消由于加密貨幣價格上漲而預計的5%-15%的資金流出。利息收入是Coinbase非交易收入的重要來源,由于USDC供應量大幅下降,預計該收入將下降19%。盡管較高的利率提高了USDC存款的收益率,但2023年3月的脫鉤事件對其市場認知產生了負面影響,導致資金大量流出。
Coinbase將在周四收盤后公布2023年第二季度財報。FactSet普遍預計,Coinbase的營收將從上一季度的7.73億美元降至6.29億美元。預計截至6月30日的當季交易額將從第一季度的1450億美元降至1140億美元。每股收益預計為虧損0.76美元,第一季度為虧損0.34美元。巴克萊分析師周二在一份報告中寫道,“我們預計其調整后的稅息折舊及攤銷前利潤(EBITDA)將遠超預期。”Berenberg分析師Mark Palmer還提醒來自USDC穩定幣的風險,該穩定幣第一季度產生1.99億美元利息收入,占Coinbase Q1凈收入的27%。[2023/8/3 16:14:45]
1.從數據上提高可拓展性
Compass Mining推出比特幣礦工保護計劃:金色財經報道,比特幣礦機和托管服務公司Compass Mining表示,它正在推出一個比特幣礦工保護計劃,以便客戶可以保護他們的比特幣礦機,新的“低成本”計劃可在發生火災、盜竊、政府行為和電氣損壞時提供保護。
Compass不擁有客戶的設施,而是充當客戶和設施所有者之間的經紀人,新推出的產品可供位于美國德克薩斯州、南卡羅來納州、內布拉斯加州和俄克拉荷馬州合作伙伴站點的客戶使用。在完成對核心客戶的初始部署后,Compass將把它擴展到其他站點。[2022/12/2 21:17:14]
更好的網絡解決方案
對比特幣等密碼學貨幣而言,擴展吞吐量的能力取決于減少延遲——因為某個礦工挖出的區塊需要經過一定的延遲才能傳播給所有其他礦工。像FIBRE、Falcon、bloXroute這些系統會通過使用專用通道來降低延遲,并使用前向糾錯碼來傳播區塊。提高數據可拓展性的另一個辦法是通過內容可尋址網址來發現對等節點并訪問內容。具體可參考Kademlia,它不僅啟發了以太坊的RLPx編碼規范,并在libp2p上得到了推廣。
把數據遷移到layer-2
另一種思路是,既然瓶頸源于需要復制所有指令到所有狀態機,那我不復制不就完啦!像Lightning、Plasma和其他Layer-2解決方方案都是如此——把中間命令傳播給一個較小的半公開團體以減少數據復制、定期向整個系統報告總結。自然而然地,這種方法的不足在于:不復制所有數據會造成數據的可用性問題。而安全性依賴于每個擁有數據的半公開團體內至少有一個誠實參與者能及時地作出反應。
去中心化預測平臺BetDEX宣布將為Solana生態活躍地址發放BETWC空投:11月24日消息,去中心化預測平臺 BetDEX 宣布將為 Solana 生態活躍地址發放 BETWC 空投。據悉,BETWC 可直接用于參與本次世界杯的結果預測活動,世界杯比賽結束后,獎金將以 1-1 的比例兌換為 USDT。[2022/11/24 8:02:24]
2.從共識上提高可拓展性
吞吐量和延遲之間的權衡
有人將每秒處理交易數作為衡量協議可拓展性的標準。TPS是對吞吐量的度量,人們存在一個誤解——以為對它單獨優化就可以實現共識可拓展性。共識可拓展性的解決方案必須同時關注吞吐量和確認時延這兩個因素。
通過成批處理來提高共識的吞吐量很簡單:只需要一天一次,而不用每隔幾秒一次,就可以讓人們就被批處理的所有數據的哈希值達成共識。顯然,由于一天只達成一次共識,成本會被分攤,僅就吞吐量而言,共識過程就不再是阻礙實現拓展性的瓶頸了。顯然,批處理雖然能提高共識協議的吞吐量,但也會提高交易確認的時延,并不是什么擴展共識協議性能的萬靈丹。
PBFTjournalversion一文充分地討論了BFT狀態機復制的延遲和吞吐量。
日本信用卡發行商JCB擬于今年進行引入CBDC的實證實驗:10月24日消息,據外媒報道,日本信用卡發行商JCB計劃于今年內進行引入CBDC的實證實驗,擬通過準備一種模擬CBDC的數字貨幣,以確認是否可以利用現有的信用卡來安全地進行結算。JCB擁有獨立的國際結算網絡,擁有3900萬商戶。如果證實CBDC可以在現有的基礎設施中使用,那么實際引入時就有可能以較低的成本做出響應,從而增加其優勢。
報道稱,日本央行尚未決定是否發行CBDC,但正在進行實證實驗。日本央行在今年春天開始的CBDC實證實驗的“第二階段”中,將確認是否可實現CBDC離線支付功能和持有金額上限等功能,其還設想了通過企業流通CBDC的機制。可以說,JCB的實驗與日本央行的行動步調一致。(日經新聞)[2022/10/24 16:36:47]
對基于NakamotoConsensus的協議而言,有很多協議都試圖增加吞吐量及時延,如:Bitcoin-NG、Fruitchains和Prism。
性能和安全性之間的權衡
有人建議在更小的狀態機副本小組內達成共識,以優化共識過程的性能。降低驗證狀態機小組的規模的確可以提高性能,但這是以降低降低安全性為代價的。所以,真正的挑戰在于不減少參與狀態機的數量同時提高共識過程的性能。
數據:以太坊域名服務ENS主域名注冊量突破41萬:金色財經報道,據Dune Analytics最新數據顯示,以太坊域名服務ENS主域名注冊量已突破41萬,截至目前為410,470個,創歷史新高。此外,ENS參與地址總數量為575,859個,迄今已創立的ENS域名總量達到2,653,382個。[2022/10/6 18:40:30]
提高共識協議的復雜性有望魚和熊掌兼得,例如:減少輪數,或者說改變消息傳遞的復雜度,使呈平方級增長的消息數量可以變為線性增長。本文討論了一些部分同步中的協議改進和同步中的協議改進。
可拓展性和適應性之間的權衡
基于PBFT視圖范式的共識協議容易受到攻擊者的適應性攻擊。共識協議的安全性不僅和攻擊者的規模相關,而且和對手的適應性能力相關。
處理適應性對手的協議通常會導致更高的成本,也會在可拓展性上遇到更大的難題。Algorand建議用基于輪次的密碼抽樣來拓展拜占庭共識,使其免受適應性攻擊者的攻擊。這種方法的模擬結果看起來很不錯。適應性對手可以使用拒絕服務攻擊來阻止系統推進。HoneyBadger提出了第一個實用的異步BFT協議——該協議在不做任何時序假設的情況下,也能保證活性。
避免對所有命令進行全排序
如果所有指令都相互依賴,那么除了對所有指令進行全排序外,別無他選。但是在許多工作負載中,指令不會彼此依賴和彼此干擾。舉個例子,在某些情況下,A給B支付的指令和C給D支付的指令就不會相互干擾;在這種情況下,我們沒有必要浪費昂貴的共識資源為這兩筆指令進行內部排序,沒有理由讓它成為系統的瓶頸。在epaxos非拜占庭模型中就采用了這種辦法。像Avalanche和其他基于DAG的協議,會通過允許并發提交互不干擾的指令來增加共識的吞吐量。
分片
抽象一點來看,分片是對狀態和狀態機副本集合進行分區。每一分片控制狀態的某個部分,且共識過程是由驗證狀態機總體的某個部分來完成的。這當然也需要一些跨分片交互機制。以太坊的“ShardingFAQ”資源正是一個很全面的資源。
分片是并行化處理數據、共識和執行這三大瓶頸的方法。實現數據和執行并行化的關鍵在于工作負載的低狀態競用。從共識的角度來看,分片本質上就是在性能和安全之間取舍:不是用所有狀態機副本去保障一個狀態,分片技術創建了多個分區,每個驗證者副本會各自保護它們自己的分區。
劃分許多分區會顯著地提高性能。但是,因為每一分區的驗證狀態機都變得更少,安全性自然就降低了。
想了解使用分片技術,請參閱Omniledger和Ethereum2.0。以太坊2.0計劃將每個分區的低安全性和全局鏈的高安全性結合起來。就像Layer-2方案一樣,低安全性的分片可以定期上傳自己的狀態到高安全性的全局鏈上,并將狀態更新確定下來。這也是在安全性和延遲之間取舍——想獲得高安全性,就得等待全局鏈的周期性敲定。
3.從執行上提高可拓展性
共識和執行的分離是狀態機復制系統的基本架構設計之一。分離的好處可參見Yinetal2003。在傳統的狀態機復制系統中,命令不僅要復制并傳播到所有副本,還得在所有副本上執行。
在很多系統中,可拓展性的瓶頸是執行指令的成本。對SMR系統的一種主要拒絕服務攻擊工段是發出合法的命令,讓整個系統浪費時間在執行上。很多系統通過設計領域專用語言來避免攻擊。比特幣用比特幣腳本,小心翼翼地限制每筆交易的計算復雜性。以太坊用gas機制來限制執行的復雜性,并用效率來激勵人們對Gas的使用。
并行化執行
讓狀態機并行化執行也是一種提高執行能力的方法。當在區塊中的大部分命令無狀態競用的情況下,這個方法是有效的。它的主要思想是設想一種在無競用的條件下并行執行、在有競用時維護安全性的協議,用該協議模擬出連續執行的結果。詳情請參看Eve2012、Dickerson、Gazzillo、Herlihy、Koskinen2017和Saraph和Herlihy2019。
不在SMR內執行,使用經濟激勵和錯誤性證明來驗證
在這類解決方案中,指令作為數據提交到SMR內,但是執行不是由驗證狀態機副本完成的。狀態機副本僅充當數據可用性層。
不用副本來執行指令,而用經濟激勵機制——玩家可以通過發布債券來成為執行者。鎖定了保證金的執行者都可以提交執行結果,而其他人可以通過提交錯誤性證明來舉報執行人提交了不正確的執行結果。如果這份錯誤性證明是正確的,執行者將受到懲罰,而提交者將得到部分獎勵。如果挑戰者在錯誤性證明上說謊,那他的保證金就會大幅罰沒。
實現高效挑戰的協議起源于FeigeKilian2000,而Canetti,Riva,Rothblum2011沿著這條道路推進,最終演化成采用鏈上激勵的TrueBitTeutsch,Reitwie?ner2017和Buterin’sOff-ChainOracles。如今,這種方法在名為optimisticrollups的方案中中得到進一步發揚。
不在SMR內執行、用簡潔的證明來驗證
在本方案中,指令同樣作為數據提交到SMR中,執行同樣不關驗證狀態機副本的事。副本只是作為指令的數據可用性層。
不同于用挑戰游戲和錯誤性證明來驗證執行結果,利用簡潔的非交互式證明也是可以的。這些密碼學技術允許驗證者生成非常短的證明,同時對這些證明的驗證在密碼學上具有高度的可靠性和完整性。執行只能由同一實體完成。有了簡潔證明后,驗證狀態機副本只需要驗證簡潔證明,而不需要重新執行長交易。Zexe用這個方法來建構了基于nano-kernel的證明系統,人們因此可以在UTXO中實現隱私交易。
Buterin論述zk-roll-up的文章和Ben-Sasson的podcast強調了這種拓展交易處理量的方法。詳情請查看Buterin的視頻,進一步去了解如何將隱私添加到簡潔的證明中中。
這種簡潔的證明有很多好處:驗證證據正確性的成本非常低。而短處在于構造指令執行的證明通常比單單去執行指令的成本要高得多。還有一個壞處在于這些協議增加了大量的復雜性。此外,某些協議還需要繁復的受信任初始設置儀式。
需要注意的是,以上介紹的方法意在克服執行可拓展性的瓶頸,而不在改變數據可拓展性的瓶頸。
感謝
我們想借此機會感謝LingRen、KartikNayak、AlinTomescu、PratyushMishra、LouisGuthmann和JohnAdler。感謝他們給本文提供了富有教益的反饋。
Tags:COIOINCOINBASCMLCOIN幣FYDcoinReality Clash CoinCoinbase Wrapped Staked ETH
作者:鄧建鵬作者電郵:djp@pku.org.cn自國務院同意海南省建設為自貿港以來,海南在政策優惠方面被給予厚望.
1900/1/1 0:00:00文丨互鏈脈搏研究院 未經授權,不得轉載! 12月14日,在2019IN-CHAIN全球區塊鏈峰會上,由工信部電子第五研究所指導.
1900/1/1 0:00:00作者:RyanSeanAdams 譯者:鏈向Allen DeFi,去中心化金融體系。DeFi概念近兩年來尤其是今年上半年尤為火熱,其主要特點為免許可、抗審查、信任最小化,然其本身仍存在應用場景單.
1900/1/1 0:00:00前言 Bulletproofs,又一個有意思的零知識證明算法,相信讀者已經很熟悉它了。和zk-snark相比,它不需要可信設置;和zk-stark算法相比,它具有較小的proofsize.
1900/1/1 0:00:00作者:劉宇陽 來源:BBTFintech圈子繼10月區塊鏈行業發展引起廣泛重視后,近日,滬、深兩大交易所首只區塊鏈指數正式發布.
1900/1/1 0:00:00MakerFoundation在其治理門戶網站上增加了一項新的民意調查,旨在向其協議中引入一種24小時治理延遲提案,此前一位社區成員發現了一個漏洞.
1900/1/1 0:00:00