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

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

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

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

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

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

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

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

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