RChain知识库 一分钟带您了解RChain 项目名称:Rchain 核心团队: ①Greg Meredith【Rchain合作社董事会主席】 ----数学家、微软BizTalk和Highwire首席构架师 ---- ATT / NCR... 08月16日 443 views 发表评论 收藏 阅读全文
RChain知识库 行为类型系统的简介 资料来源:rholang.org/wiki/index.php?title=ResearchBehavioral Type SystemTraditionally there has been a d... 03月05日 355 views 发表评论 收藏 阅读全文
RChain知识库 RChain必读 Rchain是一个可并发、可组合、可无限伸缩全新的区块链平台,最终能为企业提供高性能的区块链服务。RChain 理论上每秒至少处理 40,000 笔交易,并可以扩展。它来源于一种基于形式化验证的、去中... 01月30日 11,339 views 发表评论 收藏 阅读全文
RChain知识库 可计算性理论模型初识(三):ρ-演算 概述 上一篇文章中我们介绍了π-演算—一个基于名称理论的进程演算,因此他并非一个封闭的理论(译者注:封闭理论即一个理论没有对其他环境的依赖,π-演算可看做基于名称理论提供了一套名称间相互通信进程的理论... 09月03日 538 views 发表评论 收藏 阅读全文
RChain知识库 可计算性理论模型初识(二):π演算 概述 在本系列文章的第一篇中我们介绍了λ演算的语法和操作语义。 本篇将会介绍另一种可计算性理论中的计算模型—π演算。之所以介绍π演算,是因为它是并发计算的基础模型,并且是ρ演算的理论先驱。具体来说,π... 08月25日 1,481 views 发表评论 收藏 阅读全文
RChain知识库 可计算性理论模型初识(一):巴斯克范式(BNF)与λ演算 Greg Meredith近期在Youtube上教授一门课程Introduction to the Designof Computational Calculi (DoCC) ,每周更新。主要为了让R... 08月23日 827 views 发表评论 收藏 阅读全文
RChain知识库 后·冯诺依曼时代,一场计算机革命悄然来临 号称能够满足区块链扩展性要求的区块链3.0们,没有一百也有八十。这其中除开大部分的空气项目,真正有创新有作为的候选者,在笔者看来屈指可数。 它们大都通过sharding或者Layer 2的方案在传统的... 08月14日 332 views 发表评论 收藏 阅读全文
RChain知识库 RChain学习笔记[7]-Casper共识之预言机 经过上一篇《Casper共识之安全证明》的铺垫,本篇开始介绍RChain具体如何判断区块已经处于终结(finalized)状态。 1 终结性 下面动图演示了区块的终结过程。和BTC不同,RChain的... 07月15日 150 views 发表评论 收藏 阅读全文
RChain知识库 RChain学习笔记[6]-Casper共识之安全证明 在上一篇《Casper共识之估值函数》中介绍了验证者(validator)在打包区块时选择父级区块的逻辑,还剩下了一个问题-区块(block)在加入到DAG链后何时才能被认可? 认可即为共识,在解决“... 07月14日 75 views 发表评论 收藏 阅读全文
RChain知识库 The Rho Of Software Orchestration Next-gen software stacks move beyond lambda The Larger Vision of RChain RChain released a nice video today describing the higher level goals of ... 07月08日 213 views 发表评论 收藏 阅读全文