REV, RChain

RChain打破了不可能三角，它是一个无领导型区块链，允许在分片内部和跨分片之间安全和原子地并发执行智能合约。RChain是仅有的能够安全地在单分片中并发执行智能合约的无领导型智能合约平台，从而实现了线性扩展。这一功能是30多年来在并发和进程计算方面的研究结晶。
RChain通过革命性的Rho演算解决了困扰公链发展的诸多难题，使得让通用计算上链第一次成为可能。基于Rho演算的快速冲突检测配合 Casper CBC共识，所有节点可以并发出块达成共识，首次做到了单分片可扩展性，使得大数据可以直接上链不需要借助IPFS 。基于Rho演算的分片间同步共识，保证了跨分片合约调用的原子性，让分片间的交互和协作第一次可以无缝进行。基于Rho演算理论的行为类型系统可以完成并发和分片下的快速形式化验证，完成大量链上合约的安全有序编排。其独特的反应式合约比传统的主动式合约更适合高频应用场景如 DeFi。