RChain可并發(fā)、組合、無(wú)限伸縮的區(qū)塊鏈

RChain 項(xiàng)目正在建立一個(gè)去中心化的、經(jīng)濟(jì)的、抵制審查的公共計(jì)算基礎(chǔ)設(shè)施和區(qū)塊鏈。它將主持并執(zhí)行通常被稱為“智能合約”的計(jì)劃。這將是可信的、可擴(kuò)展的、并行的，具有POS共識(shí)和內(nèi)容交付。

通過(guò)使用智能合約，可以在此平臺(tái)上面構(gòu)建大量可完全擴(kuò)展的分布式應(yīng)用程序（dApp）。DApps可能涉及諸如身份、代幣、時(shí)間戳、金融服務(wù)、貨幣化內(nèi)容交付、去中心化自治組織（DAO）、交易、聲譽(yù)、私人社交網(wǎng)絡(luò)、市場(chǎng)等領(lǐng)域。

RChain網(wǎng)絡(luò)實(shí)現(xiàn)了直接的節(jié)點(diǎn)到節(jié)點(diǎn)的通信，每個(gè)節(jié)點(diǎn)在其上運(yùn)行RChain平臺(tái)和一組dApp。

RChain的核心是Rho虛擬機(jī)（RhoVM）執(zhí)行環(huán)境，它運(yùn)行多個(gè)RhoVM，每個(gè)執(zhí)行一個(gè)智能合約。這些是同時(shí)執(zhí)行并且是多線程的。

這種并發(fā)性是圍繞著移植性過(guò)程演算的形式化模型而設(shè)計(jì)的，伴隨著組合命名空間的應(yīng)用，每個(gè)節(jié)點(diǎn)允許實(shí)現(xiàn)多個(gè)區(qū)塊鏈。這種獨(dú)立執(zhí)行的虛擬機(jī)實(shí)例的多鏈與“全局計(jì)算”設(shè)計(jì)形成鮮明對(duì)比，“全局計(jì)算”設(shè)計(jì)限制了事務(wù)只能在單個(gè)虛擬機(jī)上順序執(zhí)行。另外，每個(gè)節(jié)點(diǎn)都可以配置為只訂閱和處理它感興趣的命名空間（區(qū)塊鏈）。

像其他區(qū)塊鏈一樣，為區(qū)塊鏈狀態(tài)實(shí)現(xiàn)跨節(jié)點(diǎn)的共識(shí)至關(guān)重要。RChain的復(fù)制和共識(shí)協(xié)議被稱為Casper，是一個(gè)POS協(xié)議。類似于以太坊，合約在一種狀態(tài)下開(kāi)始，許多節(jié)點(diǎn)收到一個(gè)簽名的事務(wù)，然后他們的RhoVM實(shí)例執(zhí)行該合約到下一個(gè)狀態(tài)。一系列節(jié)點(diǎn)操作人或“有抵押驗(yàn)證人”將一致性算法應(yīng)用于加密經(jīng)濟(jì)學(xué)，驗(yàn)證RhoVM實(shí)例的狀態(tài)配置和狀態(tài)轉(zhuǎn)換的整個(gè)歷史記錄，是否在分布式數(shù)據(jù)存儲(chǔ)中準(zhǔn)確復(fù)制。

區(qū)塊鏈合約（也稱為智能合約、流程或程序），包括安裝時(shí)包含的系統(tǒng)合約，均使用RChain通用語(yǔ)言“?Rholang?”（反映式高階語(yǔ)言）編寫(xiě)。Rholang從rho-calculus計(jì)算用形式化語(yǔ)言派生而來(lái)，支持內(nèi)部程序并發(fā)。它形式化地表達(dá)了并行執(zhí)行中許多過(guò)程的溝通和協(xié)調(diào)。Rholang自然地適應(yīng)了代碼移植性、reactive/monadic API、并行性、異步性和行為類型的行業(yè)趨勢(shì)。

由于節(jié)點(diǎn)是內(nèi)部并發(fā)的，每個(gè)節(jié)點(diǎn)都不需要運(yùn)行所有的命名空間（區(qū)塊鏈），系統(tǒng)將是可擴(kuò)展的。

由于合約語(yǔ)言和虛擬機(jī)是從可證明數(shù)學(xué)的形式化規(guī)范構(gòu)建而來(lái)的，由于編譯流水線和工程方法在構(gòu)造上是正確的，我們期望這個(gè)平臺(tái)將被視為值得信賴的。