RChain(REV币)打破了不可能三角,它是一个无领导型区块链,允许在分片内部和跨分片之间安全和原子地并发执行智能合约。RChain是仅有的能够安全地在单分片中并发执行智能合约的无领导型智能合约平台,从而实现了线性扩展。这一功能是30多年来在并发和进程计算方面的研究结晶。
RChain通过革命性的Rho演算解决了困扰公链发展的诸多难题,使得让通用计算上链第一次成为可能。基于Rho演算的快速冲突检测配合CasperCBC共识,所有节点可以并发出块达成共识,首次做到了单分片可扩展性,使得大数据可以直接上链不需要借助IPFS。基于Rho演算的分片间同步共识,保证了跨分片合约调用的原子性,让分片间的交互和协作第一次可以无缝进行。基于Rho演算理论的行为类型系统可以完成并发和分片下的快速形式化验证,完成大量链上合约的安全有序编排。其独特的反应式合约比传统的主动式合约更适合高频应用场景如DeFi。
Rchain是一个全新的区块链平台,它来源于一种基于形式化验证的、去中心化的、并行计算模型。Rchain合作组织利用该模型来开发一个可并发的、可组合的、可无限伸缩的区块链。致力于成为具有工业规模的区块链解决方案,RChain必须以Facebook的规模提供内容交付,并以Visa的速度支持交易。Rchain的技术亮点独立性:RhoVM的每一个实例都在独立的区块链和网络上执行一套独立的智能合约,只有在必要的时候。
可扩展性:随着平台的不断发展,节点只需初始化RhoVM的新实例即可管理负载。这使得平台能够线性扩展,同时保持性能,一致性和代码复杂性不变。高性能:RhoVM的每个实例都是轻量级且多线程的,因此可以在单个节点上存在多个高性能实例。因此,RChain的应用程序实现了前所未有的吞吐量,可用性和响应时间,开创了适合现代市场的分散式应用程序的新景观。RChain合同是内部并发的。
他们利用消息传递模式优化响应能力,提供更加动态和成熟的智能合约生态系统。除了并发性,智能合约还享有许多行业领先的功能。因此,RChain合约在吞吐量和可编程性上是无可匹敌的。更重要的是,RChain上的每一行代码都遵循经过良好测试的正式并发计算模型,允许对高度可扩展的合同进行自动形式验证。