比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

從三個瓶頸出發解決區塊鏈可拓展性問題_COI

Author:

Time:1900/1/1 0:00:00

編者按:本文來自以太坊愛好者,作者:IttaiAbraham,翻譯&校對:ViloaH&阿劍,Odaily星球日報經授權轉載。如果有人很直接地問你:怎樣才能拓展狀態機復制系統呢?你應該反問:你系統遇到的瓶頸是什么?數據?共識?還是執行?數據:數據是將所有指令傳輸給所有狀態機副本的載體。舉個例子,如果一個區塊包含1MB的指令,那么你就需要把1MB的數據發送給所有負責驗證的副本。顯然,這種情況下,系統的通道容量是系統可拓展的瓶頸。共識:指令到達本地之后,狀態機們就會參與共識協議。舉個例子,如果一個共識協議需要兩次消息往返,而參與驗證的狀態機分布在全球各地,那么,這里明顯的瓶頸在——由光速和地球大小而導致的延遲。執行:指令到達、共識在指令排序上達成共識后,副本需要執行指令。執行引擎是一個接受舊狀態并應用指令來計算新狀態的函數。又舉個例子,如果執行需要許多密碼學計算,那么很明顯啦,這里的瓶頸就是副本要重復執行的密碼學計算。需要注意的是,這三個瓶頸不是追求一種折衷,也不是兩難的困境,也不是三難困境。它們是彼此獨立的。所有狀態機復制系統的可拓展能力都受到這三種因素的限制。本文將介紹一些解決這些瓶頸的方案。1.從數據上提高可拓展性

耶倫:將在兩周內向國會更新違約X日期:金色財經報道,美國財長耶倫表示,將在兩周內向國會更新違約X日期(X Date)。隨著利率的上升,商業地產面臨風險;更高的長期利率水平將加劇債務面臨的風險;美國經濟放緩,消費者支出、勞動力市場堅挺。[2023/5/13 15:00:47]

更好的網絡解決方案

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

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

Filecoin公布Hack FEVM獲獎名單:金色財經報道,Filecoin在其博客中公布了Hack FEVM獲獎名單,其中,首屆Hack FEVM迎來了400多名開發者,共創建建和展示了117個項目,并通過各類獎項獲得了超過5萬美元的獎金。Soulmates為本次ETHGlobal、Filecoin大獎得主。據悉,Soulmates是一個建立在FEVM上的soulbound代幣?(SBT)發行商,它包括一組FEVM智能合約,由17個文件、11個測試文件以及大約500行solidity代碼組成。它是一個功能齊全的前端dapp,可用于“創建、分配和認領SBT”。

FEVM是兼容EVM的Filecoin虛擬機,為Ethereum開發人員計算Filecoin網絡存儲交易的元數據提供了開箱即用的體驗。[2022/12/10 21:35:06]

吞吐量和延遲之間的權衡

有人將每秒處理交易數作為衡量協議可拓展性的標準。TPS是對吞吐量的度量,人們存在一個誤解——以為對它單獨優化就可以實現共識可拓展性。共識可拓展性的解決方案必須同時關注吞吐量和確認時延這兩個因素。通過成批處理來提高共識的吞吐量很簡單:只需要一天一次,而不用每隔幾秒一次,就可以讓人們就被批處理的所有數據的哈希值達成共識。顯然,由于一天只達成一次共識,成本會被分攤,僅就吞吐量而言,共識過程就不再是阻礙實現拓展性的瓶頸了。顯然,批處理雖然能提高共識協議的吞吐量,但也會提高交易確認的時延,并不是什么擴展共識協議性能的萬靈丹。PBFTjournalversion一文充分地討論了BFT狀態機復制的延遲和吞吐量。對基于NakamotoConsensus的協議而言,有很多協議都試圖增加吞吐量及時延,如:Bitcoin-NG、Fruitchains和Prism。性能和安全性之間的權衡

加拿大監管機構與美國一起調查Celsius破產后的影響:金色財經報道,加拿大監管機構正在與美國同行合作,調查總部位于新澤西州的加密貨幣貸款機構Celsius Network倒閉后的數十億美元影響。

盡管Celsius從未在加拿大省級證券監管機構注冊,但該國當局正在與美國證券交易委員會合作,調查這一跨境問題。監管機構已經在美國和加拿大的各個司法管轄區展開調查,以調查這家破產的貸款公司的災后行動。

安大略省證券委員會(OSC)也在調查Celsius的倒閉和隨后的破產如何影響該平臺的加拿大用戶。(coindesk)[2022/8/10 12:14:10]

有人建議在更小的狀態機副本小組內達成共識,以優化共識過程的性能。降低驗證狀態機小組的規模的確可以提高性能,但這是以降低降低安全性為代價的。所以,真正的挑戰在于不減少參與狀態機的數量同時提高共識過程的性能。提高共識協議的復雜性有望魚和熊掌兼得,例如:減少輪數,或者說改變消息傳遞的復雜度,使呈平方級增長的消息數量可以變為線性增長。本文討論了一些部分同步中的協議改進和同步中的協議改進。可拓展性和適應性之間的權衡

“淡定熊”Okay Bears交易額突破1億美元:金色財經報道,據最新數據顯示,NFT項目 “淡定熊”Okay Bears交易額已突破1億美元,本文撰寫時為100,205,522美元,交易量為15,107筆,不過據 Magic Eden 平臺數據顯示,當前 Okay Bears 地板價已跌至 195 SOL,24小時跌幅達到 10.09%。“淡定熊” Okay Bear 是一個基于 Solana 區塊鏈的 PFP NFT 藏品系列,由10,000只不同的熊組成,用戶持有后可以有進入公園的獨家權限,在那里持有者們可以一起建立一個理想中的社區。[2022/5/21 3:32:28]

基于PBFT視圖范式的共識協議容易受到攻擊者的適應性攻擊。共識協議的安全性不僅和攻擊者的規模相關,而且和對手的適應性能力相關。處理適應性對手的協議通常會導致更高的成本,也會在可拓展性上遇到更大的難題。Algorand建議用基于輪次的密碼抽樣來拓展拜占庭共識,使其免受適應性攻擊者的攻擊。這種方法的模擬結果看起來很不錯。適應性對手可以使用拒絕服務攻擊來阻止系統推進。HoneyBadger提出了第一個實用的異步BFT協議——該協議在不做任何時序假設的情況下,也能保證活性。避免對所有命令進行全排序

CFTC主席:將增加資源并加大力度處理與加密貨幣相關的欺詐和操縱案件:金色財經報道,美國商品期貨交易委員會 (CFTC)主席 Rostin Behnam 周三表示,商品期貨交易委員會 (CFTC) 將增加資源并加大力度處理與加密貨幣相關的欺詐和操縱案件。在 Chainalysis Links會議的視頻評論中,Behnam表示, CFTC正面臨著數量激增的此類案件,由于協議漏洞、網絡釣魚攻擊、掠奪易受傷害的人以及其他欺詐和操縱計劃而導致數千萬美元數字資產損失的頭條新聞已經變得非常普遍。

去年,該機構提起了 23 起與加密貨幣相關的案件,占自 2015 年以來涉及數字資產的執法行動總數的近一半。(Coindesk)[2022/5/19 3:26:38]

如果所有指令都相互依賴,那么除了對所有指令進行全排序外,別無他選。但是在許多工作負載中,指令不會彼此依賴和彼此干擾。舉個例子,在某些情況下,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的視頻,進一步去了解如何將隱私添加到簡潔的證明中中。這種簡潔的證明有很多好處:驗證證據正確性的成本非常低。而短處在于構造指令執行的證明通常比單單去執行指令的成本要高得多。還有一個壞處在于這些協議增加了大量的復雜性。此外,某些協議還需要繁復的受信任初始設置儀式。需要注意的是,以上介紹的方法意在克服執行可拓展性的瓶頸,而不在改變數據可拓展性的瓶頸。

Tags:COICOINOINECOKunci CoinK Bitcoin CashPredictcoinWECO幣

歐易交易所app下載
Synthetix:我們能從硅谷頂級風投a16z的投資經驗中學到什么?_TOKE

編者按:本文來自加密谷Live,作者:mjayceee,翻譯:ZoeZhou,Odaily星球日報經授權轉載。背景在Synthetix社區中,a16z的投資顯得十分神秘.

1900/1/1 0:00:00
以太坊為什么又要進行“繆爾冰川”硬分叉?_THE

作者|秦曉峰編輯|郝方舟出品|Odaily星球日報今天上午,以太坊官方發布公告稱,將在區塊高度9200000進行硬分叉升級。本次升級被命名為“繆爾冰川”,具體日期可能會因出塊時間以及時區而改變.

1900/1/1 0:00:00
DeFi趨勢研究:Messari對于DeFi市場的總結與展望_DEF

Compound,目前在所有借貸協議中,鎖定抵押品的價值排行僅次于Maker,占據第二位,它已經吸引了頂級加密貨幣投資者的關注和投資.

1900/1/1 0:00:00
從礦業霸主到內斗滑坡,比特大陸這些年經歷了什么?_比特幣

本文來自:哈希派,作者:哈希派分析師團隊,星球日報經授權轉發。“礦機巨頭”、“估值上百億”、“穿越2014年的礦難”.....這些都是比特大陸的標簽,如果故事在2018中旬結束,無疑這將是一個“.

1900/1/1 0:00:00
真假區塊鏈?三個維度教你一眼識別偽區塊鏈項目_INSUR

如何判斷一個區塊鏈項目是能夠落地、能夠長久的好項目?那需要從它能夠解決什么問題?有什么核心競爭優勢以及市場需求有多大等方面來著手分析!“三個維度”甄別區塊鏈應用場景優秀與否近日.

1900/1/1 0:00:00
技術分享:簡析智能合約和形式化驗證_VALUE

本文主要介紹了智能合約和形式化驗證。什么是智能合約?一個智能合約是一套以數字形式定義的承諾,包括合約參與方可以在上面執行這些承諾的協議。在區塊鏈技術領域就是一段運行在區塊鏈上的有多方參與的代碼.

1900/1/1 0:00:00
ads