干貨 | 從三個瓶頸出發解決區塊鏈可拓展性問題_ING

作者:IttaiAbraham

翻譯&校對:ViloaH&阿劍

來源：以太坊愛好者

如果有人很直接地問你：怎樣才能拓展狀態機復制系統呢？

你應該反問：你系統遇到的瓶頸是什么？數據？共識？還是執行？

1、數據：數據是將所有指令傳輸給所有狀態機副本的載體。舉個例子，如果一個區塊包含1MB的指令，那么你就需要把1MB的數據發送給所有負責驗證的副本。顯然，這種情況下，系統的通道容量是系統可拓展的瓶頸。

2、共識：指令到達本地之后，狀態機們就會參與共識協議。舉個例子，如果一個共識協議需要兩次消息往返，而參與驗證的狀態機分布在全球各地，那么，這里明顯的瓶頸在——由光速和地球大小而導致的延遲。

3、執行：指令到達、共識在指令排序上達成共識后，副本需要執行指令。執行引擎是一個接受舊狀態并應用指令來計算新狀態的函數。又舉個例子，如果執行需要許多密碼學計算，那么很明顯啦，這里的瓶頸就是副本要重復執行的密碼學計算。

需要注意的是，這三個瓶頸不是追求一種折衷，也不是兩難的困境，也不是三難困境。它們是彼此獨立的。所有狀態機復制系統的可拓展能力都受到這三種因素的限制。本文將介紹一些解決這些瓶頸的方案。

Alameda Research 前聯席首席執行官：2022年3月FTX.com的現金赤字已超100億美元:7月21日消息，據最新的法庭文件顯示，從FTX.com交易所成立之初，FTX就將客戶存款和公司資金混在一起，并肆意濫用。到2022年8月，Bankman-Fried、Wang、Singh和Ellison私下估計，FTX.com交易所欠客戶的法定貨幣超過80億美元，但無法償還。為了掩蓋虧空，SBF等人在FTX.com上創建了一個虛假的客戶賬戶，他們稱之為我們韓國朋友的賬戶。盡管媒體關注的焦點是SBF在2022年8月對韓國朋友虛假賬戶所反映的89億美元現金負債的估算，但SBF等人的估算甚至更高。譬如，2022年3月，AlamedaResearch前聯席首席執行官CarolineEllison在私人筆記中估計，僅FTX.com的現金赤字就超過100億美元。[2023/7/21 11:08:36]

1.從數據上提高可拓展性

更好的網絡解決方案

對比特幣等密碼學貨幣而言，擴展吞吐量的能力取決于減少延遲——因為某個礦工挖出的區塊需要經過一定的延遲才能傳播給所有其他礦工。像FIBRE、Falcon、bloXroute這些系統會通過使用專用通道來降低延遲，并使用前向糾錯碼來傳播區塊。提高數據可拓展性的另一個辦法是通過內容可尋址網址來發現對等節點并訪問內容。具體可參考Kademlia，它不僅啟發了以太坊的RLPx編碼規范，并在libp2p上得到了推廣。

CoinSwitch Ventures的Web3基金對12家創企投資2500萬美元:5月30日消息，印度加密交易平臺 CoinSwitch 風險投資部門 CoinSwitch Ventures 通過旗下 Web3 Discovery Fund 基金對 12 家創企投資 2500 萬美元，其中包括 PYOR、Silence Labs、AirStack、Mohash、Shield、PolyTrade、BitsCrunch 和 PlayZap 等，主要覆蓋區塊鏈基礎設施、區塊鏈分析和現實世界資產代幣化等領域。

此前于 2022 年 8 月份報道，CoinSwitch 宣布推出 Web3 投資基金 Web3 Discovery Fund，規模為 1000 萬美元，旨在投資和孵化 100 多家 Web3 領域的早期初創公司。該基金投資者合作伙伴包括 Tiger Global、Sequoia Capital、Coinbase Ventures、Ribbit Capital 等。[2023/5/30 11:48:37]

把數據遷移到layer-2

另一種思路是，既然瓶頸源于需要復制所有指令到所有狀態機，那我不復制不就完啦！像Lightning、Plasma和其他Layer-2解決方方案都是如此——把中間命令傳播給一個較小的半公開團體以減少數據復制、定期向整個系統報告總結。自然而然地，這種方法的不足在于：不復制所有數據會造成數據的可用性問題。而安全性依賴于每個擁有數據的半公開團體內至少有一個誠實參與者能及時地作出反應。

NFT項目和平臺業務服務提供商Fingerlabs完成新一輪融資:金色財經報道，總部位于新加坡的NFT項目和平臺業務服務提供商Fingerlabs宣布完成新一輪融資，VMade Play和一批來自游戲和元宇宙領域的風險投資公司參投，新資金將支持FingerLabs的NFT項目和平臺業務拓展，該公司目前正在推出和運營“Sunmia Club”、“Happier Town”、“Smile Mia Club”和“Anipang Supporter Club”等NFT項目。FingerLabs旗下還經營 NFT市場“EXCLUSIVE”和NFT錢包“FAVORLET”。（cryptosaurus）[2023/4/11 13:55:20]

2.從共識上提高可拓展性

吞吐量和延遲之間的權衡

有人將每秒處理交易數作為衡量協議可拓展性的標準。TPS是對吞吐量的度量，人們存在一個誤解——以為對它單獨優化就可以實現共識可拓展性。共識可拓展性的解決方案必須同時關注吞吐量和確認時延這兩個因素。

通過成批處理來提高共識的吞吐量很簡單：只需要一天一次，而不用每隔幾秒一次，就可以讓人們就被批處理的所有數據的哈希值達成共識。顯然，由于一天只達成一次共識，成本會被分攤，僅就吞吐量而言，共識過程就不再是阻礙實現拓展性的瓶頸了。顯然，批處理雖然能提高共識協議的吞吐量，但也會提高交易確認的時延，并不是什么擴展共識協議性能的萬靈丹。

Sui Network發布0.28新版本文檔，包括引入可編程新型交易等:3月7日消息，公鏈Sui Network發布下一個版本0.28的文檔。具體功能更改將包括推出取代批次處理交易和普通交易的可編程新型交易、從20字節調整到32字節（在十六進制中，從40增加到64）、更改Gas預算以使用SUI而不是Gas單位等。[2023/3/7 12:46:47]

PBFTjournalversion一文充分地討論了BFT狀態機復制的延遲和吞吐量。

對基于NakamotoConsensus的協議而言，有很多協議都試圖增加吞吐量及時延，如：Bitcoin-NG、Fruitchains和Prism。

性能和安全性之間的權衡

有人建議在更小的狀態機副本小組內達成共識，以優化共識過程的性能。降低驗證狀態機小組的規模的確可以提高性能，但這是以降低降低安全性為代價的。所以，真正的挑戰在于不減少參與狀態機的數量同時提高共識過程的性能。

提高共識協議的復雜性有望魚和熊掌兼得，例如：減少輪數，或者說改變消息傳遞的復雜度，使呈平方級增長的消息數量可以變為線性增長。本文討論了一些部分同步中的協議改進和同步中的協議改進。

可拓展性和適應性之間的權衡

加密對沖基金Smrti Lab推出規模為9000萬美元的新基金:7月29日消息，加密對沖基金 Smrti Lab 已經推出了一個規模為 9000 萬美元的新基金，主要用于投資比特幣和以太坊。該基金聯合創始人 Wang Bowen 表示，新基金沒有規模上限或投資期限，并計劃從包括大型金融機構在內的外部投資者那里籌集更多資金。

據悉，Smrti Lab 于 2021 年從真格基金創始人徐小平的家族辦公室分拆出來，目前累計資管規模為 1.45 億美元，支持者包括天使投資人王剛、策源創投聯合創始人馮波、渶策資本創始合伙人甘劍平等。（The Information）[2022/7/30 2:46:55]

基于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：INGGERITCNFTlingose幣行情ChangerZeitcoinNFTI幣

Gateio