老子曰:“人法地、地法天、天法道、道法自然”。在區塊鏈的實踐中,由于是建立Code is Law的體系,遵循 In Math We Trust 的法則。在一個不受個體控制的網絡,遵循自然的法則尤其重要。我提倡Filecoin的設計從簡、自然。也是這個道理。
自然常數 e,是一個神奇的數,在數學中又極為自然。本文講一講 Filecoin 的共識機制的實現進化與自然常數 e 的關系。
初期預期共識空塊率過高:1/e
預期共識的實現是一個不段發現的過程
tipset區塊數預期提升(至5),安全性和效率的兼顧
讓每一個字節都參與投票:優雅的密碼抽簽 + e
[預警:數學、概率與分布]
e 被成為自然常數,在數學家的眼里,這個常數非常自然。但是,對于普通人而言,對于 e,由于沒有形象化的描述,就很難理解。本文通過 e 在 Filecoin中的應用,希望能夠找到一些點,能夠幫助大家 1)了解Filecoin的一些設計;2)通過 Filecoin 得到一點 e 的形象化的描述和印象。
常見的比較復雜的有意思的數學常數有兩個,一個是 π,一個是 e。大家對π 都非常熟悉,因為它有一個非常形象化的名字,叫圓周率,也就是說是任何一個圓的周長和直徑的比值。非常形象,非常容易理解。小學不學的話,初中總會學到了。
德勤與Ava Labs合作建立區塊鏈平臺以簡化自然災害報銷:金色財經報道,專業服務公司德勤周二宣布與Ava Labs建立合作伙伴關系,以創建一個基于區塊鏈的災難恢復平臺。這個名為Close as You Go(CAYG)的新平臺旨在簡化向聯邦緊急事務管理局(FEMA)的災難報銷申請,目標是為這些機構節省通常因不遵守聯邦采辦要求、福利重復和缺少文件而損失的數百萬美元。CAYG于11月16日上線,正在美國東南部自然災害頻發的地區進行試點。[2021/11/17 21:55:59]
其實 e 是與 π 同等重要的一個數學常數,在數學中的使用一點也不比 π 少。比如就在我們今天所討論的 Filecoin 區塊鏈中,e 在很多地方被使用,而 π 則不然,基本上沒有被用到。
π = 3.1415926535897......
e = 2.718281828459045......
π 和 e 同為超越數,即不是代數數(有理數方程的解),當然也是無理數,無限不循環小數。
但其實,e 和 π 在數學中有非常緊密的關系。甚至可以說,e 就是 π 的另一種表示方法。為什么呢,請看最優雅數學公式 - 歐拉公式:
動態 | ConsenSys與世界自然基金會合作啟動基于區塊鏈的慈善透明平臺Impactio:區塊鏈軟件技術公司ConsenSys和世界自然基金會(WWF)合作啟動基于以太坊區塊鏈的慈善透明平臺Impactio,旨在監督和資助非政府組織和獨立公司中的項目,追蹤公司的資金如何用于相關社會項目。(cointelegraph)[2019/9/29]
為什么優雅,這個一個簡單的公式把數學中的5個元素(0, 1, i, π, e)十分簡單地統一在一起了。就像物理學家希望統一力場一樣,數學家也有把總結簡潔規律的偏執。
這個公式也表達了 e 和 π 的簡單直接的關系。當然,他們之間還有一些有意思的關系,比如:
但是,這些仿佛把事情更加復雜化了,對于 e 本身的理解并沒有幫助。到底 e 是什么呢?數學中會講,e 是自然對數的底,它的一個總要特點就是 e^x 的導數還是 e^x,同時,e 可以通過下式來表達和計算:
稍微形象一點的表達,就是在復利的計算上,e 表達一個在一段時間內翻倍增長的利率,進行極限的連續復利計算能夠達到的極限值。也就是說,如果年利率是100%,你如果無限細分一年到 n 個時間段,那么每個時間段的利率為 1/n,而最終你能得到的連本帶利的收入為 e 倍,也就是2.7倍多一些。
現場 | HPool CEO Alex:區塊鏈更像自然法律 比特幣更像黃金不可逆:在今日主題為“POC-共識機制下的硬盤挖礦前景”的金色沙龍第37期北京站上,在沙龍接近尾聲時,HPool CEO Alex從另一個角度表達了與“踢館”嘉賓不同的觀點,他表示,區塊鏈更像自然法律,比特幣更像黃金不可逆,比特幣開采能力更像挖一座金山金礦,所以代碼級是高于人性的,所以他創導了可信的生態環境、可信的數據環境。既然所有的礦工相互不認識,在比特幣以前任何國家、任何地方、任何人想私發貨幣,這都是掉腦袋的,比特幣為什么合理?是因為它沒有特定的人。追溯一下貨幣,最早的貨幣都是天然的,黃金、銀、貝殼、石頭。POC網絡一定比POW更安全,POC是人人都可以參與,人人可參與相當于把權利和可發行打散了,越來越安全。硬盤存量的確很大,也體現了未來發展空間很大。POC其實已經是一個迭代了,但是它已經站在了POW巨人肩膀上,它就是POW的進階板。[2019/8/23]
這仍然不夠形象,那么下面映射到 Filecoin 的共識機制來看一看。
先來復習一下Filecoin白皮書里面描述的預期共識。在go-filecoin的早期實現中,采用的是簡單的預期共識,也就是說,每一個礦工按照自己的算力與總算力的比來獲得出塊權的概率。因為所有礦工的算力之和等于總算力,所以系統每一輪的總出塊概率的期望值為 1。簡單來說,就是每一輪平均出一個塊,但是,每個礦工獨立計算,因此,每一輪的出塊數可能是各種各樣的。
動態 | 自然雜志:量子計算機使區塊鏈安全性受到威脅:世界頂級科學雜志《自然》在文章《量子計算機使區塊鏈安全性受到威脅》提到,區塊鏈是一種數字工具,它使用加密技術來保護信息,避免其受到未經授權的更改。區塊鏈安全性依賴于“單向”的數學函數,在傳統計算機上難以反向計算,但在十年內,量子計算機將能夠破解區塊鏈的加密代碼。但是使用量子安全加密和量子互聯網技術能增強區塊鏈安全性且提高其性能。[2018/11/19]
那么在這種情況下,我們建立一個簡單(也是有效的)模型來進行一個推演。假設系統中的礦工數為 n,每個礦工的算力占比為 1/n,那么,每一輪呢每個礦工的出塊概率為 1/n。
這樣,一輪中出現空塊的概率為:
如果 n 足夠大,那么,可以求得:
也就是空輪的概率超過三分之一,這個就太高了。
那么出塊數為 1 的概率有多大呢,可以簡單做如下計算:
斯坦福大學物理學家發現比特幣交易與自然法的相關性:據btcmanager消息,斯坦福大學國家科學院的博士生William Gilpin在其發表的論文中解釋了旋轉液體如何遵循與加密貨幣交易相同的準確原則。區塊鏈上的交易使用哈希算法進行加密。根據Gilpin的說法,這些散列函數通過改變包含在保護輸入的唯一加密輸出密鑰中的數字信息進行操作。與此類似,Gilpin認為,這與控制旋轉液體的主要方式大致相同。[2018/4/28]
仍然只有三分之一多一點。剩下的不到三分之一的概率都是多塊的輪次。這個結論與開發網當時的測試是完全吻合的。
從這里,我們找到了一個對于自然常數 e 的一個更形象化的解釋,那就是:在一個有很多人(大數)參與的獨立投票選舉中,每個人的贏得選舉的概率相同,同時預期贏得選舉人數為1的情況下,不能得出選舉結果的概率為 e 的倒數,也就是 1/e。
開發網出現的空塊率過高的情況,我們做了模擬,并與Filecoin研究開發團隊進行了討論。顯然,這么高的空塊輪次比例是不好的,這是的區塊時間不固定,交易時間預測起來也比較困難。
那么,一個簡單的改動是什么呢?那就是增加每一輪的區塊預期數量。因為預期共識本來一輪就可能出現多個區塊,在實現中采用tipset的方式進行組合,那么增加區塊的預期數量,對于設計實現而言非常簡單。
在測試網之前,Filecoin實現引入了預期每輪區塊數這個概念,這個被定義為 E (ExpectedBlocksPerEpoch)。當前默認:E = 5
既然,預期區塊數提高了,最簡單的方法就是把每個礦工的出塊概率提高5倍。但是,礦工出塊的計算采用擲骰子的方式。也就是產生一個 256 位空間中的一個數,來比較自己的算力占比,從而判斷是否擁有出塊權。這里就有一個數據越界的問題。Filecoin的實現在這個判斷上走過三個階段:
階段一:每個礦工按照自己的算力再進行切分,分別按照更小的份額進行選舉,如果贏得選舉就獲得一票。相同默認算力都按照每 25 個 sector來進行統一切分(剩余部分單獨算)。這個辦法的好處是每一個選舉人算力都基本一樣,進行公平選舉。但是,由于每25個sector都要進行單獨計算,每一個部分都需要I/O訪問,時間消耗較大。Filecoin團隊的最初目的是把這個出塊權和時空證明放在一起。但是,最后從安全的角度來考慮,由于計算相對復雜,還是放棄了。
階段二:直接極致簡化,不考慮越界的問題,直接乘以5進行比較計算。這個是在時空證明已經通過WindowedPoSt替代 SurprisedPoSt的情況下的一個簡化措施。但是,這樣做有兩個問題:1)對于算力大于 20% 的礦工肯定是吃虧的;2)當礦工算力足夠大時,一定能夠贏得選舉。這第二個問題比較嚴重。我們慎重提出,這是一個安全問題,應該改。
階段三:采用密碼抽簽的方式,借鑒Algorand采用的算法。逐漸走向完善。
Algorand的密碼抽簽是一個非常好的概率分布在選舉上的應用,對于區塊鏈POS網絡而言,非常棒。實現起來比較簡單直接。其具體算法如下:
這里不做詳細解釋,需要的人可以查詢相關資料。簡單地說,就是在POS選舉過程中,當你憑借自己產生的可驗證隨機數進行抽簽的時候,可以通過你自己的份額和相應二項式分布來看你落在哪一個區間,從而判斷你獲得了多少選票。
二項式分布是 n 個相同概率的獨立時間單獨計算而后相加的一個分布,而且整個分布正好切分整個概率空間。因此只需要看你的可驗證隨機數在那個空間就可以了(這個部分比較難說清楚,有意者線下探討)。
那么對于Filecoin而言,參與選舉的份額就是你的算力。如果按照前文中說的階段二的方式,可以再進行細分,那么可以考慮為每一個字節都參與投票。這樣一來,參與投票的選舉人數量非常大,整個計算不用采用二項式分布,完全可以采用泊松分布來進行計算。泊松分布的計算公式如下:
這里 λ 是自己的份額與預期總選舉票數的乘積。在Filecoin中,它就是
E * mPow/totPow;k 是獲得選舉權的數量。
看一下上式,是不是很神奇?自然常數 e 再一次用到了 Filecoin 的選舉的計算之中。采用泊松分布進行計算是 Filecoin 的一個改進,非常符合Filecoin的特點,同時計算也非常簡單。
采用密碼抽簽之后,就不能保證每一輪都一定會有礦工拿到出塊權了,這很正常,因為每個人都自己擲骰子,出塊權的計算是獨立的。這樣的話,實際上每一輪贏得不同的出塊選票的概率有多大呢?簡單做一個模擬可以得出下表:
這里空輪的概率是 e^-5。
也就是說,預期大約不到200個高度就會出現一個空輪。看起來還好。而每輪選票數為 3,4,5,6,7分布較多也比較均勻。選票數高達15張的情況也不少,大概萬分之1.6。
看到這里(如果你真的有耐心看到這里),您可能會想,e是不是與概率的關系比較大,其實我可以告訴你,π在有些時候也會用到概率計算之中。因為這兩個常數就是有牽扯不清的關系。
自然常數 e 在選舉之中的使用,至此顯得非常自然,而且也比較優雅。
同時,Filecoin在Token釋放上,也利用 e 進行計算。這個與概率無關,而是與衰減有關。Filecoin 不采用周期性減半的方式進行Token釋放,而是模仿放射性衰減,也就是指數衰減。白皮書設計為6年減半。而一般說來,衰減的公式可以寫為:
上式可以理解為:初始Token為 N0,隨時間推移,系統通過釋放,在 t 時間點系統中還應該保留的Token量N(t)的計算公式。
看這里,再一次出現了自然常數 e。當然這里不一定非要用 e 的。但是由于 e 的使用非常廣泛了,用起來方便順手。所以基本上現在這是一種統一的用法。
Tags:OINCOICOINFilecoinhashcoinSkinCoinCropcoinfilecoin幣價格今日行情實實走勢
我們知道,我們需要三分之二以上的驗證者才能正確遵守協議。但是究竟有多少個驗證者?他們是如何選擇的?他們為什么要遵守規則?為了使驗證者知道一個區塊具有超過三分之二的協議,GRANDPA需要知道總共.
1900/1/1 0:00:00A10 Pro 礦機是 INNOSILICON 出品的一款采用了 Ethash 算法,用于 ETH 挖礦的礦機,官方公布的算力為500MH / s(±5%).
1900/1/1 0:00:00金色財經 區塊鏈8月11日訊 Facebook已經推出了一項全新支付項目“Facebook Financial”(F2),并組建了一個支付團隊(包括Libra在內).
1900/1/1 0:00:00Bancor V2的智能合約已經部署在以太坊主網上。Bancor V2有一些亮眼的DEX功能,其中包括: 可以減輕無常損失 保持單個代幣的敞口 20倍的流動性放大 減輕無常損失對流動性提供者有很.
1900/1/1 0:00:00全球疫情正在長趨勢地阻滯世界經濟“外循環”,向“內循環”挖掘經濟潛力成為大勢所趨。但是,疫情時代全球貨幣政策已陷入多重困境,如何加力支撐“內循環”成為各國難題.
1900/1/1 0:00:00文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00