RChain是在2016年就發(fā)起的區(qū)塊鏈項目，是基于形式化驗證的并發(fā)可擴(kuò)展的高性能公有鏈平臺。RChain旨在做商業(yè)級區(qū)塊鏈解決方案。

2019年RChain面臨重大的轉(zhuǎn)折，這些追隨者也沒有離去。這大概與RChain背后強(qiáng)大的技術(shù)無法分開。

RChain擁有業(yè)內(nèi)獨(dú)一無二的技術(shù)創(chuàng)新：

1、第三代技術(shù)RSpace：一種新型的鍵值存儲

在過去的十年中，技術(shù)社區(qū)（特別是那些涉及大數(shù)據(jù)的社區(qū)）已經(jīng)對存儲和檢索進(jìn)行了存儲代碼（code）和數(shù)據(jù)（data）的能力。

2、Rholang：一種新型的編程語言（并發(fā)出塊）

Rholang實現(xiàn)了狀態(tài)存儲在區(qū)塊鏈中的虛擬機(jī)（即計算模型）必須從根本上并發(fā)，而不是時序的。

Rholang繼承了Rho演算的四個C屬性。Completeness（圖靈完備）、Complexity（有確切的時間、空間復(fù)雜度）、Concurrency（并行性）、Compositionally（可組合性）。

市場上大多數(shù)交易都是孤立的，而Rholang可以細(xì)分、組織、重新組織這些交易。rho演算名稱空間（namespace）功能則提供了一種非常強(qiáng)大的分片方法，可以使用相同的方法重新加入分叉，與其他網(wǎng)絡(luò)進(jìn)行互操作，提高獨(dú)立交易的速度。

3、CasperCBC

RChain是第一個CasperCBC落地使用的公鏈項目，CasperCBC是Greg推薦給V神的，比FFG更復(fù)雜。

4、行為類型（Behavioraltypes）實現(xiàn)一鍵形式化驗證

類型系統(tǒng)算法（OperationalSemanticsinLogicalForm）是RChain金星版本主網(wǎng)的主要開發(fā)功能。該算法功能強(qiáng)大，可以實現(xiàn)根據(jù)結(jié)構(gòu)和功能搜索代碼。這種類型系統(tǒng)比Java，Haskell或Scala中的類型系統(tǒng)豐富得多。它可以看到舊程序類型系統(tǒng)所無法了解的程序結(jié)構(gòu)和程序行為的信息，而對于程序的相關(guān)子集來說是可以確定的。

代碼是互聯(lián)網(wǎng)的難題。它負(fù)責(zé)大部分功能，但是對于結(jié)構(gòu)化數(shù)據(jù)的標(biāo)準(zhǔn)查詢機(jī)制卻是不透明的。而行為類型則允許我們根據(jù)結(jié)構(gòu)和功能來選擇代碼。這種功能不僅徹底改變了GitHub之類的服務(wù)，還為智能合約平臺奠定了成功條件——該平臺使人們能夠從數(shù)十億種可能性中找到所需，足以托管數(shù)十億份智能合約。

可以說，RChain是對區(qū)塊鏈瓶頸問題給出一籃子解決方案的項目。目前已經(jīng)上了第一個版本的主網(wǎng)，在其水星主網(wǎng)上已做到CasperCBC共識機(jī)制的工程實現(xiàn)。RChain的分布式并行計算模型來自于Rho演算，它是進(jìn)程演算理論體系的分支。

不僅僅是技術(shù)，在團(tuán)隊上、生態(tài)乃至治理模式上RChain都很優(yōu)秀。

在團(tuán)隊上，創(chuàng)始人GregMeredith曾任職微軟的首席架構(gòu)師，并致力于開發(fā)的數(shù)學(xué)基礎(chǔ)、過程計算、范疇論、編程語言語義、指稱和操作語義、編程語言設(shè)計、分布式系統(tǒng)和網(wǎng)絡(luò)協(xié)議。而且核心團(tuán)隊成員皆來自知名的大企業(yè)和區(qū)塊鏈項目，以太坊Casper協(xié)議首席研究員、Coinfund聯(lián)合創(chuàng)始人、MakerDAO聯(lián)合創(chuàng)始人、W3C早期創(chuàng)建者等技術(shù)、管理人才；同時，前期參與私募的合作成員包括曾為微軟、IBM、谷歌、亞馬遜、Facebook、貝恩資本等公司工作的行業(yè)資深人士。

生態(tài)建設(shè)上，RChain合作社非常注重社區(qū)開發(fā)者的激勵和擴(kuò)容，RChain的社區(qū)開發(fā)者分布于中國、美國、俄羅斯、克羅地亞、法國等等，RChain的錢包以及目前架構(gòu)在RChain上的一些具有獨(dú)創(chuàng)性的dapp（去中心化域名系統(tǒng)Dappy、去中心化聊天軟件RChat等等），都是由社區(qū)開發(fā)者主導(dǎo)完成的。另外在今年11月初，官方已在籌辦一場面向全球的黑客松活動，吸引更多優(yōu)秀的開發(fā)者加入RChain的生態(tài)。

歷經(jīng)波折后，RChain一如往日絲毫沒有放慢開發(fā)進(jìn)度。在Youtube上，官方一直持續(xù)更新著RChain的周開發(fā)進(jìn)度例會，以及經(jīng)常邀請技術(shù)大牛參加的頭腦風(fēng)暴RCast。最近RChain也計劃開啟新一輪融資。

2020年9月24日晚8點(diǎn)，密碼極客邀請到RChain創(chuàng)始人GregMeredith做客密碼極客大咖直播間。這位“任性”又充滿韌性的CEO將為我們揭秘RChain最強(qiáng)大的技術(shù)。

那么RChain這樣一個一波三折的強(qiáng)陣容技術(shù)項目到底有什么特別之處呢？

讓我們一起看看RChain在存儲方面與IPFS的不同、在互操作性上與波卡的區(qū)別、以及基于名字空間的分片方式較之以太坊分片的優(yōu)勢吧！

這次AMA密碼極客還特別邀請到幾位社區(qū)大牛做客直播間與Greg論道，歡迎大家關(guān)注并收聽！

返回搜

熱點(diǎn)：ETH 區(qū)塊鏈 幣交易所 虛擬貨幣 虛擬貨幣交易 貨幣交易 貨幣交易所