REV-RChain簡介詳情

REV-RChain 簡介詳情

RChain打破了不可能三角，它是一個無領導型區塊鏈，允許在分片內部和跨分片之間安全和原子地併發執行智能合約。RChain是僅有的能夠安全地在單分片中併發執行智能合約的無領導型智能合約平台，從而實現了線性擴展。這一功能是30多年來在併發和進程計算方面的研究結晶。
RChain通過革命性的Rho演算解決了困擾公鏈發展的諸多難題，使得讓通用計算上鏈第一次成為可能。基於Rho演算的快速衝突檢測配合 Casper CBC共識，所有節點可以併發出塊達成共識，首次做到了單分片可擴展性，使得大數據可以直接上鏈不需要藉助IPFS 。基於Rho演算的分片間同步共識，保證了跨分片合約調用的原子性，讓分片間的交互和協作第一次可以無縫進行。基於Rho演算理論的行為類型系統可以完成併發和分片下的快速形式化驗證，完成大量鏈上合約的安全有序編排。其獨特的反應式合約比傳統的主動式合約更適合高頻應用場景如 DeFi。