×

RChain可并发、组合、无限伸缩的区块链

消耗积分:0 | 格式:zip | 大小:2.69 MB | 2022-04-22

挽你何用

分享资料个

授权协议 Apache 2.0
开发语言 Scala
操作系统 跨平台
软件类型 开源软件
所属分类 其他开源区块链

软件简介

RChain 项目正在建立一个去中心化的、经济的、抵制审查的公共计算基础设施和区块链。它将主持并执行通常被称为“智能合约”的计划。这将是可信的、可扩展的、并行的,具有POS共识和内容交付。

通过使用智能合约,可以在此平台上面构建大量可完全扩展的分布式应用程序(dApp)。DApps可能涉及诸如身份、代币、时间戳、金融服务、货币化内容交付、去中心化自治组织(DAO)、交易、声誉、私人社交网络、市场等领域。

RChain网络实现了直接的节点到节点的通信,每个节点在其上运行RChain平台和一组dApp。

RChain的核心是Rho虚拟机(RhoVM)执行环境,它运行多个RhoVM,每个执行一个智能合约。这些是同时执行并且是多线程的。

这种并发性是围绕着移植性过程演算的形式化模型而设计的,伴随着组合命名空间的应用,每个节点允许实现多个区块链。这种独立执行的虚拟机实例的多链与“全局计算”设计形成鲜明对比,“全局计算”设计限制了事务只能在单个虚拟机上顺序执行。另外,每个节点都可以配置为只订阅和处理它感兴趣的命名空间(区块链)。

像其他区块链一样,为区块链状态实现跨节点的共识至关重要。RChain的复制和共识协议被称为Casper,是一个POS协议。类似于以太坊,合约在一种状态下开始,许多节点收到一个签名的事务,然后他们的RhoVM实例执行该合约到下一个状态。一系列节点操作人或“有抵押验证人”将一致性算法应用于加密经济学,验证RhoVM实例的状态配置和状态转换的整个历史记录,是否在分布式数据存储中准确复制。

区块链合约(也称为智能合约、流程或程序),包括安装时包含的系统合约,均使用RChain通用语言“ Rholang ”(反映式高阶语言)编写。Rholang从rho-calculus计算用形式化语言派生而来,支持内部程序并发。它形式化地表达了并行执行中许多过程的沟通和协调。Rholang自然地适应了代码移植性、reactive/monadic API、并行性、异步性和行为类型的行业趋势。

由于节点是内部并发的,每个节点都不需要运行所有的命名空间(区块链),系统将是可扩展的。

由于合约语言和虚拟机是从可证明数学的形式化规范构建而来的,由于编译流水线和工程方法在构造上是正确的,我们期望这个平台将被视为值得信赖的。

 

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !