以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 比特幣 > Info

比原鏈研究院 | 一種弱同步網絡假設下的門限簽名系統_COM:區塊鏈

Author:

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

近幾年門限密碼學在區塊鏈系統里開始逐漸被應用,分為門限加密和門限簽名,一般見于隨機預言機、防審查、減少通信復雜度、共識網絡中防拜占庭以及作為分布式偽隨機數生成器的重要原語,其優越的資產協同防盜特性也慢慢被新興數字資產托管機制所重視,今天我們主要討論公鑰密碼學里的門限簽名機制。一種理想的門限簽名系統是可以在異步的網絡環境里做到容錯容災不可偽造,并且擁有極度可靠安全的消息傳輸通道,簽名份額的生成和驗證是完全非交互式的,在初始密鑰階段具備可以防止拜占庭行為的異步分布式密鑰生成機制。

與基礎簽名機制類似,門限簽名機制也分為兩部分:

門限密鑰生成:基于安全參數構造一種分布式密鑰生成協議DKG,協議運行輸出一個共同的公鑰pk和分屬不同參與方各自所有的私鑰份額ski,聚集起滿足閾值數量的私鑰份額可以構建出真正的私鑰sk。

門限簽名:基于分布式通信網絡,各參與方通過自己的私鑰份額ski完成對消息m的分布式協作簽署并輸出最終的可驗證簽名Sig(sk,m),這個簽名跟單獨用sk私鑰簽出的一模一樣,可以用所基于的基礎簽名機制里的驗證函數進行本地驗證,無需走通信交互驗證

聲音 | 比原鏈運營總監杜超:熊市需多做交互 助推整個行業進步:比原鏈運營總監杜超在做主題為“礦業生財之道”討論中表示,現在也希望能夠讓礦業和AI打通,當算力的收益下降時,將算力投入AI池,從而使得算力不會被浪費。現在熊市需要大家多做交互,將傳統行業引入到區塊鏈行業。而現在就有很多項目做得很好,是可以真正助推這個產業的。有時候用戶的希望太高,短期內無法完成,實現需要時間。我們要做的就要看好并且等待。現在區塊鏈行業內還有很多做技術的,時間應該可以給到一個很好的答案。[2019/3/11]

但是大多數情況下會通過使用一個可信的中心節點來實現私鑰份額的生成和分發。沙米爾秘密分享是最簡單的依賴中心dealer節點的門限密鑰生成方法,基本原理是拉格朗日插值,在(t,n)門限構造中,dealer會選擇一個(t-1)次方的隨機多項式f,令f(0)=s,s即為要分享的秘密值,然后向每個節點分發該多項式曲線上的點si=f(i)作為各自的秘密份額值,簡單來講,三個點確定一個二次方程曲線。為了解決中心作惡問題,人們又不斷探索了基于承諾的可驗證秘密分享,以及應用于異步網絡的VSS。有許多優秀成熟的commitmentscheme可以借鑒應用,簡單來講承諾算法=Com(pk,M,r)中pk是與承諾機制有關的公鑰,M是要承諾的原始值,r是一個隨機骰子,算法輸出的C便是commitment,D則是需要秘密保管的decommitment值,在正式公開M之前先公開M的承諾C,即先對自己要公布的消息做個上帝擔保,約束自己無法更換M,而對于M的受眾或者接收者,它們可以通過之前公布的承諾和驗證算法進行驗證唯一性。這里我們主要關注非交互式的VSS實現。

動態 | 比原鏈將在9月30日停止對第三方平臺比原鏈ERC20代幣兌換的技術支持:據比原鏈創始人段新星微博消息,截止2018年9月30日24:00,比原鏈團隊將停止對各第三方平臺的比原鏈ERC20代幣兌換的技術支持。[2018/8/23]

此外,在過往的研究里,簽名的生成和驗證大多是交互式的,并且依賴一個同步通信網絡和廣播通道,節點們在某種設定下接收到特定消息后便同時啟動簽名協議,并嚴格遵循超時機制。而在互聯網環境和區塊鏈網絡里,對網絡假設的限定是有限的,所以門限系統要成功運作除了需要構造真正的DKG協議和非交互式簽名機制外,還需要具備商用級的網絡系統以及被驗證過的成熟代碼實現。這里我們嘗試提出并構建一種弱同步網絡假設下的門限簽名分布式系統,主要對網絡模型、DKG構建、簽名機制進行一些創新結合和應用,探索在實際網絡環境里最小可實用的門限簽名系統原型。

門限系統是一種型fault-tolerance系統,t代表網絡最大容錯,k代表最小門限值,n是節點數,一般設定k>=t+1,但這種對網絡分區是無能為力的,所以在一個異步拜占庭網絡里我們依然選用經典設定k=n-t&t<n/3去達成系統里的一個大多數共識。

聲音 | 比原鏈運營總監馬千里:資產上鏈有五個“認知維度”:7月9日,巴比特副總裁、比原鏈運營總監馬千里發表文章《比原鏈資產上鏈研究五:資產上鏈的“認知維度”》。文中指出,資產上鏈有五個“認知維度”:

1.資產上鏈是“資產本身”的上鏈。需要通過物聯網等手段來驗證鏈上資產和線下資產是對應關系;

2.資產上鏈是“資產所有者”的上鏈。通常需要在區塊鏈上建立一個賬戶體系,以此證明“我是我”;

3.資產上鏈是“權利義務關系”的上鏈。需要對賬戶及賬戶間信用進行追索;

4.資產上鏈是“尺度”的上鏈。需要考慮怎樣做好賬戶體系建設等問題;

5.資產上鏈是“生態”的上鏈。鏈上世界將形成一個對于鏈下世界的映射,這是一個大規模的遷徙過程。[2018/7/9]

門限網絡或者通信模型是實現可實用門限系統需要認真考量的一個關鍵點。像HoneyBadgerBFT所構建的接近異步通信網絡在現實案例中是少見的,一般會增加消息復雜度和通信輪次,異步網絡模型主要依賴所接收到的消息類型和數量進行判斷,因為時間因子并不能區分誰是慢節點誰是惡意節點。但在這里我們更傾向采用高效的弱同步網絡假設,即消息延遲和時鐘偏移有上限但未知,延遲的漸進是合理的,保障liveness;能夠對crash、networkfailure、byzantine等不同情況盡量做到分開處理,比如設置規定時間內可容忍的crash閾值,對于誠實節點發生crash后能夠從一個規定的狀態恢復等;并且假設網絡故障總能被修復、遭受的DoS攻擊總會停止;最后在構建通信通路上可以借助PKI和外部CA構建TLS鏈接,以及借助經典的RBC協議。

比原鏈即將迎來主網上線:比原鏈官網公眾號發文《比原鏈|共建生態,擁抱未來》,文中指出,繼比原鏈Tensority算法細節發布之后,比原鏈即將迎來主網上線,人工智能和區塊鏈結合的時代也將開啟。[2018/4/19]

DKG是門限簽名最為核心的環節也是第一階段,負責完成門限密鑰的生成和分發。VSS是DKG的重要組成部分。上面提到VSS的基本原理是承諾機制,一般基于Pedersencommitment,構造形如C=mG+nH的承諾,其中m來自密鑰構造多項式f(x)系數,而n來自dealer另外構造的一個隨機多項式h(x)的系數,承諾集合{Ci,0<i<t}是一種公開可獲取的系數“證據”,用于證明dealer只承認一個合法的密鑰多項式。各個參與方在獲得dealer分發給自己的密鑰份額f(i)和秘密值份額h(i)后,計算f(i)G+h(i)H,如果與對應的承諾值相等,則認為合法,如果不一致,則認為dealer出現作惡行為,開始向網絡提交自己的抗議complaint,其他人可以進行驗證,如果發現事實如此,則立即停止協議,如果其他人驗證后發現該complaint不合法,則發起complaint的節點會被標記不可信。VSS過程簡單來講包括中心初始化密鑰分發、構建承諾和重建密鑰三部分內容,整個網絡交互存在兩輪全網廣播達成一致,最終將密鑰份額和承諾傳遞給每個參與節點,這里我們會定義三種消息類型用于標記多輪消息序列并攜帶足夠的信息用于計算門限密鑰。

比原鏈與比特大陸合作礦機疑似曝光:剛剛,比原鏈創始人長鋏發布配圖微博“猜猜這是什么”,圖片中顯示為一臺礦機,網友在評論區回復稱“比特大陸產的比原礦機”。此條微博似乎驗證了早前“比原鏈與比特大陸合作礦機”一事。[2018/4/17]

真正的DKG是需要去掉VSS里的那個中心,在分布式協作下生成秘密,避免單點泄漏風險,其原理也很簡單,相當于n個節點同時各自選擇秘密值并運行自己的VSS,每個節點收集來自其他節點的秘密份額完成組裝,組裝后的結果便是真正私鑰的份額,而各個合法節點各自分發的秘密值聚合起來便是最終的構造私鑰,最后在進行承諾驗證。這似乎很像一個Multi-valuedValidatedByzantineAgreement(MVBA)protocol。

不過我們盡量避免這種復雜的實現,一般通過選舉出Leader節點,統一協調處理這些VSS的完成情況和最終共識,定義序列,當大多數節點完成各自的VSS階段并被其他所有誠實節點所確認后,Leader將這些已完成的VSS信息進行收集并重組提案,再經過兩輪全網廣播后,每個節點便會確定下各自最終的秘密份額,因此保障liveness對于我們的系統是十分關鍵的。如果DKG協議里任何一方出現惡意行為,協議都會立即停止,即DKG需要確保所有參與方的誠實行為。至此,一把公共的門限公鑰和分屬不同參與方的門限私鑰份額便構造完畢。

簽名階段簡單來講是基于上面得到的密鑰份額各自完成簽署自己的簽名份額,最后再完成統一組裝,得到最終門限簽名。Thresh-Sig階段的具體實現與所基于的數字簽名算法有很大關系,例如Schnorr算法在計算簽名s值時所依賴的秘密值k在常數項,s=k-z(H(K||M)),所以可以簡單的將秘密值份額相組。而ECDSA中秘密值k是非線性的,即s=(H(M)+zr)/k,存在兩個秘密值的乘運算,所以各個節點不能僅通過擁有k秘密值份額來完成最終簽名值的組裝,需要對公式進行變形,重新定義組合秘密值kz,并分布式完成kz的秘密份額計算以及分發,甚至需要借助安全多方計算、同態加密機制以及零知識證明,因此多方的ECDSA門限簽名在實現和效率上會比較復雜,現階段以可實用的2-2方案研究居多。

不論是采用ECDSA還是Schnorr算法,最核心的問題依然是基于DKG和多方計算的原理去生成和分發簽名算法中需要的秘密值,每個參與方基于各自的密鑰份額和秘密值份額完成自己的簽名過程,最后通過整體的交互組裝獲得最終的合法簽名。同樣的,如果無法達到足夠門限閾值數量的合法簽名方,簽名協議也會立即停止。根據不同的應用場景需求,我們需要認真研究用于實現門限簽名機制的底層簽名算法,比如ECDSA、EdDSA、Schnorr、BLS等,不同的簽名算法對應的門限機制實現復雜度和效率是不同的。

此外,一個完整的門限系統可能會有成員變更的需求,原有的密鑰份額隨之需要新一輪變更,最直觀的做法是引入周期的概念,通過同步網絡和共識協議發起新一輪密鑰生成,產生新的主公鑰和私鑰份額,用超時機制防止阻塞。成員變更和DKG是一種比較精細的系統,任何一個成員fail或者fault都會引發狀況外。在實現上我們用狀態機復制原理構建門限節點,基于消息輸入更換自身狀態。

門限密碼學隨著結合應用場景的需求研究增多,不斷完善自身成熟度,尤其是隨著高度可靠的代碼實現增多,隨著復雜網絡環境里的系統架構成熟,有希望在價值網絡里扮演“門神”的重大作用,同時會促進對零知識證明、同態加密技術的進一步場景化應用,是當下區塊鏈新技術領域為數不多值得深入研究和實戰的研究方向。現代密碼學與價值網絡相輔相成,前者給予后者“上帝保障”,后者給予前者“偉大戰場”。

比原鏈研究院劉秋杉

Tags:比原鏈COM區塊鏈DEAL比原鏈幣未來價格Compound Augur區塊鏈怎么入手DEAL價格

比特幣
區塊鏈行業周報:本周區塊鏈資產總市值比上周下跌18.89%_以太坊:工業區塊鏈

本報告由火幣區塊鏈研究院出品,報告發布時間2019年9月29日,作者:袁煜明、王蕊 摘要: 本周區塊鏈資產總市值比上周下跌18.89%,TOP100項目中93個項目市值有不同程度下跌.

1900/1/1 0:00:00
“朋友圈”擴容提速 銀行系持續深挖區塊鏈潛力_TOK:TOKE

相比大數據、人工智能、云計算等技術,銀行系對區塊鏈技術一直保持著較為謹慎的態度,“重在實干,很少宣傳”。不過,隨著最近多項銀行系實干成果的展現,區塊鏈技術運用迅速升溫.

1900/1/1 0:00:00
Bakkt還沖擊不到傳統加密貨幣期貨交易?——幣安、OKex、抹茶同臺發聲_比特幣:加密貨幣

文|互鏈脈搏·梁山花榮 互鏈脈搏按:Bakkt上線雖然沒能引爆新一輪牛市,但對加密貨幣期貨合約市場的影響意義深遠.

1900/1/1 0:00:00
小扎萬萬沒想到,Libra“眾叛親離”的日子來得這么快_MEME:GMEME價格

扎克伯格可能沒想到,Libra“眾叛親離”的日子來得這么快。繼上周美國支付巨頭PayPal退出之后,另外五家重量級公司也選擇了退出.

1900/1/1 0:00:00
除了比特幣優勢指數( BDI ),我們還應該關注什么?_比特幣:ALA

比特幣優勢指數是加密資產市場中最受歡迎且談論最多的數據點之一。但是,這種把比特幣作為加密貨幣的黃金標準的衡量方式存在很多問題.

1900/1/1 0:00:00
解讀加密圈最流行的資產估值模型EoE:MV=PQ_區塊鏈:EOS Se7ens

由約翰·穆勒引出的交易方程式,是目前加密圈里最流行的估值模型。這個方程式是一個恒等式: MV=PQ 其中, M=貨幣供應量(MoneySupply),為一定時期流通中的貨幣的平均數量;V=貨幣流.

1900/1/1 0:00:00
ads