灑脫喜一周評 | 區塊鏈搶先交易太無賴？共識算法引入順序公平性或可破解_比特幣:以太坊

寫在前面：

“天下武功,唯快不破”，這句話經常會出現在武俠作品當中。

其衍生出來的意思是，只要一方搶占了先機，就可以立身于不敗之地。在現實世界的華爾街，這種搶先交易的現象就普遍存在著，這就好比兩個人比武，其中一方先朝對方臉上打上一拳，然后耍賴迅速溜掉……

在審視金融系統時，對公平交易順序的需求，是顯而易見的。因為交易的執行順序，可以確定給定交易的有效性或盈利能力。比方說Bob有0美元，并且有兩筆交易發生了：其中tx0是Alice將5美元發送給Bob，而tx1則是Bob將5美元發送給Carol。

如果tx0的順序是在tx1之前，那么這兩筆交易都會是有效的，而相反的順序，則會導致tx1失效。

而最近的研究表明，在基于共識算法的無許可區塊鏈中，這種現象也是很常見的。Daian等人的論文提到，機器人對以太坊網絡中的交易進行了猖獗的對抗性操作，然后從單純的用戶那里獲取了超過600萬美元的收入。

那這種搶先交易“無賴功夫”有破解之道嗎？本周的學術話題，我們就來分享來自康奈爾大學教授AriJuels等人的最新研究《拜占庭共識的順序公平性》。

而在硬核技術文章精選部分，我們還會看到關于區塊鏈活性、tBTC、稀疏默克爾樹等內容。

另外，在過去的一周當中，比特幣還迎來了BitcoinCore0.19.1版本客戶端、schnorr簽名及Taproot方案等更新內容，而以太坊聯合創始人Vitalik則發布了新的Gasper共識協議論文。

Animoca Brands宣布成為Celo網絡驗證者:金色財經報道，據香港元宇宙游戲及數字產權公司Animoca Brands官網披露，該公司已加入低碳EVM兼容區塊鏈Celo生態系統，旨在拓展新數字經濟，并將在Celo的移動優先基礎設施和任務驅動的生態系統上擴展Web3 游戲，以及制定后續的戰略合作計劃。據悉，Animoca Brands是加入Celo生態成員中的首個游戲管理公司，同時還將成為Celo網絡驗證者以支持網絡安全，目前Celo網絡驗證者還包括 德國電信、Coinbase Ventures、a16z等。[2023/6/22 21:53:49]

一、Aequitas協議：區塊鏈共識不僅僅需要一致性和活性，還需要順序公平性

在過去的三十年中，研究者們在密碼學和分布式系統文獻中對狀態機復制的抽象概念進行了大量研究。

在高層次上，狀態機復制協議的目標，是讓一組節點同意不斷增長的、線性排列的消息日志。

這樣的協議需要滿足兩個屬性：一致性：所有誠實的節點必須對約定的日志有相同的view，也就是說，它們必須以相同的順序輸出消息；活性：客戶端提交的消息，要在合理的時間內添加到日志當中，不幸的是，一致性和活性都沒有在最終日志中說明事務的實際順序。而一種確保所有節點同意相同順序的協議，無論其如何去生成順序，都會被認為是一致的。

1、1區塊鏈交易的順序公平性

而這就給定義留下了空間，即對手方可能會控制順序，然后讓所有節點對該結果達成一致。而在所有依賴于指定“leader”節點的現有協議中，惡意的leader就可選擇以任何順序提交交易。

為了糾正這個問題，來自康奈爾大學和IC3的AriJuels教授等人提出了第三種共識屬性：交易順序公平性。

印度儲備銀行：建議印度銀行采用人工智能和區塊鏈等創新技術:金色財經報道，在印度儲備銀行組織的印度銀行董事會議上，副行長Mahesh Kumar Jain討論了可持續增長和穩定的風險策略。 Jain建議印度銀行采用人工智能和區塊鏈等創新技術，同時關注數字化轉型、提升客戶體驗和投資網絡安全措施，為未來做好準備。[2023/5/31 11:50:08]

論文鏈接：https://eprint.iacr.org/2020/269.pdf

直觀地講，順序公平表示這樣一種概念：如果大量節點在另一筆交易tx2之前接受交易tx1，那么這應該以某種方式反映在最終的順序中。

而這篇論文的主要貢獻有三個方面：

研究了公平交易順序的自然概念，并說明了它為什么不可能實現；

研究了稍微弱一點的公平排序概念，這些概念是直觀的，但卻可以實現；

引入了一類新的共識協議，并稱之為Aequitas，其實現了公平的區塊交易排序，同時也提供了一致性和活性，研究者還討論了同步和異步的Aequitas協議設置；

1、2如何避開孔多塞悖論

順序公平的性質是對共識問題有效性的自然模擬，即將拜占庭協議擴展到多輪。

如果所有誠實的節點都認為交易tx1先于另一筆交易tx2，那么通過與有效性的自然類比，最終輸出日志應該在tx2之前對tx1進行排序。因此，研究者認為，交易順序公平性是共識文獻中具有獨立理論利益的自然屬性。

定義順序公平性和不可能結果：為了對共識協議進行建模，研究者使用了一種方法，其中協議節點從客戶端接收交易，并需要以滿足一致性和活性的方式輸出或交付它們。

Secret Network：正在進行網絡升級，用戶或遇到交易失敗的情況:5月17日消息，隱私公鏈Secret Network發推稱，目前正在進行預定的網絡升級。一些驗證器遇到了錯誤，SCRT Labs正在積極解決。

目前，用戶可能會遇到交易失敗的情況，因此官方建議用戶等到升級完成后再嘗試使用任何DApp或網絡功能，一旦升級完成將發布公告。[2023/5/17 15:07:10]

定義1.1，如果足夠多的節點在另一筆交易tx0之前接收到交易tx，那么所有誠實的節點必須在tx0之前輸出tx。

雖然這個定義是直觀的，但事實證明，除非我們假設具有非常強的同步性，或者不存在惡意對手方，否則就不可能實現這點。

這一結果來自社會選擇理論中與選民偏好的令人驚訝的聯系。為了用一個簡單的例子來強調這一點，我們可以考慮三個節點A，B和C，然后每個節點會接收3筆交易x,y和z。

其中A按的順序接收它們，而B按的順序接收它們，C按的順序接收它們。

請注意，大多數節點收到的是，以及！這種情況通常被稱為孔多塞悖論，即使所有的局部順序都是可傳遞的，也可能導致非傳遞性的全局順序。

而這對于接收順序公平概念而言是有問題的。

定理1.2給出了關于不可能結果的非正式描述。

定理1.2。考慮一個有n個節點的系統，其中外部網絡是異步的，或者最大延遲δ至少為n輪。這樣，任何協議都無法同時實現一致性、活性及接收順序的公平性。

鑒于這種不可能的結果，研究者考慮了接收順序公平性的一種自然放松狀態，并稱之為區塊順序公平性。要理解這兩個定義之間的主要區別，我們來看一下兩筆交易tx和tx'，其中有足夠多的節點在tx'之前已接收tx。接收順序公平性要求tx必須在tx'之前輸出，而區塊順序公平性則將條件放寬為“之前或同時”。

被竊BAYC“下水道通行證”#12097以2.34 ETH在OpenSea售出:金色財經報道，據PeckShield監測顯示，被竊的BAYC“下水道通行證”Sewer Pass #12097已經在OpenSea上以2.34 ETH的價格被售出，但交易完成后該NFT就被打上標記。[2023/3/2 12:39:12]

這里指的便是在同一“區塊”中同時進行交付的交易。

定義1.3：如果有足夠多的節點在另一筆交易tx'之前接收到交易tx，則誠實節點無法在tx'之后的區塊中交付tx。

正是這種微小的放松調整，使得我們可以通過一個簡單的技巧來回避康多塞悖論：將矛盾的順序放在同一區塊中。這里強調了區塊順序公平性，并不意味著交易是部分有序的。一致性仍然要求所有節點以相同順序輸出交易。唯一的區別是，在研究者的定義中，只要這些交易出現在同一區塊中，就被認為是公平的。

也就是說，研究者注意到，雖然不可能去實現接收順序的公平性，但區塊順序的公平性卻是可以實現的，對此，他們提出了可保證這一點的協議，并稱之為Aequitas。

1、3?Aequitas協議的4種實現

Aequitas協議以黑盒方式使用了兩個基本原語：FIFO廣播，它是標準可靠廣播的基本擴展；Set拜占庭共識協議(Set-BA)，其定義在原論文第3節，這可以通過拜占庭共識協議來實現。

注意，這些都是弱原語，任何標準共識協議，也可以用于構建FIFO-BC和Set-BA原語。這產生了一個有趣的觀察結果：Aequitas技術提供了一種通用編譯器，其可以將任何標準共識協議轉換為提供順序公平性的協議。

簡單來看，Aequitas協議被分為三個主要階段。而每筆交易tx在交付之前，都要經過這些階段。

BitMEX公布比特幣儲備證明，當前儲備數量為75,742.4個:金色財經報道，加密貨幣交易平臺BitMEX公布比特幣儲備和負債證明快照，其中快照時間為11月8日，比特幣儲備數量為75742.4 枚，用戶負債為75617.1 枚。

BitMEX同時發布了一個可下載列表，包含比特幣地址及快照時 每個地址持有的比特幣余額，該列表還包含托管的每個UTXO的執行腳本，這些執行腳本包括 BitMEX 公鑰，以證明其能夠訪問所有資金。[2022/11/9 7:23:20]

階段1Gossip:節點gossip交易按其接收順序進行。也就是說，每個節點都在流傳其本地交易的順序。

為此，研究者使用了FIFO廣播原語，FIFO-BC保證誠實節點的廣播由其他誠實節點，以和廣播相同的順序傳遞。即使發送方不誠實，FIFO-BC也能保證所有誠實節點均以相同順序傳遞消息。而這樣做的結果是，節點對其他節點的交易順序會具有一致的看法。

階段2協定：節點在同意決定特定交易的全局順序時應考慮其本地順序的節點集。

階段3終結：節點使用在協定階段確定的一組本地排序，來最終確定交易處理的全局排序。

需要指出的是，前兩個階段是易理解且易于實現的，而第三個階段則很復雜，因為它需要避免康多塞悖論，同時繼續保持一致性和順序公平性。

對此，研究者分別提出了基于leader和無leader的共識協議，然后設有同步和異步設置，因而共有4種協議。這些協議均提供了一致性、區塊順序公平性，以及某種程度的活性。下圖是這4種協議的比較結果。

灑脫喜簡評：Aequitas協議的思路，簡單看，就好比規定兩人比武只能同時出手，這就確保了雙方之間的公平性，而其背后的理論，其實非常復雜，另外，根據論文介紹，Aequitas提供了一種通用的編譯器，其可以將任何標準共識協議轉換為提供順序公平性的協議，如果真正可以實現，這將解決掉區塊鏈金融應用面臨的一大難題。

二、硬核技術文章一周精選

2、1突破區塊鏈不可能三角——吹個關于區塊鏈活性的哨子

maxdeath在這篇文章中，列舉出了一系列關于閃電網絡和區塊鏈的已知問題。這些都是關于區塊鏈活性安全的哨子，而這些哨子早就被吹過不止一次。作者希望這次，當未來又有人不考慮這些問題設計了某個系統，而有人通過這些問題獲益時，請不要再叫它黑客攻擊。

文章鏈接：https://www.8btc.com/media/563994

2、2tBTC：一種新的比特幣側鏈設計

tBTC是一種去中心化的、有保障的比特幣托管系統，它發行一種叫做TBTC的代幣。用戶無需信任托管者，因為這些簽名者存入的債券價值高于他們托管的比特幣的價值。如果他們要轉移未經授權的資金，導致未償的TBTC價值高于托管的比特幣，系統將會沒收他們的債券，用于購買和抵消市場上等值的TBTC，恢復TBTC和托管比特幣價值的平衡。

文章鏈接：https://www.8btc.com/media/565485

2、3Core開發者教你如何驗證比特幣客戶端

在這篇文章中，BitcoinCore開發者LukeDashjr介紹了如何通過三個步驟來確保自己安裝的比特幣客戶端是安全、未經惡意方修改的。

文章鏈接：https://www.8btc.com/article/566181

2、4科普|什么是稀疏默克爾樹多值證明

以太坊網絡是一臺富狀態的世界計算機，其狀態包括狀態余額、交易流水號、合約代碼及合約存儲內容等。在技術上，這些狀態數據是靠一種叫做“默克爾樹”的結構來組織的，因此，以太坊世界狀態及其訪問、更新，便可表達為一棵默克爾樹及其訪問、更新。同樣地，所有跟默克爾樹相關的數據證明及驗證操作，都可以在以太坊協議的語境下被理解為狀態的證明及驗證操作。實際上，默克爾樹是我們理解、利用、改進以太坊協議不可或缺的一環。

文章鏈接：https://www.8btc.com/article/566768

2、5除了“減半”，2020年你還需要關注這些比特幣技術

在過去的一年時間里，比特幣技術已經獲得不錯的發展，那種這種趨勢會在2020年繼續延續下去嗎？MAST、Taproot、Schnorr簽名，以及其他出色的技術是否能進一步改善比特幣安全性，并推動其價格升值嗎？

文章鏈接：https://www.8btc.com/article/566236

三、比特幣&以太坊開發更新進展

3、1比特幣開發更新進展

BitcoinCore0.19.1版本客戶端正式發布，修復了一些錯誤，其中大多數修正涉及錢包/GUI/RPC；

BIP340schnorr密鑰和簽名方案的更新，而這也會對BIP341taproot產生一些影響，對于這些改進，作者PieterWuille要求社區提供有關更改的反饋；

關于標準化防泄露隨機數協議的提案：StepanSnigirev在Bitcoin-Dev郵件列表上發起了關于標準化協議的討論，該協議可防止硬件錢包使用偏斜隨機數泄露用戶的私鑰；

Taproot的安全性證明：LloydFournier在兩周前的金融密碼學會議上發表了他的研究，其描述了Taproot使用的哈希函數中，必須具備哪些屬性才能確保Taproot的安全。

閃電網絡客戶端LND0.9.1發布，該版本并不包含任何新功能，但修復了多個漏洞，包括可能導致“節點之間強制關閉”的漏洞。

更多關于比特幣的技術進展更新內容，可以看這里：https://bitcoinops.org/en/newsletters/2020/03/04/

3、2以太坊開發更新進展

以太坊1.X更新內容：

以太坊基金會成員HudsonJameson：ProgPoW不值得，它會死亡；

ProgPoW算法被曝漏洞，或無法抗ASIC；

Trinityv0.1.0-alpha.35發布；

DHT方案或解決無狀態以太坊數據檢索問題；

以太坊2.0研發更新內容：

Prysmatic客戶端更新，減少大量RAM，第一次罰沒成功，已更新至最新規范；

Lighthouse客戶端更新，區塊處理速度提高70%，同步速度為每秒100個區塊，內存量大大減少；

用于以太坊2.0ewasmEE的零知識證明工具；

?Vitalik等人發表論文，提出新的Gasper共識協議，其結合了CasperFFG以及分叉選擇規則LMDGHOST，在不同的假設條件下可證明安全性和活性；

本期的分享就到這里啦，下周再見～

Tags：比特幣以太坊BTCITA什么是比特幣挖礦比特幣挖礦原理以太坊價格今日行情BTCQDigitalBits

萊特幣最新價格