RChain爱好者

项目名称：Rchain 核心团队： ①Greg Meredith【Rchain合作社董事会主席】 ----数学家、微软BizTalk和Highwire首席构架师 ---- ATT / NCR...

资料来源：rholang.org/wiki/index.php?title=ResearchBehavioral Type SystemTraditionally there has been a d...

Rchain是一个可并发、可组合、可无限伸缩全新的区块链平台，最终能为企业提供高性能的区块链服务。RChain 理论上每秒至少处理 40,000 笔交易，并可以扩展。它来源于一种基于形式化验证的、去中...

概述 上一篇文章中我们介绍了π-演算—一个基于名称理论的进程演算，因此他并非一个封闭的理论（译者注：封闭理论即一个理论没有对其他环境的依赖，π-演算可看做基于名称理论提供了一套名称间相互通信进程的理论...

概述 在本系列文章的第一篇中我们介绍了λ演算的语法和操作语义。 本篇将会介绍另一种可计算性理论中的计算模型—π演算。之所以介绍π演算，是因为它是并发计算的基础模型，并且是ρ演算的理论先驱。具体来说，π...

Greg Meredith近期在Youtube上教授一门课程Introduction to the Designof Computational Calculi (DoCC) ，每周更新。主要为了让R...

号称能够满足区块链扩展性要求的区块链3.0们，没有一百也有八十。这其中除开大部分的空气项目，真正有创新有作为的候选者，在笔者看来屈指可数。 它们大都通过sharding或者Layer 2的方案在传统的...

经过上一篇《Casper共识之安全证明》的铺垫，本篇开始介绍RChain具体如何判断区块已经处于终结(finalized)状态。 1 终结性 下面动图演示了区块的终结过程。和BTC不同，RChain的...

在上一篇《Casper共识之估值函数》中介绍了验证者(validator)在打包区块时选择父级区块的逻辑，还剩下了一个问题-区块(block)在加入到DAG链后何时才能被认可？ 认可即为共识，在解决“...

The Larger Vision of RChain RChain released a nice video today describing the higher level goals of ...