【超越白皮書4】Bancor 算法的數學、經濟學解析

2021-01-08 FX168財經網

摘要

EOS RAM在經過了價格大幅度波動後,其背後的Bancor定價機制也越來越為人所熟知。繼《【火線視點8】沒有免費的午餐——從EOS RAM價格看公鏈通證經濟體系設計》後,火幣區塊鏈研究院繼續對這一算法研究,分析其後背的數學和經濟學原理,並通過公式,我們計算對比了不同參數下RAM價格,主要得到以下研究結果:

Bancor公式中隱藏價格函數與經濟學上的價格彈性曲線的概念相通。

由於是根據供需量來得出價格,Bancor經過微積分計算得出購買RAM時所需EOS的等效價格,防止產生購買價格誤差。

在不同的曲線參數下,價格會有不同。我們以北京時間7月10日18點40分的情況為例,使用MATLAB R2015a進行測算:付出10 EOS以上,參數取值改為0.5會比0.0005的商品「性價比」更高。

1.引言

EOS RAM在經過了價格大幅度波動後,其背後的Bancor定價機制也越來越為人所熟知。繼《【火線視點8】沒有免費的午餐——從EOS RAM價格看公鏈通證經濟體系設計》後,火幣區塊鏈研究院繼續對這一算法研究,分析其後背的數學和經濟學原理。通過公式,我們計算對比了不同參數下RAM價格,可看到參數的確會產生一定程度上的影響。

另外需要注意的是:測算得到的數據結果不是也不應被視為是對EOS RAM未來價格走勢等情況的證明或確認。特此聲明。

2.主要結論

經過研究與測試分析,我們得到以下主要結論及技術建議:

Bancor公式中隱藏價格函數與經濟學上的價格彈性曲線的概念相通。

由於是根據供需量來得出價格,Bancor經過微積分計算得出購買RAM時所需EOS的等效價格,防止產生購買價格誤差。

在不同的曲線參數下,價格會有不同。我們以北京時間7月10日18點40分的情況為例,使用MATLAB R2015a進行測算:付出10 EOS以上,參數取值改為0.5會比0.0005的商品「性價比」更高。

3.什麼是Bancor

Bancor算法的本質我們在此前的《【火線視點8】沒有免費的午餐——從EOS RAM價格看公鏈通證經濟體系設計》報告中有過介紹:它是在1940年-1942年間由凱恩斯、舒馬赫提出的一個超主權貨幣的概念,可作為一種帳戶單位用於國際貿易中,並由英國在二戰後正式提出。然而,由於美國實力在二戰後一枝獨秀,Bancor 方案並沒有在布雷頓森林會議上被採納使用。但應用這一思想的 Bancor 算法則繼續延續了其生命力。Bancor 算法由 Bancor Network 項目提出應用,旨在採用公式來設定好數字資產間的兌換價格。其聯合創始人 Eyal Hertzog 近期也被BM邀請一起來探討 EOS 中 Bancor 算法的應用。

雖然Bancor Network近期也經歷被盜風波,但這不妨礙我們繼續研究這一算法。既然是原本要用於國際貿易的模型,那必然涉及到不同實體間如何兌換。Bancor 白皮書中對定價模型有著十分嚴謹和詳細的說明。它定義了兩類token:一種是通常會流通使用的 connector token(即儲備金,例如:BTC、ETH、EOS等),而另一種是作為「超平臺」中間媒介的 Smart Token。為了使得兌換價格滿足剛才提到的供需關係,設計的公式中的價格為 connector 的可流通餘量(balance)除以 按照一定係數的Smart Token 供應量:

(來源:Bancor Network白皮書)

其中,CW 的英文是 Connector Weight,表示設計出來的 Smart Token 的總價值與實際在使用中的 connector 餘量間的關係,設計好後為一個固定參數:

(來源:Bancor Network白皮書)

總體上來說,就是 Smart Token 的供應量越少或者 connector 的餘量越多,那麼使用 connector 來兌換 Smart Token 的價格就越高。

雖然很不嚴謹,但這也就能理解了為什麼 EOS 的 RAM 越少,價格越高了。至於不嚴謹的原因,我們將在下文繼續解釋。

4.公式設計思路

回到 RAM 價格上,那麼無疑在 EOS 主網剛上線的時候,RAM 供應量最多。可以看到最低價格是 0.017 EOS/KB 。按照這個價格,也就是買 1MB 需要 0.017 * 1024 = 17.408 EOS。那麼,全部 64GB RAM 在這個時候值 1140850.688 EOS,是不是這個時候花費這些 EOS 就可以把 64 GB一次性都買下?答案顯然是否定的。

實際上,有多種方式可以限制這種做法。最簡單的一種就是限制每次買賣的數量:只要設置每次只能購買 32GB,那麼第二次買 RAM 的價格就會提高很多,買的總成本就會變的很高。再循環細分下去為 16GB、8GB …… 總的價格就會越來越合理。這在數學上是有相應的工具可以使用的。

(來源:微分)

是的,就是微積分。在 Bancor Network 白皮書中引用的另外一個資料中,可以看到這個推導過程。

定義R為當前connector的餘量、S為當前Smart Token的供應量、F為係數(即上文中的CW)、P為當前Smart Token的價格,那麼有:

Smart Token的市場總量 = SP

Connector餘量 R = FSP, 即

當要購買dS 的Smart Token時,用戶需要付出P dS 的成本,也等於剩餘connector的變化量,即dR = P dS

又因為R = FSP,同時微分可得到:dR = d(FSP) = F d(SP) = F(S dP + P dS),所以綜合上述兩個等式可得:

(來源:《Formulas for Bancor system》)

然後我們可以看到,這個微分方程的結果和經濟學上的一個概念是一樣的。

(來源:Bancor Network白皮書)

是的,就是經濟學上的價格彈性曲線:

當 CW 或者 F 為 1 時,提供100%的流動性,因此價格毫無彈性,一直維持在某一水平線上

當 CW 大於 0 小於 1 時,即上述正常供需情況下的價格曲線

有了這個價格函數後,再對其進行積分,即可得到不同量的 connector 可換購的 Smart Token 數量。

定義用戶要購買Smart Token的數量為T,那麼可得到需要付出的connector的數量E為:

(來源:Bancor Network白皮書)

如果用付出的connector 除以兌換到的Smart Token 數量,即可得到等效價格(Effective Price),即只要付出的connector總量一樣,不管分多少次購買,所獲得的Smart Token總量是一樣的,因此也就不需要限制單次購買量了。但相應的,如果單次付出不同數量的connector,折算得到的單價也會不一樣,所以不會存在上文假設的「套利」情況。

5.EOS RAM的公式更複雜

EOS 應用 Bancor 算法過程中,並不是將 EOS 和 RAM 直接用價格曲線進行兌換,而是引入了中間 token——RAMCORE,對應於 Bancor 中的 Smart Token。

EOS 和 RAM 兌換邏輯的代碼主要在:https://github.com/EOSIO/eos/blob/v1.0.8/contracts/eosio.system/exchange_state.cpp

EOS 到 RAM 的兌換過程就涉及了兩個公式,所以上文中用一個公式來舉例就很不嚴謹,只是為了定性的說明價格特性。

從代碼中可看到EOS與RAMCORE的兌換公式為:

其中,E為EOS到RAMCORE所能兌換的數量,R是RAMCORE的初始發行總量,C1為當前EOS餘量,T1為用於購買的EOS數量,F為常量參數

將上述公式的進行反向整理設計,即可得到RAMCORE與RAM的兌換公式為:

其中,T2是準備購入的RAM數量;C2為可分配的RAM餘量。將中間變量E代入即可得出用於購買的EOS數量(T1)與可兌換到的RAM數量(T2)之間的關係。

為方便直觀的理解,可以對公式進行簡化,得到:

可以看到隨著可買RAM餘量(C2)的降低或者EOS數量(C1)的增多,RAM的價格會加速增長(即同樣付出T1的EOS下,可換取到的RAM數量T2變少了)

6.不同參數下的價格偏差計算

根據簡化公式,F 應該對價格影響很小。那麼 BM 之前說的把 0.5 多除了1000,變成0.0005,對價格是否有很大影響?我們可以直接通過公式計算來驗證。

按照公式,要計算先確定好公式中的參數。參數的獲取可通過網絡渠道來獲得:

(參考https://github.com/eoshackathon/eos_dapp_development_cn/blob/master/docs/ram_price.md):

由於C1和C2的參數會時刻根據行情進行變化,我們選取上述時間作為示例計算參數。下一步,我們使用MATLAB(R2015a 8.5.0.197613)進行公式的計算。

當要付出不同量 EOS 時,分別計算出F=0.0005和F=0.5的 RAM 價格結果,可購買到的RAM之差(F=0.0005-F=0.5)以及兩個價格之間的差值:

可以看到,當F取值變化的時候,不同購買量下的結果的確不同:當一次付出10000 EOS時,F=0.0005能購買到的RAM比F=0.5少了 20 KB,相應的RAM單價高了 4.0412e-04 EOS/KB;而當一次付出100000 EOS時,會少近 2MB,同時單價高 0.0040 EOS/KB。

根據結果,在購買量大的時候,確實會有區別,而且改為F=0.5後RAM的「性價比」反而會更高,這很可能也是BM及EOS社區在調整參數時所考慮的問題。

7.參考資料

1.Bancor Protocol Whitepaper

2.Formulas for Bancor system

3.【火線視點8】沒有免費的午餐——從EOS RAM價格看公鏈通證經濟體系設計

4.https://eospark.com/ram.html

5.https://github.com/eoshackathon/eos_dapp_development_cn/blob/master/docs/ram_price.md


版權申明:FX168財經報社僅提供交易相關數據及資訊參考,由此帶來的投資風險由交易者自行承擔。FX168財經報社文中部分圖片來源來源於網絡,我們尊重原作版權,但因數量龐大無法逐一核實,圖片所有方如有疑問可與我們聯繫,核實後我們將予以刪除。

相關焦點

  • 【經濟學的計算機化(五)】兩種常用算法
    【財新網】(專欄作家 李拉亞)在經濟學數學化過程中,我們會採用各種數學模型。在經濟學計算機化過程中,我們會採用各種算法。本文僅簡要考察經濟理論研究中兩種最常用算法,介紹它們對經濟理論的影響和應用情況。
  • 高斯混合模型(GMM):理念、數學、EM算法和python實現
    高斯混合模型是一種流行的無監督學習算法。GMM方法類似於K-Means聚類算法,但是由於其複雜性,它更健壯,更有用。K-means聚類使用歐式距離函數來發現數據中的聚類。只要數據相對於質心呈圓形分布,此方法就可以很好地工作。
  • 數學究竟有多重要?這些學科離不開數學!
    多數大學的數學系會設置有數學與應用數學專業(基礎數學和金融數學兩個方向),統計學專業(統計學和概率論兩個方向)和信息與計算科學專業(計算數學和信息科學兩個方向)。所有的專業都必修的課:數學分析、高等代數、解析幾何、常微分方程、抽象代數、複變函數、概率論和數學模型。另外,每個方向會在各自領域進行不同程度的深化學習。
  • 日本留學經濟學專業解析及大學排名
    一、日本留學經濟學專業解析日本留學經濟學專業主要分為以下幾個領域:1、微觀經濟學微觀經濟學研究對象為經濟個體,比如說如消費者如何選擇購買商品2、宏觀經濟學宏觀經濟學的研究對象為經濟總體;主要學習內容包括OLS分析、多元回歸分析、時間序列分析等。
  • math-engine v2.0,數學表達式解析計算引擎
    (((Math-Engine使用 Go 實現的數學表達式解析計算引擎,無任何依賴,相對比較完整的完成了數學表達式解析執行,包括詞法分析、語法分析、構建AST、運行。在代碼中引入:import "github.com/dengsgo/math-engine/engine"e.g. 1 直接調用解析執行函數 :import "github.com/dengsgo/math-engine/engine"func main() { s := "1 + 2 * 6 / 4 + (456 - 8 * 9.2)
  • 小學數學專題解析——圓環的面積
    說到小學數學中的圓,就不能不提到圓環,它是圓的內容的一個重要組成部分,也是小學數學的必會必考點。實際上,圓環面積的計算在生產和生活中也會常常遇到,例子俯拾即是,這也是小學數學實用價值的一個體現。今天,筆者就來專門講一下圓環這部分知識,並解析幾道考試題。應該說這部分內容還算簡單,容易被理解和掌握。【知識點】①同一個圓心的兩個半徑不相等的圓,它們之間的部分叫做圓環。
  • 天合光能發布智能算法白皮書,智合SuperTrack三大硬核技術助推發電...
    2020年12月30日,天合光能股份有限公司發布《天合跟蹤智合SuperTrack算法白皮書》(以下簡稱「智合SuperTrack算法」)。白皮書透露,智合SuperTrack算法具備兩大智能核心算法、「廣播+輪詢」的通信控制策略和極端天氣保護策略三項硬核技術。
  • 美國研究生數學專業和需要數學背景專業解析
    專業設置 在大學的數學學院裡,除了基礎數學專業外,大多數還設置了應用數學、信息與計算科學、概率與統計精算、數學與控制科學等專業。 這些現代數學的分支超越了傳統數學的範疇,延伸到了各個社會領域,以數學為工具探討和解決非數學問題,為人類社會發展做出了巨大的貢獻。
  • 託馬斯·薩金特:為什麼要將經濟學理論與數學統計結合起來?
    日前,2011年諾貝爾經濟學獎獲得者、北京大學滙豐商學院薩金特數量經濟與金融研究所所長託馬斯·薩金特接受採訪,深入剖析為什麼數學、統計學方法在宏觀經濟學的應用中會如此成功。敬請閱讀。
  • 中國崛起不僅超越了西方經濟學,也突破了馬克思經濟學
    【文/ 陳平】中國道路的實踐遠遠超越了西方經濟學理解的範圍,也突破了馬克思經濟學的局限。現代經濟學的基本概念,如市場、財富、知識、制度、效率等基本概念必須全面革新,才能理解中國特色的社會主義經濟。必須整合現有各派經濟學的知識,構建新的經濟學範式,才能把握當代西方衰落、中國崛起的歷史趨勢,並探討當代中國和世界面臨的經濟挑戰。
  • 百歲山,與r=a(1-sinθ)
    從某種意義上來說,他是一個全才:被尊為現代哲學之父,解析幾何學的創始人,偉大的《方法論》的作者……看吧,某一方面行,不是真的行,難得的是樣樣都行,才是真的行。上帝是公平的,給你開了一扇窗,就必定會把門給你關好。天才的笛卡爾一生孤苦,大部分時間貧病交加,終生未婚。是不是挺不幸?不過上帝給他安排了另一種超越世俗的浪漫戀情。
  • 卡爾曼濾波算法解析(一)
    在工程領域,只要涉及到信號處理問題,都繞不開一個人,那就是卡爾曼,雖然卡爾曼提出的估計理論已經過去八九十年之久,但是在如今的資訊時代,卡爾曼濾波依舊是機器人導航中最為常見的一種算法但數學模型算出來的值也沒有那麼準確,這時候我們就可以把數學模型算出來的值和傳感器測量得到的值進行加權平均。
  • 2020考研數學大綱解析及後期備考指南
    2020考研數學新大綱已發布,考研數學大綱對於考研數學複習具有指導意義,讓複習方向化零為整,提高複習效率,在考研大綱發布後,中國教育在線考研頻道第一時間整理2020考研數學大綱原文,速來查閱吧!更有2020考研大綱名師解析,全程助力備考,不容錯過。
  • 「英國名校專業解析」——經濟學碩士
    一、專業介紹經濟學(Economics),屬於社會科學,是研究人和社會在資源稀缺的前提下如何進行選擇的科學,最終目的是增進國民福利。經濟學的研究分為對人們實際怎樣選擇(實證經濟學)和人們應該怎樣選擇(規範經濟學)兩大方面的研究。學習經濟學需要有一定的數學基礎,因其課程中一般包含高等數學、線性代數及概率論等內容。
  • 【新書推薦】《機器學習及R應用》目錄
    以下文章來源於計量經濟學及Stata應用,作者愛計量。  計量經濟學及Stata應用  Our mission is to make econometrics easy, and facilitate convincing empirical works.
  • 計算機科學、經濟學交叉的時代,不懂計算經濟學理論談何應用?| CCF...
    在這個演進的過程中,傳統的經濟形式和商業模式發生了許多變化,經典的經濟學理論需要不斷被檢驗和修正,產生新的經濟學理論。另一方面,隨著分布式系統、網際網路、雲計算,以及近年來的大數據、人工智慧和區塊鏈等技術的發展,一個計算任務的完成往往需要多方合作,這就要求計算機協議或算法設計不僅要滿足有效性,容錯性等傳統需要,還要考慮博弈論和經濟學的約束。
  • UWB定位算法介紹
    1、三邊定位算法三邊測量法適合三個參考節點對一個未知節點實行定位,其通過未知節點與參考節點的距離公式列出三個數學關係式,進而求解需要定位的節點坐標。未知節點的位置計算原理如圖2所示。設三個參考節點的坐標分別為 A(x 1 , y 1 )、B(x 2 , y 2 )、C(x 3 ,y 3 ),未知節點 D 的坐標為 (x, y),該節點到 A、B、C 的距離分別為 r 1 、r 2 、r 3 ,由此可得式(1):2、質心算法質心算法是依靠節點互相通信找出與距離定位節點較近的參考節點,將這些參考節點構成的多邊形區域的質心作為定位節點的位置估計
  • 中國量子計算原型機「九章」問世 求解數學算法高斯玻色取樣只需...
    我國科學家4日宣布構建了76個光子(量子比特)的量子計算原型機「九章」。以速度來看,求解數學算法高斯玻色取樣的速度只需200秒,而目前的超級計算機要用6億年。通常認為,50個量子比特是證明量子計算機有望超越傳統計算機的關鍵門檻。
  • 2018高考數學公式及知識點
    l球的表面積S=4pi*r2  圓柱側面積S=c*h=2pi*h圓錐側面積S=1/2*c*l=pi*r*l  弧長公式l=a*ra是圓心角的弧度數r>0扇形面積公式s=1/2*l*r  錐體體積公式V=1/3*S*H圓錐體體積公式V=1/3*pi*r2h  斜稜柱體積V=S'L註:其中,S'是直截面面積,L是側稜長
  • 2021考研數學二考試大綱解讀:高等數學部分大綱原文解析
    為方便考生了解2021考研數學二大綱內容,甘肅中公教育為大家整理了「2021考研數學二考試大綱解讀:高等數學部分大綱原文解析」相關信息,望考生及時查看。2021考研數學二高等數學部分大綱原文解析2021年考研數學大綱已經發布,高等數學大綱原文如下:一、函數、極限、連續考試內容函數的概念及表示法 函數的有界性、單調性、周期性和奇偶性 複合函數、反函數、分段函數和隱函數 基本初等函數的性質及其圖形