歡迎來到PlatON:貝萊世界
人人都會對人類整體做出貢獻,因而成為這個整體不朽的一部分。這個由所有的人類——過去、現在和未來的人類——所組成的整體,就好像一幅已有幾萬年曆史的織錦,而且從古到今,這幅織錦越來越精緻,整體構圖也越來越美麗。
——以利亞·貝萊(《銀河帝國》系列,艾薩克·阿西莫夫著)
引子
1982年4月24日,IBM正式推出第一臺個人計算機,人類社會進入資訊時代,智慧終端開始走入人們的日常生活,資料開始大量產生並流動。
1991年8月6日,蒂姆·伯納斯·李正式向全世界推介了全球資訊網,人類社會進入網際網路時代,智慧終端之間開始初步地互聯互通,資料的流動速度得以幾何級數的提升。
2009年1月3日,中本聰創造了比特幣區塊鏈網路中的第一個區塊,區塊鏈誕生,計算的重要性到達了歷史最高點,資料的流動和儲存得到了全新的組織形式。
然而當歷史前行到二十一世紀第二個十年行將結束的今天,數以億萬計的智慧終端,或者稱其為算力節點依舊處於百分之九十以上時間的閒置狀態不能物盡其用,資料的確權、隱私保護和價值定義也尚未真正確立。這樣一個離散、孤立、無隱私保護的網際網路架構,正在等待著一場最為徹底的變革,讓其能夠真正充分發揮其算力功用和資料價值,為人類文明發展帶來福祉。
進軍
技術的不斷髮展和積累,指引我們又一次來到了歷史的重要關口——在壟斷治理結構、算力、演算法和資料的傳統計算架構已經無法滿足計算複雜性和資料安全流動性需求的當下,新一代的計算網路勢必應運而生。
PlatON——專注於可擴充套件性和隱私保護的高效能分散式計算網路,作為我們對於未來計算架構的展望和實踐,將引領我們通往未來的全數字世界。我們在PlatON中引入了高效的可驗證計算(VC)來實現算力的可擴容性,通過全同態加密(FHE)和安全多方計算(MPC)來實現真正的隱私計算(Privacy-Preserving Computation)。
正如艾薩克·阿西莫夫所著的偉大科幻史詩《銀河帝國》中描繪的那樣,上千兆人都有著銀河夢。一波又一波的外星移民運動背後,是人類對於進步,對於發展,對於未來永不停滯的追逐與渴求。
於是我們選擇了《銀河帝國》中人類外星移民運動的發起者——以利亞·貝萊所命名的“貝萊世界”,來作為PlatON進軍未來全數字世界第一站的名字。
正如一個外星域的遠征基地的建設需要多方群策群力一樣,PlatON是一個規劃非常龐大的全數字化世界的超級基礎設施和運營服務,同時也是一個處在開發初期、尚不足夠完備的系統。PlatON創造的複雜網路面臨巨大的技術挑戰,無論是分散式架構、密碼學演算法、博弈論機制的設計、硬體實現和網路建設都存在諸多問題,有待於學術界的理論突破和工程上的點滴探索。有些問題甚至是全人類共同面臨的智力挑戰。所以我們不會採用獨立封閉開發然後集中推出的模式,而會通過開源的方式與我們的技術社群一起進行開發並實現快速迭代。這樣也能夠將我們的研發結果儘快地逐步在多種不同場景中得以應用,通過技術社群共同開發和在應用中收集反饋並進行調優的方式不斷優化整個PlatON的功能,逐個解決面臨的問題。在技術社群的支援下,我們會不斷進行多版本的快速迭代,以此來推進包括基礎鏈、共識演算法、智慧合約、MPC、VC、各種客戶端等在內的各體系的不斷優化和提升。
組裝
經過兩年的醞釀和反覆驗證,PlatON的測試網路貝萊世界已經準備就緒,已於今日正式進入釋出期。
在貝萊世界的釋出期內,我們將以密集的方式不斷陸續開源多個專案,其中包括已經完成的,或不同開發環境下進行探索的,或正在設計開發的專案,這樣能夠讓我們的技術社群在第一時間就能更多地接觸所有專案,並選擇自己感興趣的專案投入共同開發當中。
詳細的貝萊世界釋出專案和預計釋出時間如下:
2018年12月18日
釋出基於GO語言開發的基礎公鏈,包括Giskard共識的基礎CBFT協議以及RELOAD覆蓋網路和基於RELOAD的服務發現協議的JAVA版本。技術社群已經可以開始初步體驗公鏈的基礎架構,並測試節點的部署,並體驗我們在不同的技術環境下對於區塊鏈構建所進行的嘗試和探索。
2018年12月28日
優化基礎公鏈,測試網路正式上線。PlatON 重頭功能,實現真正隱私計算的雙保險之一——安全多方計算MPC將正式對外發布,基礎公鏈將支援MPC合約,MPC合約支援兩方的MPC演算法。同時將釋出基於GO語言的WASM智慧合約,支援多重簽名的全節點客戶端和集成了指標監控版本的區塊鏈瀏覽器。技術社群將能夠體驗功能完整的區塊鏈基礎設施,並可以通過嘗試開發MPC合約,全面瞭解這一PlatON的核心功能,並儘快參與到基礎鏈的共同建設和MPC智慧合約的部署當中來。公眾使用者也能夠開始從客戶端體驗PlatON的構架思路和使用者介面。
2019年1月18日
Giskard共識升級支援PPos機制,各種客戶端和瀏覽器也將隨之升級全面支援PPos,同時將釋出移動客戶端(同時包括安卓和IOS版本)。技術社群能夠體驗在各種客戶端和瀏覽器上全新支援的Giskard共識,同時,所有的PlatON使用者都可以體驗經濟模型以及移動錢包客戶端的操作。
2019年1月28日
PlatON另一重頭功能,用於保障鏈下計算可靠性的可驗證計算VC驗證演算法將正式對外發布Libsnark版本,基礎公鏈將支援VC合約,VC合約可不影響出塊效能的同時在鏈下執行復雜計算邏輯,同時Giskard共識的POS機制升級,支援投票、獎勵等經濟模型。所有客戶端和區塊鏈瀏覽器將全面支援MPC合約和VC合約,WASM智慧合約將進行跨合約的記憶體優化。在基礎鏈方面,技術社群可以通過嘗試開發VC合約,體驗鏈下合約計算的可擴充套件性和可靠性。公眾使用者可以通過各種客戶端測試體驗Giscard共識的投票功能,進一步參與到基礎鏈的建設中來。
在2018年的第四季度,專注於可擴充套件性和隱私保護的高效能分散式計算網路PlatON將正式釋出,從現在起,我們將與技術社群不斷溝通我們的想法,推動PlatON公有鏈基礎體系和Trustless計算的快速發展。
核心
可驗證計算。鑑於鏈上共識既有的侷限性,鏈上的功能應該是”驗證”而不是“計算”。越來越多的人們積極地致力於實施鏈下方案,通過鏈下計算提高區塊鏈的擴充套件性。雖然鏈上已經公認為是一個無需信任的環境,但是鏈下方案的實施又引入新的不信任因素。PlatON的可驗證計算(VC)密碼學演算法將信任傳遞到鏈下。通過可驗證計算,合約只需要在鏈下計算一次,所有節點可以快速驗證計算的正確性,一方面提高了交易的處理效能,另一方面也使得PlatON支援複雜合約的Trustless計算。
隱私計算。PlatON通過疊加同態加密(HE)和安全多方計算(MPC),實現真正的隱私計算,保證輸入資料以及計算邏輯本身的隱私。PlatON 上的Trustless 計算僅依賴於可證偽的密碼學假設,從而在其生命週期內提供前所未有的私有資料安全性,不存在信任邊界。
節點
PlatON 將交易執行跟區塊鏈共識解耦,在鏈下構建可擴充套件Trustless 計算網路。因此,PlatON中的節點主要有以下幾類:
輕節點不儲存所有區塊的資料,只儲存區塊頭資訊以及跟自己相關的資料,依賴全節點進行快速交易驗證。輕節點參與交易和區塊資訊的全網廣播。
全節點儲存了所有區塊的資料,可以在本地直接驗證交易資料的有效性。全節點參與交易和區塊資訊的全網廣播。
共識節點負責執行交易並把交易資料打包成區塊。在Giskard 共識協議中,共識節點基於VRF和概率分佈隨機產生,並通過並行BFT 協議達成共識。
計算節點是PlatON獨創性地引入到區塊鏈生態中的一類節點。計算節點是Trutless計算網路的根基,主要提供算力,在鏈下執行復雜合約,並使用VC演算法生成計算證明,供鏈上節點進行快速驗證。
資料節點是Trustless計算網路的另外一個重要組成。基於同態加密(HE)和安全多方計算(MPC),資料節點可在保證隱私的情況下將本地資料輸入到計算網路。
共識
“不可能三角”中,去中心化的量化指標就是參與共識的節點數量,可擴充套件性的量化指標是TPS或吞吐量,安全性的量化指標是作惡的經濟成本,經過對這幾個量化指標的權衡,PlatON的Giskard共識最終綜合採用了PoS和BFT機制。
PPoS(基於概率分佈的PoS),實際上,所有PoS系統都會存在共識節點數量和效能之間的權衡問題。DPoS偏向較少的共識節點,換取較高的效能。Algorand採用隨機方式在全網選取共識節點,但是隻能在強同步網路上執行,這是兩個典型的極端方法。PlatON採取折衷的方法,任何Energon持有者可以通過Staking參選共識節點,其他Energon持有者通過Staking的方式持續投票,維持一個小規模的動態共識節點候選人列表,然後在這個候選人列表中採用VRF和概率分佈方式隨機選取。這種方法縮小了共識節點的選取範圍,又有效避免了過於中心化的問題。
CBFT(並行BFT共識),目前常用的各種xBFT均為同步處理,即對一個區塊確認後才生產下一個區塊,這種方法存在一個性能上的上限。PlatON採用並行BFT共識,即出塊和區塊驗證並行進行,在保證BFT1/3容錯性的同時,大大地提高了出塊的速率。
合約
從技術角度看,PlatON計算網路本質上是一個去中心化的FaaS平臺,相應地,智慧合約可以認為就是FaaS上的Function。PlatON中的智慧合約分為三類。
普通合約支援高階語言開發,編譯成WASM執行。觸發普通合約的交易由共識節點打包,全網節點重複執行驗證。普通合約的狀態儲存在公共賬本中。
可驗證合約的開發和釋出跟普通合約沒有區別,最終也是編譯成WASM執行。可驗證合約的狀態轉換在鏈下由計算節點非同步執行,計算完成後新的狀態和狀態轉換證明提交到鏈上,全網節點可快速驗證正確性並將新的狀態更新到公共賬本中。可驗證合約可支援複雜、繁重的計算邏輯而不影響整條鏈的效能。
隱私合約同樣支援高階語言開發,編譯成llvm ir中間語言執行。隱私合約的輸入資料儲存在資料節點本地,由資料節點在鏈下以安全多方計算方式進行隱私計算,並提交計算結果到鏈上。
社群
作為一個全球化的自組織形態的社群,PlatON在治理模式的設計和實踐過程當中也會面臨同樣多的挑戰,但會持續秉承共治、共享、共識的基本理念來解決所面臨的治理挑戰和異常。
PlatON的參與方也會從現有提供智慧合約的開發者社群、提供演算法和理論的學術社群、提供算力的計算社群、提供資料的資料社群和需求方,遞次演進至更多參與方和參與者。其間利益必然有所不同,產生的矛盾分歧也必然不都是技術或者演算法可以解決的。我們將會根據社群各個群體的反饋,逐步梳理和釋出社群治理方案以適應未來。
PlatON 作為一個複雜網路,不會刻意偏袒任何一方,只會一如既往地鼓勵和支援更多方、更多機構、更多利益群體、更多個人參與這一網路。越是如此“複雜”,網路就越是強大和健壯。
歡迎
區塊鏈從誕生至今已近十年,在過去的十年裡,區塊鏈從技術極客追捧的高新科技逐步轉變成真正有可能改變整個資訊產業未來的前沿技術體系,已經進入實用範疇的成果大量湧現。
在下一個十年裡,區塊鏈將在更為專業的行業人士運作下,進一步實用化和社會化,更深入地滲透進每個網際網路使用者的生活,一方面開始大量解決過去無法解決的問題,實現過去無法達成的應用場景,另外一方面逐漸成為像微信、支付寶一樣易用好用的技術產品。
PlatON致力於讓資料可流動,讓計算可信任。從此深刻地連線人與人、人與物、物與物,以至於彼此有機地建構為真正的下一代網路,協助每個人參與其中貢獻力量,成就他人,直至成為這個整體中不可磨滅的一部分。
歡迎你,加入這一人類網路進化的程序中來,和我們一起先腳踏實地,而後仰望星空。