寫在前面:
“天下武功,唯快不破”,這句話經常會出現在武俠作品當中。
其衍生出來的意思是,只要一方搶占了先機,就可以立身于不敗之地。在現實世界的華爾街,這種搶先交易的現象就普遍存在著,這就好比兩個人比武,其中一方先朝對方臉上打上一拳,然后耍賴迅速溜掉……
在審視金融系統時,對公平交易順序的需求,是顯而易見的。因為交易的執行順序,可以確定給定交易的有效性或盈利能力。比方說Bob有0美元,并且有兩筆交易發生了:其中tx0是Alice將5美元發送給Bob,而tx1則是Bob將5美元發送給Carol。
如果tx0的順序是在tx1之前,那么這兩筆交易都會是有效的,而相反的順序,則會導致tx1失效。
而最近的研究表明,在基于共識算法的無許可區塊鏈中,這種現象也是很常見的。Daian等人的論文提到,機器人對以太坊網絡中的交易進行了猖獗的對抗性操作,然后從單純的用戶那里獲取了超過600萬美元的收入。
那這種搶先交易“無賴功夫”有破解之道嗎?本周的學術話題,我們就來分享來自康奈爾大學教授AriJuels等人的最新研究《拜占庭共識的順序公平性》。
而在硬核技術文章精選部分,我們還會看到關于區塊鏈活性、tBTC、稀疏默克爾樹等內容。
另外,在過去的一周當中,比特幣還迎來了BitcoinCore0.19.1版本客戶端、schnorr簽名及Taproot方案等更新內容,而以太坊聯合創始人Vitalik則發布了新的Gasper共識協議論文。
Crypto Punks地板價跌破10萬美元:4月23日消息,根據NFT Price Floor的數據,Crypto Punks地板價已跌破10萬美元以下。當前地板價為49.5ETH(約9.18萬美元),這是2022年6月以來的最低價。[2023/4/23 14:21:02]
一、Aequitas協議:區塊鏈共識不僅僅需要一致性和活性,還需要順序公平性
在過去的三十年中,研究者們在密碼學和分布式系統文獻中對狀態機復制的抽象概念進行了大量研究。
在高層次上,狀態機復制協議的目標,是讓一組節點同意不斷增長的、線性排列的消息日志。
這樣的協議需要滿足兩個屬性:一致性:所有誠實的節點必須對約定的日志有相同的view,也就是說,它們必須以相同的順序輸出消息;活性:客戶端提交的消息,要在合理的時間內添加到日志當中,不幸的是,一致性和活性都沒有在最終日志中說明事務的實際順序。而一種確保所有節點同意相同順序的協議,無論其如何去生成順序,都會被認為是一致的。
1、1區塊鏈交易的順序公平性
而這就給定義留下了空間,即對手方可能會控制順序,然后讓所有節點對該結果達成一致。而在所有依賴于指定“leader”節點的現有協議中,惡意的leader就可選擇以任何順序提交交易。
為了糾正這個問題,來自康奈爾大學和IC3的AriJuels教授等人提出了第三種共識屬性:交易順序公平性。
論文鏈接:https://eprint.iacr.org/2020/269.pdf
直觀地講,順序公平表示這樣一種概念:如果大量節點在另一筆交易tx2之前接受交易tx1,那么這應該以某種方式反映在最終的順序中。
Meta Mask機構解決方案MMI發布2023年Q1回顧,鏈上資產增加89.17%:4月18日消息,MetaMask機構解決方案MMI(MetaMask Institutional)發布2023年Q1回顧,新功能包括投資組合儀表板、NFT視圖的賬戶捆綁、身份驗證和登錄、Institutional Staking市場等。在數據方面,MMI擴展的八周用戶留存率超過65%,這是該團隊密切關注的指標。使用MMI部署在鏈上的資產(AUD)增加了89.17%。與此同時,MMI團隊預計年收入將增長25.87%。
據悉,MMI于2020年12月推出,旨在解決加密貨幣基金、做市商等機構接入DeFi的需求,同時需要滿足安全、運營和合規的要求。[2023/4/18 14:10:27]
而這篇論文的主要貢獻有三個方面:
研究了公平交易順序的自然概念,并說明了它為什么不可能實現;
研究了稍微弱一點的公平排序概念,這些概念是直觀的,但卻可以實現;
引入了一類新的共識協議,并稱之為Aequitas,其實現了公平的區塊交易排序,同時也提供了一致性和活性,研究者還討論了同步和異步的Aequitas協議設置;
1、2如何避開孔多塞悖論
順序公平的性質是對共識問題有效性的自然模擬,即將拜占庭協議擴展到多輪。
如果所有誠實的節點都認為交易tx1先于另一筆交易tx2,那么通過與有效性的自然類比,最終輸出日志應該在tx2之前對tx1進行排序。因此,研究者認為,交易順序公平性是共識文獻中具有獨立理論利益的自然屬性。
定義順序公平性和不可能結果:為了對共識協議進行建模,研究者使用了一種方法,其中協議節點從客戶端接收交易,并需要以滿足一致性和活性的方式輸出或交付它們。
法國央行行長:不允許下一個加密寒冬仍存在金融不穩定性:11月15日消息,由于FTX破產事件,法國央行行長Francois Villeroy de Galhau在東京的一次演講中呼吁全球合作監管,以應對加密市場造成的金融不確定性,他說道:我要強調,這種不確定性是我們需要在國際上對加密資產進行強有力和快速監管的原因,我們不能允許下一個加密寒冬仍存在金融不確定性和不穩定性。[2022/11/15 13:08:22]
定義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'之前輸出,而區塊順序公平性則將條件放寬為“之前或同時”。
以太坊Layer2網絡Arbitrum鏈上總用戶量突破100萬:7月31日消息,據Dune Analytics數據顯示,以太坊Layer2網絡Arbitrum鏈上總用戶量已突破100萬,截至目前為1,025,930。此外,Arbitrum鏈上成功交易量已突破2000萬筆,當前為20,499,780筆(總交易量為21,416,388筆)。[2022/7/31 2:49:56]
這里指的便是在同一“區塊”中同時進行交付的交易。
定義1.3:如果有足夠多的節點在另一筆交易tx'之前接收到交易tx,則誠實節點無法在tx'之后的區塊中交付tx。
正是這種微小的放松調整,使得我們可以通過一個簡單的技巧來回避康多塞悖論:將矛盾的順序放在同一區塊中。這里強調了區塊順序公平性,并不意味著交易是部分有序的。一致性仍然要求所有節點以相同順序輸出交易。唯一的區別是,在研究者的定義中,只要這些交易出現在同一區塊中,就被認為是公平的。
也就是說,研究者注意到,雖然不可能去實現接收順序的公平性,但區塊順序的公平性卻是可以實現的,對此,他們提出了可保證這一點的協議,并稱之為Aequitas。
1、3?Aequitas協議的4種實現
Aequitas協議以黑盒方式使用了兩個基本原語:FIFO廣播,它是標準可靠廣播的基本擴展;Set拜占庭共識協議(Set-BA),其定義在原論文第3節,這可以通過拜占庭共識協議來實現。
注意,這些都是弱原語,任何標準共識協議,也可以用于構建FIFO-BC和Set-BA原語。這產生了一個有趣的觀察結果:Aequitas技術提供了一種通用編譯器,其可以將任何標準共識協議轉換為提供順序公平性的協議。
Peter Schiff接受以比特幣出售旗下銀行:7月10日消息,當被問及是否接受以比特幣出售陷入困境的Euro Pacific International Bank時,黃金支持者、比特幣反對人士Peter Schiff給出了肯定的回答。Schiff解釋說,盡管他不喜歡加密貨幣,但如果這樣的交易得到監管機構的批準,他會同意。Schiff試圖以此論證他的立場:對他來說,最重要的是保護銀行的客戶。
此前消息,Peter Schiff表示,他將爭取出售他在波多黎各建立的Euro Pacific International Bank。(U.Today)[2022/7/10 2:02:48]
簡單來看,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,在不同的假設條件下可證明安全性和活性;
本期的分享就到這里啦,下周再見~
「比特幣會漲到2萬美金嗎?我相信會。但不是所有人都能熬到那一天的。一個真正的多頭,一個理智的囤幣黨,應該保留一些現金以應對不時之需,這樣才不會在落魄的時候被迫以低價交出籌碼.
1900/1/1 0:00:00來源:Cointelegraph中文3月11日,Cointelegraph中文線上脫口秀系列欄目Focus首秀.
1900/1/1 0:00:00作者|哈希派分析團隊 OKEx Research首席研究員分析師:比特幣市場已經處于泡沫周期的恐慌階段,市場已迎來暴跌:OKEx Research首席研究員分析師指出,從資產泡沫周期看.
1900/1/1 0:00:00冠狀病危機給每種產品的全球供應鏈帶來了前所未有的壓力,但最嚴重的是對關鍵醫療用品的壓力。美國的公司正在將供應鏈轉換為制造關鍵的用品,例如個人防護設備,冠狀病測試套件和呼吸機.
1900/1/1 0:00:00來源/LongHash 近期,Bithumb和UPbit,韓國交易量最高的兩大加密交易所,已經對多種加密貨幣執行下架,暫停交易,或者發布投資警告的決定.
1900/1/1 0:00:00區塊鏈融資市場地野蠻生長一直是個令人發愁的問題,一方面市場的成長需要寬松自由的環境,另一方面,缺乏約束的“荒蠻時代”衍生出不少險境亂象。適時,STP順勢而生.
1900/1/1 0:00:00