比特幣:灑脫喜一周評 | 區塊鏈搶先交易太無賴？共識算法引入順序公平性或可破解_比特幣行情分析及最新消息今天

寫在前面：

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

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

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

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

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

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

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

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

今日將有48億美元的比特幣期權、23億美元的以太坊期權到期交割:金色財經報道，數據顯示，6月、第二季度和上半年總計158,774份價值48億美元的比特幣期權和價值23億美元的123萬份以太坊期權將在Deribit交易所到期交割。根據Deribit的數據，比特幣的最大痛點價格為26,000 美元。以太坊價格為1,700美元。

Deribit首席商務官Luuk Strijers表示，雖然6月的到期日很常見，但由于最近比特幣反彈至30,000美元價格附近活動，即將到來的到期日引起了人們的關注。2022年6月，Deribit僅有約90,000個比特幣合約到期。這將非常令人興奮，因為無論哪個方向都會有一些壓力，如果比特幣上漲，它可能會被推得更高，因為做市商將買入來抵消他們的空頭頭寸，而如果比特幣下跌，它會下跌得更快，因為他們會拋售。[2023/6/30 22:10:05]

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

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

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

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

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

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

Uniswap Labs宣布開源v4，但社區質疑其用開源一詞存在誤導性:6月14日消息，Uniswap Labs今日凌晨發推文稱，已經開源v4以公開構建，并邀請社區反饋。但開源投資組合跟蹤器Rotkiapp創始人Lefteris Karapetsas對其發表評論稱，請使用正確的術語，因為這是對實際構建開源軟件的項目的侮辱。Uniswap v4不是開源的。因為BSL不是開源的，Uniswap v4是使用BSL許可證發布的。Uniswap BSL讓社區為其公開構建但不給予回報。

根據其分享的文件，開源不僅僅意味著可以訪問源代碼，開源軟件的分發條款必須符合以下標準：1.允許自由地再發布軟件而不收取費用；2.程序必須包含所有源代碼；3.可以修改和派生新的軟件等等。Karapetsas稱，Uniswap的BSL無法支持分叉和修改，因此不開源。其曾在Uniswap在發布V3時進行了同樣的辯論，當時他們承認了它不是開源的，但同樣的事情現在又在V4上重蹈覆轍。[2023/6/14 21:36:21]

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

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

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

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

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

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

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

3AC創始人被命令于5月22日在英屬維爾京群島出庭:金色財經報道，三箭資本創始人Kyle Davies和Zhu Su已被命令于5月22日在英屬維爾京群島出庭，作為去年倒閉的加密貨幣對沖基金的清算程序的一部分。如果3AC的創始人沒有對該命令作出答復，他們將被認定為藐視法庭。Kyle Davies和Zhu Su還被要求在4月14日前向清算人提供與公司破產有關的所有文件。[2023/3/29 13:33:15]

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

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

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

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

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

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

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

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

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

Gabor Gurbacs：美國SEC希望現貨交易所在批準現貨比特幣ETF之前受到聯邦的監管:金色財經報道，Bitcoin Magazine援引彭博消息稱，美國法院可能會推翻SEC對灰度現貨比特幣ETF的拒絕，這可能 釋放55億美元的價值。

對此，紐約投資管理公司VanEck數字資產戰略總監Gabor Gurbacs回復稱，這也太樂觀了。我的最佳猜測是：美國證券交易委員會希望現貨交易所在批準現貨比特幣ETF之前受到聯邦的監管。還要注意的是，SEC可以根據新的理由不批準申請。此外，還有其他現貨比特幣ETF申請人在排隊…

人們談論美國比特幣現貨ETF的批準機會，就像他們知道事情一樣。大多數人完全沒有想到，盡管有法院的判決，但美國證券交易委員會可以以新的理由拒絕轉換。IMO，在現貨平臺受到聯邦監管之前，沒有美國的比特幣現貨ETF，不管它是否正確。[2023/3/8 12:48:24]

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

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

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

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

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

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

美聯儲2月加息25個基點的概率為99.4%:2月1日消息，據CME美聯儲觀察，美聯儲2月加息25個基點至4.50%-4.75%區間的概率為99.4%，加息50個基點的概率為0%。[2023/2/1 11:40:29]

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

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

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

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

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

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

階段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比特幣行情分析及最新消息今天以太坊價格btc轉到錢包為什么變成btckFermat Capital Management

FIL幣