加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

技術干貨 | 詳解Libra區塊鏈及其共識協議_LIB:libra幣在哪個交易所

Author:

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

01?

Libra區塊鏈簡介

Libra區塊鏈的目標是成為金融服務的基礎,包括打造一種新的全球支付系統,滿足數十十億人的日常金融需求。通過對現有區塊鏈解決方案的評估,Libra決定基于下列三項要求構建一個新的區塊鏈:

能夠擴展到數十億帳戶,這要求區塊鏈具有極高的交易吞吐量和低延遲等特點,并擁有一個高效且高容量的存儲系統。

高度安全可靠,可保障資金和金融數據的安全。

靈活多變,為未來金融服務創新提供動力。

Libra區塊鏈就是為了了全面滿足這些要求,并從現有項目和研究中獲得的經驗教訓為基礎。Libra區塊鏈的三項核心決策:

設計和使用Move編程語言。

使用拜占庭容錯(BFT)共識機制。

迭代改善已廣泛采用的區塊鏈數據結構

02?

設計和使用Move編程語言

“Move”是一種新的編程語言,用于在Libra區塊鏈中實現自定義交易邏輯和“智能合約”。由于Libra協會的目標是有朝一日為數十億人服務,因此Move語言的設計首先考慮到安全性和可靠性。Libra開發團隊從以往區塊鏈平臺中發生的與智能合約相關的安全事件中吸取經驗教訓,從而創造的一種新的智能合約編程語言Move。

Move從本質上令人更加輕松地編寫符合作者意圖的代碼,從而降低了出現意外漏洞或安全事件的風險。具體而言,Move從設計上可防止數字資產被復制。它使得將數字資產限制為與真實資產具有相同屬性的“資源類型”成為現實:每個資源只有唯一的所有者,資源只能花費一次,并限制創建新資源。

Move語言還便于自動驗證交易是否滿足特定屬性。例如,僅更改付款人和收款人帳戶余額的付款交易。通過優先實現這些特性,Move可幫助保持Libra區塊鏈的安全性。Move?允許輕松和安全地定義Libra網絡的核心元素,例如支付傳輸和驗證節點的管理。最后,Move?是將合規機制(例如促進旅行規則合規和協議級制裁篩選的機制)構建到Libra網絡中的一種方式。

Polygon公布Plonky2,稱其為世界上最快的ZK擴容技術:金色財經報道,Polygon在周一的博客文章中宣稱,Polygon Zero的“Plonky2”技術在速度和可擴展性方面樹立新的里程碑,這可能是以太坊吞吐量方面的一個重大突破。

Polygon團隊在博客中寫道,“Plonky2是一種遞歸SNARK,是現有替代方案速度的100倍,并且與以太坊完全兼容。它結合了PLONK和FRI的優點,具有快速證明和不需要信任的設置;還結合SNARKs的優點,支持以太坊上的遞歸和低驗證成本。”

據此前報道,Polygon以4億美元收購零知識技術開發商Mir,將其更名為Polygon Zero。(CoinDesk)[2022/1/11 8:40:29]

Libra協會致力于對智能合約實施適當的審查和風險控制。首先,只有協會批準和發布的智能合約才能與Libra支付系統直接交互。隨著時間的推移,協會將探索適當的控制措施,以允許第三方方發布智能合約。

03?

使用拜占庭容錯(BFT)共識機制

Libra區塊鏈采用了基于LibraBFT共識協議的BFT機制,來實現所有驗證者節點就將要執行的交易及其執行的順序達成一致。這種機制實現了三個重要目標:

首先,它可以在網絡中建立信任,因為即使某些驗證者節點(最多三分之一的網絡)被破壞或發生故障,BFT共識協議的設計也能夠確保網絡正常運行。

第二,與其他一些區塊鏈中使用的“工作量證明”機制相比,這類共識協議還可實現高交易處理量、低延遲和更高能效的共識方法。

第三,LibraBFT協議有助于清楚地描述交易的最終性,因此當參與者看到來自足夠數量驗證者的交易確認時,他們可以確保交易已經完成。

BFT的安全性取決于驗證者的質量,因此協會將對潛在驗證者進行盡職調查。Libra網絡的設計以安全第一為原則,并考慮到了復雜的網絡和關鍵基礎設施攻擊。

浙江省區塊鏈專業標準化技術委員會正式成立:金色財經現場報道,7月5日,由杭州市余杭區政府指導,杭州未來科技城管委會、巴比特主辦的2020杭州區塊鏈國際周在杭州舉辦。會上,浙江省區塊鏈專業標準化技術委員會揭牌成立。區塊鏈標技委由浙江省經信廳發起,是浙江省市場監管局領導下的區塊鏈行業的地方標準化組織,同時也是國內首家區塊鏈領域標準化技術委員會。區塊鏈標技委的秘書處設在浙江省數字經濟學會,主任由浙江大學計算機學院院長陳剛教授擔任。[2020/7/5]

該網絡的結構是為了加強驗者運行軟件的保證,包括利用關鍵代碼分離等技術、測試共識算法的創新方法以及對依賴關系的謹慎管理。最后,Libra網絡將定義在出現嚴重漏洞或需要升級時重新配置Libra區塊鏈的策略及過程。

除了在這些情況下確保系統的安全恢復之外,這種準備將阻止攻擊,因為攻擊者將知道他們的行為可以被反擊。

04?

迭代改善已廣泛采用的區塊鏈數據結構

為了保障所存儲的交易數據的安全,Libra區塊鏈中的數據會受到默克爾樹(Merkle?tree)的保護,它是一種已在其他區塊鏈中被廣泛使用的數據結構,可以偵測到現有數據的任何變化。與以往將區塊鏈視為交易區塊集合的區塊鏈項目不同,Libra區塊鏈是一種單一的數據結構,其可?期記錄交易歷史和狀態。這種實現方式簡化了訪問區塊鏈的應用程序的工作量,允許它們從任何時間點讀取任何數據,并使用統一框架驗證該數據的完整性。

上述設計決策的一個結果是,Libra區塊鏈將提供公共可驗證性,這意味著任何人(驗證者、Libra網絡、虛擬資產服務提供商(VASP)、執法部門或任何第三方)都可以審核所有操作的準確性。交易將以加密方式簽名,以便即使所有驗證者都被破壞,也不能接受來自具有安全簽名密鑰的偽造交易。該設計與硬件密鑰管理和高價值密鑰的離線存儲兼容。

動態 | 日本音樂著作權協會將引進區塊鏈技術管理著作權:2月4日,日本音樂著作權協會(JASRAC)舉辦了JASRAC創立80周年新年記者座談會,在座談會上表示,今年將引進區塊鏈技術來管理音樂著作權,驗證音樂版權。據金色財經2019年2月報道,日本音樂版權協會將于2020年引入區塊鏈技術。(日本每日新聞)[2019/2/6]

上述設計決策的另一個結果是,Libra區塊鏈將支持一種隱私方方法,該方法將考慮網絡上參與者的多樣性。協會會監督Libra區塊鏈協議和網絡的發展,并在考慮適用的監管要求的同時,不斷評估新技術以增強區塊鏈上的隱私合規性。

05?

LibraBFT詳解

5.1概述

Libra的共識機制采用的是LibraBFT共識,是一個為Libra設計的健壯、高效的狀態復制系統。它基于一種新型的BFT共識算法,HotStuff(BFTConsensusinLensofBlockchain),在擴展性和一致性上達到了較高的水平。LibraBFT在HotStuff的基礎上引入顯示活躍度的機制并提供了具體的延時分析。

LibraBFT在3f+1個驗證節點之間收集投票,這些驗證者可能是誠實的節點也可能是拜占庭節點。在網絡中有2f+1個誠實節點的前提下,Libra能夠抵御f個驗證節點的雙花攻擊和分叉攻擊。

LibraBFT在一個有全局統一時間,并且網絡最大延時可控的PartialSynchrony的網絡中是有效的。并且,LibraBFT在所有驗證節點都重啟的情況下,也能夠保證網絡的一致性。

為了能夠更好地理解LibraBFT,我們回顧一下PBFT和HotStuff共識協議。

聲音 | 羅金海:區塊鏈是用技術來解決人性中不信任問題:據今日湖北網消息,量子學派創始人羅金海在區塊鏈賦能實體經濟高峰論壇中表示,區塊鏈3.0是一種信用時代,信任是一種協議,存在于潛意識里,但潛意識多變,因而信任關系不穩定。而區塊鏈就是用理性的技術,來解決人性中的不信任。在未來,區塊鏈將越發深入影響到各行業,通過技術結合,提高資源配置效率,助力產業轉型升級。[2018/11/5]

5.2PBFT

原始的拜占庭容錯系統由于需要展示其理論上的可行性而缺乏實用性,另外需要額外的時鐘同步機制支持,算法的復雜度也是隨節點增加而指數級增加。CastroandLiskov在1999年提出實用拜占庭容錯系統,降低了拜占庭協議的運行復雜度,從指數級別降低到多項式級別,使拜占庭協議在分布式系統中應用成為可能。

PBFT是一類狀態機拜占庭系統,要求整個系統共同維護一個狀態,所有節點采取的行動一致。為此,需要運行三類基本協議,包括一致性協議、檢查點協議和視圖更換協議。視圖轉換協議保證共識協議的活性。當主節點出故障時能保證共識能繼續進行。PBFT的視圖轉換協議是非常復雜的,涉及到很多消息的重傳。HotStuff的最重要的改進,主要是針對視圖更換的協議。

?5.3HotStuff

HotStuff的基本假設是系統有固定的節點數n=3f+1,其中f是系統能容忍的最大拜占庭節點數。系統通信是點對點的認證和可靠通信。網絡通信的假設是半同步,也就是說,網絡有一個知道的延遲D,以及一個不知道的全網穩定時間,當GST過后,任意兩個節點之間的通信都將在D時間內完成。HotStuff能總保證正確性,在GST后的消息時延在一定限度內能保證活性。

HotStuff采用門限簽名機制,門限設置是。n個節點中所有的節點共用一個公鑰,但每一個節點有自己的私鑰。每個節點用自己的私鑰簽名消息m,叫部分簽名消息,多個節點的部分簽名消息可以用來生成一個聯合簽名消息,當至少有k=2f+1個節點提供部分簽名消息時,其它任何一個節點能用公鑰驗證該聯合簽名消息。其中f是系統能容忍的拜占庭節點總數,n=3f+1。

行情 | LTC今日漲超81美元,技術圖表仍然偏向空頭:據coindesk分析,按市值計算全球第六大的加密貨幣萊特幣(LTC)今日的價格飆升至81美元。今日有消息稱,萊特幣基金會通過與支付提供商TokenPay的新合作關系,收購了德國WEG銀行9.9%的股份。萊特金創始人李啟威表示,這對各方來說都是“巨大的雙贏”。然而,技術圖表仍然偏向空頭。目前LTC的交易價格為79.50美元,最近24小時上漲4.73%,過去兩個月下跌超過50%。根據CoinMarketCap的數據,萊特幣過去24小時的交易量停滯不前,剛剛超過30億美元。萊特幣從盤中高點81美元的下跌標志著多頭未能突破趨勢線下跌阻力位。圖表還顯示了5日和10日均線(MA)之間的看跌交叉。此外,長期MA位也有利于空頭。因此,阻力最小的路徑是下行路徑。[2018/7/12]

HotStuff論文中提出一個“認證復雜度”的概念。認證復雜度簡單來說,統計協議交互時通信的認證消息數,也就是部分簽名或聯合簽名消息的個數。

HotStuff兩個重要的優點

一個是linearity,指的是通信的復雜程度和節點數成線性關系;

另一個是responsiveness,指的是當網絡通信成為同步的時候,HotStuff能產生正確的Leader來推動協議在網絡延遲的實際值內而非最大值達到共識。

HotStuff在原先諸多的BFT共識協議中提升了效率,降低了復雜度。基于這些特性,HotStuff適合于構建大規模的狀態復制服務。因此,不難看出,Libra從眾多的區塊鏈共識算法中挑選HotStuff,看中的是HotStuff的效率、線性的擴展性,以及拜占庭容錯的安全性。

這也體現了Libra的平衡術–在去中心、安全、擴展性這個棘手的區塊鏈三難問題上,巧妙的選擇一個平衡點。

5.4LibraBFT

嚴格說來,LibraBFT是基于HotStuff的一個變種,叫鏈式HotStuff。鏈式HotStuff是在基本HotStuff上引入流水線概念,進一步提升效率的一個改進共識協議。libraBFT最初會選擇一些在不同地理上分布的創始成員做共識節點,以后逐漸的,共識節點會對外開放,并基于libra穩定幣的多少來選擇共識節點,也就是轉變成PoS機制。

libraBFT的共識流程是分為不同輪次,每一輪中一個Leader主節點被選出。主節點會提議一個區塊,里面包括多個交易。該區塊將廣播給其它共識節點。其它共識節點會驗證區塊里的交易,并對其投票。主節點收到大多數節點的投票后,主節點把確認消息發給所有共識節點確認。如果主節點沒收到大多數投票,或者主節點出現故障,副本共識節點的定時將超時,副本節點會發起新的一輪提議。

libraBFT在HotStuff基礎上的改進主要在于提供一個詳細的參與同步輪次的Pacemaker設計和實現。并提供對實際交易確認的活性分析。LibraBFT提供對共識節點投票權力的重配置機制。同時它給出了對提議節點和投票節點激勵的機制。白皮書給出了如何檢測投票節點破壞正確性的行為,為今后在協議中加入懲罰機制打下基礎。同時白皮書也詳細討論如何做同步,使得投票節點能同步它們的狀態。libraBFT白皮書采用Rust語言來描述協議。

在LibraBFT中,為了更好地支持Libra生態系統的目標,LibraBFT以多種方式擴展和調整了核心HotStuff協議和實現。重要的是,LibraBFT重新定義了安全條件,并提供了安全、存活度和更高響應度的擴展證明。LibraBFT還實現了一些附加功能。

首先,通過讓驗證器對塊的結果狀態(而不僅僅是交易序列)進行集體簽名,LibraBFT使協議更能抵抗非確定性錯誤。還允許客戶端使用法定人數證書來驗證讀取的數據庫。

其次,LibraBFT設計了一個發出明確超時的起搏器,驗證器依靠法定人數來進入下一輪-不需要同步時鐘。

第三,LibraBFT打算設計一個不可預測的領導者選舉機制,其中一輪的領導者由最新提交的塊的提議者使用可驗證的隨機函數VRF確定。這種機制限制了攻擊者可以針對領導者發起有效拒絕服務攻擊的時間窗口。

第四,LibraBFT使用聚合簽名來保留簽署仲裁證書的驗證者的身份。這使我們能夠為有助于仲裁證書的驗證人提供激勵,聚合簽名也不需要復雜的密鑰閾值設置。

5.5實現細節

LibraBFT共識組件最主要的是實現了Actor程序模型,它使用消息傳遞在不同的子組件之間進行通信,其中tokio框架用作任務運行時。Actor模型的主要例外是(因為它是由幾個子組件并行訪問的)是共識數據結構BlockStore,它管理塊、執行、仲裁證書和其他共享數據結構。共識組件中的主要子組件是:

TxnManager是內存池組件的接口,支持拉取交易以及刪除已提交的交易。提議者使用來自內存池中的按需拉取交易來形成提議塊。

StateComputer是訪問執行組件的接口。它可以執行塊,提交塊,并可以同步狀態。

BlockStore維護提議塊樹,塊執行,投票,仲裁證書和持久存儲。它負責維護這些數據結構組合的一致性,并且可以由其他子組件同時訪問。

EventProcessor負責處理各個事件(例如,process_new_round,process_proposal,process_vote).它公開每個事件類型的異步處理函數和驅動協議。

Pacemaker負責共識協議的活躍性。它由于超時證書或仲裁證書而改變輪次,并在它是當前輪次的提議者時提出阻止。

SafetyRules負責共識協議的安全性。它處理仲裁證書和分類信息以了解新的提交,并保證遵循兩個投票規則—即使在重啟的情況下。

所有共識消息都由其創建者簽名,并由其接收者驗證。消息驗證發生在離網絡層最近的地方,以避免無效或不必要的數據進入協商一致協議。

06?

總結

Libra區塊鏈的架構設計汲取了Bitcoin和Ethereum的兩大區塊鏈技術的精華,使用了新的智能合約語言。如果把Bitcoin的腳本指令比作匯編語言,那么Ethereum的Solidity就是類似于JavaScript的動態語言,匯編語言效率最高但難于編寫,動態語言靈活強大但容易產生難于覺察的bug,這兩種語言用來編寫和金融相關的業務都不是最優的。Move語言借鑒了Rust語言的所有權管理機制,在編寫智能合約時既保證了安全性又不失靈活性。

libraBFT基于鏈式HotStuff,其確認規則遵從3-chain的確認規則。libra能在眾多的共識協議中選擇HotStuff,顯示了libra團隊的眼光,以及在區塊鏈三難問題上巧妙的平衡術。libraBFT繼承了HotStuff,使得它的共識協議具有正確性,在半同步網絡下的活性,最終性;同時具有通信線性復雜度和響應性。

Libra的實現也展示了簡易性和模塊化的實現。同時也體現了sustainability,不需要工作量證明以降低能耗。

參夸文獻:

《Libra白皮書2.0》

《LibraBFT共識協議》

來源丨BitTribeLab?作者丨孫海濤

Tags:LIBLIBRA區塊鏈BFTlibra幣官網libra幣在哪個交易所區塊鏈最大騙局bft幣賣多少錢一個

芝麻開門交易所下載
加密交易平臺Robinhood再融資3.2億美元,估值達86億美_COIN:BER

據TheBlock7月13日報道,《財富》網站顯示,加密貨幣及股票交易平臺Robinhood在5月的F輪融資中從新老投資者籌集了3.2億美元,其估值已達到86億美元.

1900/1/1 0:00:00
比特幣HODLer靠DeFi賺取“被動收入”靠譜嗎?_比特幣:比特幣交易在中國合法嗎

本文來自?Decrypto,原文作者:MathewDiSalvoOdaily星球日報譯者|Moni用加密行業“老炮兒”AndreasAntonopoulos的話說.

1900/1/1 0:00:00
5個月,7次被盜,3500萬美金,DeFi為何成為黑客提款機?_EFI:DEF

今年以來,DeFi成為了區塊鏈的新風口,包括最高暴漲166倍的COMP在內的諸多DeFi項目,都出現了讓人拍斷大腿的行情,而DeFi鎖定的資金也穩步上漲到20.8億美金.

1900/1/1 0:00:00
DeFi前車之鑒,復盤DeFi中的攻擊邏輯_ETH:EFI

摘要 越來越多的人希望通過攻擊智能合約來竊取資金,他們正在利用當智能合約組合在一起時出現的漏洞進行攻擊。2020年,對DeFi的攻擊中,被套取或盜取的總金額已經達到了3600萬美元.

1900/1/1 0:00:00
引介 | Omen:新一代的預測市場_OMEN:CRACE

Omen預測市場已于7月2日上線,可通過Omen.eth或IPFS鏈接訪問。在2014年第一季度,以太坊論壇上出現了一個帖子,詢問去中心化協議是否可以解決依賴于中心化運營者的預測市場的“信任問題.

1900/1/1 0:00:00
主流幣在沉默,山寨幣在狂歡,加密貨幣的列車駛向何方?_比特幣:USDT幣提現判多久

和平平無奇的主流幣相比,今年的山寨幣迎來了自己的春天。動輒幾倍,甚至幾十倍的漲幅甚至讓人在恍惚之間有夢回2017年的錯覺.

1900/1/1 0:00:00
ads