所有語言
EON是一個智能化的高速分佈式網絡,定義了一整套的分佈式互聯網協議。EON並不是EOS的分叉,而是基於EOS搭建一個更加宏偉的網絡,使信息互聯網時代真正意義上的進入價值互聯網時代。EON代幣用於進行1:1定向空投、獎勵節點維護。
現有的公有區塊鏈和智能合約平台都存在可擴展性和安全性問題。TPS低至≤10。有漏洞的智能合約變得非常普遍,每個月都會發生大的黑客事件。此外,目前沒有任何解決方案能滿足并行安全地處理大量數據的需求。
我們介紹EON—一個新的區塊鏈平台,它的設計是為了擴展和安全。隨着節點數量的增長,整個區塊鏈網絡的處理能力實際上是增加的。EON設計的基石是sharding、Verifiable Random Function(VRF)和Practical Byzantine Fault Tolerance(PBFT)的理念,這使得整個網絡可以將工作分成若干塊,以充分發揮每個節點的計算潛力。
EON進一步提出了基於形式化驗證的智能合約語言、模塊化庫以及HTML++,使開發者可以編寫快速、并行和安全的代碼,以支持現實世界的計算問題,如人工智能計算或大規模實時人類協作任務。
古希臘的 "Boule "制度是最早的民主形式。公民大會允許任何20歲以上的公民參与國家重大問題的討論和決策。參与者可獲得少量的金錢獎勵;而 "500會議 "由500名年滿30歲的公民組成。他們的任期為一年,不能連選連任。每個公民一生最多只能擔任兩次。這一制度的設計,極大地調動了每個公民的參与积極性,同時也考慮到了選舉的公平性。
EON公司獨創的Boule算法建立在DPOS、Algorand、Zilliqa和PBFT的基礎上。它集成了Ethereum Casper和Zilliqa的分片思想,將擴展性提升到10000 TPS,Algorand的VRF用於尋找選舉人節點,Tendermint的PBFT用於在每個分片內快速安全地達成共識。EON還引入了異步彈性存儲的概念,從而解決了需要等到所有其他節點或超級節點同意區塊的數據部分。Boule算法擁有低延遲和高吞吐量的處理能力,可以進行更多的現實世界網絡社會應用實驗。EON區塊鏈由兩類節點組成:1)可尋址節點(AN),2)可彈性存儲節點(FSN)。可尋址節點管理分片和路由的元信息,而柔性存儲節點則存儲狀態轉換信息。
EON將在智能合約計算層之上構建一個驗證&安全層。EON eWASM虛擬機只支持用Coq、F*和Isabelle編寫的代碼,這三種語言提供的數據流編程目標是:1)并行計算和map-reduce如sharding優化;2)形式化驗證支持。只有通過數學證明的程序才能被接受和編譯。
為了提升開發者的友好度,EON作為EOS網絡將開始作為EOS開發者的核心網絡,它有一個智能合約驅動的代碼中心和市場,目標是代碼共享和交流。通常情況下,開發者可以基於現有的模塊和庫,用HTML++編寫智能合約,從而最大限度地減少開發者直接與VM運行時打交道的機會。因此,開發者可以編寫智能合約,比如建立一個網頁。