比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > 火星幣 > Info

比特幣:鄒傳偉:技術解析比特幣應對雙花攻擊的安全性問題

Author:

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

從數學角度深入論證比特幣分布式賬本面對雙花攻擊的安全問題,核心是誠實節點和惡意節點在挖礦中的競爭。

撰文:鄒傳偉,萬向區塊鏈首席科學家

中本聰在比特幣白皮書技術部分討論了比特幣分布式賬本面對雙花攻擊的安全問題,核心是誠實節點和惡意節點在挖礦中的競爭。這部分內容非常重要,但中本聰的表述非常簡略,省去了關鍵論證過程。區塊鏈行業中有專家對這部分內容做了說明,但都存在一些疏漏之處。本文在前人工作的基礎上,試圖給出一個嚴謹解析。

比特幣挖礦的數學過程

比特幣挖礦的本質上通過不斷運行哈希計算,以找出一個符合要求的Nonce,使其前若干位等于0。如果將Nonce視為一個十六進制小數,那么其可以視為一個在0和1之間均勻分布的隨機變量,合格Nonce需小于α。α由比特幣算法根據全網算力調整。

現場 | 鄒傳偉:DC/EP交易筆數達312多萬筆 交易金額超11億元:金色財經現場報道,由Web3基金會主辦的Web3大會10月29日在上海舉行。萬向區塊鏈實驗室首席經濟學家鄒傳偉在會上透露,截至2020年8月底,DC/EP全國落地試點場景達6700 個,覆蓋生活繳費、餐飲服務、交通出行、購物消費、政務服務等領域;累計開立個人錢包11.33 萬個、對公錢包8859個,交易312多萬筆,交易金額超過11億。支持條碼支付、刷臉支付和碰一碰等多元支付方式。[2020/10/29]

用Η表示全網算力,含義是每秒可運行哈希計算的次數。用隨機變量τ表示找到合格Nonce的時點,τ是概率論上的停時概念。因為不同次哈希計算的結果相互獨立,所以對任意t>0,

因此,隨機變量τ的累積概率分布函數等于

(1)表示參數為-ln(1-α)Η的指數分布。根據指數分布的性質,找到一個合格區塊的平均時間為

萬向區塊鏈鄒傳偉:在DC/EP中區塊鏈用于數字貨幣的確權登記 居于輔助地位:萬向區塊鏈首席經濟學家鄒傳偉表示,支付系統(乃至金融基礎設施)分為賬戶范式和Token范式,前者以銀行賬戶體系為代表,后者以區塊鏈為代表。鄒傳偉分析認為:DC/EP發行登記子系統由中央銀行負責維護,是中心化的,不需要運行共識算法,這樣就不會受制于區塊鏈的性能瓶頸。在DC/EP中,區塊鏈用于數字貨幣的確權登記,居于輔助地位,比如網上驗鈔功能。鄒傳偉也曾表示,DC/EP和現金的投放路徑類似,二元體系設計考慮了商業銀行利益,預計會進一步推動商業銀行去拓展零售支付和零售業務。(中國經營網)[2020/4/26]

用T表示平均出塊時間。那么,存在如下關系

(2)就是比特幣的難度系數調整機制。

誠實節點與惡意節點之間的挖礦競爭

現場 | 鄒傳偉:DC/EP屬于Token范式 而非賬戶范式:金色財經現場報道,萬向區塊鏈公司首席經濟學家鄒傳偉在“CAN峰會?萬物互鏈”上對DC/EP的設計作出五點推測,其中包括:

1、賬戶松耦合=Token范式。DC/EP屬于Token范式,而非賬戶范式。

2、DC/EP使用基于UTXO模式的中心化賬本。這個中心化賬本體現為數字貨幣發行登記系統,由中央銀行維護,是中心化的,不需要運行共識算法,這樣就不會受制于區塊鏈的性能瓶頸。

3、DC/EP錢包。用戶需要使用DC/EP錢包,錢包的核心是一對公鑰和私鑰。公鑰也是地址,地址里面存放人民幣的數字憑證。這個數字憑證基于100%人民幣準備金發行。

4、DC/EP交易。用戶通過錢包私鑰,可以發起地址間轉賬交易,交易由中央銀行直接記錄在中心化賬本中。

5、DC/EP推行策略:先批發(to B),后零售(to C或用于一般目標);先境內使用,再用于跨境支付。[2019/12/3]

假設全網算力H不變,誠實節點與惡意節點的算力分別為Hg和Hb,H=HgHb。它們找到合格區塊的時間分別為τg和τb。根據前文的分析,和均服從指數分布,參數分別是

聲音 | 鄒傳偉:2大因素將對穩定幣市場構成巨大影響:據火星財經消息,比特大陸首席經濟學家鄒傳偉表示,沒有任何儲備資產的穩定幣可能不會取得成功。從長遠來看,監管合規和透明工作做的到位的企業更有可能取得成功。同時人們要注意兩點,第一是投資組合重組效果,前不久發生的USDT價格跳水就是人們改變投資組合、拋售劣質的穩定幣購買主流貨幣的結果;第二是流動性短缺影響,人們會以較低價格清算劣質資產,導致該資產的流動性大大降低,這對整個市場會構成巨大影響。[2018/10/18]

誠實節點先找到合格區塊的概率是

同理,惡意節點先找到合規區塊的概率是

(3)和(4)說明,先找到合規區塊的概率與算力成正比。

惡意節點從落后追趕誠實節點的問題

假設全網算力H、誠實節點的算力Hg和惡意節點的算力Hb均保持不變。假設惡意節點落后誠實節點個區塊,接下來考慮惡意節點趕上誠實節點的概率。站在惡意節點的角度,引入如下計數函數

哈佛梅森學者鄒傳偉:目前核心問題是區塊鏈內外的交互:今日鄒傳偉博士在五道口校友群分享看法表示,區塊鏈涉及的問題很多,但區塊鏈要對現實世界的人類經濟社會活動產生影響,目前面臨的一個核心問題(或核心障礙)是資產、交易和信息在區塊鏈內外的交互。因為“區塊鏈外的信用體系,完全不同于區塊鏈內的去信任環境,甚至是兩個不太相關的問題。”[2018/3/3]

其中,-z表示初始時惡意節點落后誠實節點z個區塊。Ii(τb<τg)表示第i個合格區塊是否由惡意節點生成。若是,則L(n)增加1;否則,L(n)減少1。換言之,L(n)刻畫了在n個區塊后,惡意節點領先于誠實節點的區塊數量。

惡意節點與誠實節點之間開展的是「最長鏈競爭」。用qz表示惡意節點趕上誠實節點的概率,數學表述是:

(6)的含義是,惡意節點從落后z個區塊出發,能超越誠實節點1個區塊的概率。

考慮第1個區塊的情況。如果這個區塊由惡意節點生成,則惡意節點領先于誠實節點的區塊數量變為-z1,此情形的概率為Pr(τb<τg)=q;反之,這個區塊由誠實節點生成,惡意節點領先于誠實節點的區塊數量變為-z-1,此情形的概率為Pr(τb>τg)=p。因此,

另外,q-1=1。但僅憑(7)和這個邊界條件不足以求解,需要將這個問題轉換為「賭徒破產」問題。

假設惡意節點在落后誠實節點N個區塊后放棄追趕,惡意節點在超越誠實節點1個區塊后贏得「最長鏈競爭」。這兩種情況都對應著「最長鏈競爭」停止,表示成「賭徒破產」問題是:

其中,τc也是概率論上的停時概念,L(τc)=-1表示惡意節點贏得「最長鏈競爭」,L(τc)=-N表示惡意節點退出「最長鏈競爭」。此時,(6)等價于

(7)仍然成立,但有兩個邊界條件:

(7)可以等價表述為,

也就是

迭代可知,

將上述迭代結果累加起來可得,

(12)

考慮邊界條件(10),存在兩種情況。

第一,q>p。因為q/p>1,所以

第二,q

p=q=0.5

在上述求解過程中,N->∞的含義是惡意節點為了贏得「最長鏈競爭」可以容忍任何大的成本。這當然是一個過于理想化的假設,只考慮了惡意節點從落后追趕誠實節點在技術上的可行性。實際上,惡意節點會衡量追趕的成本和收益,在很多情況下成本超過收益,說明追趕即使在技術上可行,在經濟學上不可行。這會為比特幣分布式賬本帶來安全保障。

這就對應著比特幣白皮書第6頁給出的如下公式。需要說明的是,比特幣白皮書討論的是惡意節點從落后追平誠實節點的概率,而(15)給出的是惡意節點至少超過誠實節點1個區塊的概率。

分布式賬本面對雙花攻擊的安全性

這是比特幣白皮書重點討論的問題。此問題的關鍵是泊松過程與指數分布之間的關系。如果從任意時點開始統計區塊生成數量,由此得到的計數過程就是泊松分布:

任意兩個不重疊的時間段內區塊生成數量是互相獨立的隨機變量;在任意長度為的時間段內,區塊生成數量服從泊松分布

換言之,在相鄰兩個區塊之間的時間間隔服從參數為-ln(1-α)H的指數分布時,與其對應的計數過程服從參數為-ln(1-α)H的泊松過程。

在雙花攻擊中,假設交易發起者等待了z個區塊。這些區塊由誠實節點生成,對應的時間等于

假設惡意節點在這個時間段內在私下生成區塊,累計生成區塊生成數量Z服從泊松分布,參數等于

這對應著比特幣白皮書第7頁的如下公式:

根據泊松分布的定義,

在時0<=Z<=z,惡意節點落后的區塊數為z-Z;在Z>=z1時,惡意節點已完成雙花攻擊。因此,惡意節點雙花成功的概率等于(只討論q

免責聲明:作為區塊鏈信息平臺,本站所發布文章僅代表作者個人觀點,與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考,并非作為或被視為實際投資建議。

比特幣

比特幣

比特幣Bitcoin,一種去中心化、非普遍全球可支付的加密數字貨幣,而多數國家則認為比特幣屬于虛擬商品,并非貨幣。比特幣的概念,誕生于2008年署名為中本聰的一篇論文,并于2009年1月3日,基于無國界的對等網絡,用共識主動性開源軟件發明創立。比特幣協議數量上限為2100萬枚,以避免通貨膨脹問題。使用比特幣是通過私鑰作為數字簽名,允許個人直接支付給他人,不需經過如銀行、清算中心、證券商等第三方機構,從而避免了高手續費、繁瑣流程以及受監管性的問題,任何用戶只要擁有可連接互聯網的數字設備皆可使用。比特幣BTCBitcoin查看更多

Tags:比特幣區塊鏈ONCTOK30歲老公玩比特幣輸了好多錢區塊鏈騙局曝光騙局IONChainAirdropToken

火星幣
區塊鏈:區塊鏈技術可以在哪些方面顛覆石油和天然氣行業?

《區塊鏈行業觀察》專欄·第53?篇作者丨SaniAbdul-Jabbar 圖片丨來源于網絡 如果有人想出了如何使用區塊鏈技術來徹底改變石油和天然氣行業?那會是什么樣子,我想知道.

1900/1/1 0:00:00
數字資產:ZT創新板即將上線FOREX

親愛的ZT用戶: ZT創新板即將上線FOREX,并開啟FOREX/USDT交易對。具體上線時間如下:充值:已開啟;交易:2021年9月28日17:00?; FOREX Hero上線ZT創新板,開.

1900/1/1 0:00:00
KSM:Gate.io 支持一鍵參與KSM插槽拍賣活動火熱進行中(目前Genshiro領先)

第10次波卡插槽拍賣已于2021年9月29日20:00正式開始,正在火熱進行中。目前Genshiro以15,441.8956KSM的質押量排名靠前,截至2021年10月4日14:00,Gate.

1900/1/1 0:00:00
數字人:數字人民幣在農村產權交易場景投入應用

據新華社消息,9月29日,建設銀行上海市分行與上海農村產權交易所簽署金融服務推動鄉村振興戰略合作協議。雙方將在農村產權交易與涉農普惠金融創新、鄉村振興領域數字人民幣服務等五個領域深入開展合作.

1900/1/1 0:00:00
數字藝術:支付寶、騰訊入局數字藝術品市場,國產數字藝術品平臺未來會走向何方?

9月24日中午,名為“街舞怪才”的用戶在淘寶阿里拍賣平臺拍賣編號為NO.1的杭州亞運會數字火炬數字藝術品。有用戶出價至大約315萬人民幣.

1900/1/1 0:00:00
NFT:幣安NFT市場推出《大陸冰球聯盟》盲盒系列:贏取獨家鉑金卡、精彩比賽片段等!

親愛的用戶: 幣安NFT市場將于東八區時間2021年09月27日19:00推出大陸冰球聯盟獨家盲盒系列!該系列具有特殊的游戲化功能,用戶完成收集指定盲盒組合,將可獲得特殊獎勵.

1900/1/1 0:00:00
ads