RChain资讯RChain挖矿技术讨论项目进展dApp网站首页技术讨论

当Rho语言遇上“哲学家进餐问题”

当Rho语言遇上“哲学家进餐问题”

了解Rho语言(Rholang)的RChain爱好者们都知道Rholang是一种完全并发的编程语言,因其仅在必要的情况下才会顺序执行,所以运行速度飞快。Rholang使开发者可以忽略资源饥饿...

可计算性理论模型初识(三):ρ-演算

可计算性理论模型初识(三):ρ-演算

本系列文章翻译自RChain Blog: Computational Calculi Primer。由于本人对演算这门学问了解甚少,会尽全力还原作者的本意,但部分地方还是只能按照个人的理解通俗的表达出来...

可计算性理论模型初识(二):π演算

可计算性理论模型初识(二):π演算

本系列文章翻译自RChain Blog: Computational Calculi Primer 。由于本人对演算这门学问了解甚少,会尽全力还原作者的本意,但部分地方还是只能按照个人的理解通俗的表达出...

可计算性理论模型初识(一):巴斯克范式(BNF)与λ演算

可计算性理论模型初识(一):巴斯克范式(BNF)与λ演算

本系列文章翻译自RChain Blog: Computational Calculi Primer。由于本人对演算这门学问了解不深,会尽全力还原作者的本意,但部分地方还是只能按照个人的理解通俗的表达出来...

Rchain技术分析(7) | Casper共识之预言机明

Rchain技术分析(7) | Casper共识之预言机明

和BTC不同,RChain的区块具备终结性(Finality)。所谓终结,即表示区块所选择的分支不会在未来发生更改,因此终结的区块一定是从头向尾进行。一个区块只有当它所有前置区块的分支选择不再变化后,才可能有当前区块的终结性。...

Rchain技术分析(6) | Casper共识之安全证明

Rchain技术分析(6) | Casper共识之安全证明

共识协议是在分布式环境中对某个命题在拜占庭容错度内(Byzantine Fault Tolerance)达成一致的算法。

...

Rchain技术分析(5) | Casper共识之估值函数

Rchain技术分析(5) | Casper共识之估值函数

要回答这个问题,首先需要弄清楚两个子问题:

1.验证者(validator)在打包区块时是如何选择父级区块?
2.区块(block)在加入到DAG链后如何被认可?

...

Rchain技术分析(4) | 区块结构与DAG

Rchain技术分析(4) | 区块结构与DAG

RChain每个namespace的tuplesace状态变迁由一条DAG链结构表示。
这不仅表示可无限增长的namespace带来的可扩展性,即使在一个namespace内部,RChain也是能够扩展并获得更高的吞吐率与并行度。而这一切都来源于RhoCalculus无与伦比的并行计算优势!
...

Rchain技术分析(3) | 名字空间

Rchain技术分析(3) | 名字空间

在前面的文章中介绍了Rholang的基本概念以及RChain的基本原理。但blockchain还有一个大问题需要解决,就是可扩展性(scalability)。...

Rchain技术分析(2) | 消息机制

Rchain技术分析(2) | 消息机制

Rholang的消息机制在此系列的上一篇《RChain学习笔记[1]-初识Rholang》中提到了Rholang通信机制的两个基本操作,先复习下: for( x <- chan) P : 从chan中读取一条消息并删除...

Rchain技术分析(1) | 初识Rholang

Rchain技术分析(1) | 初识Rholang

目前Rholang SDK已经出到了v0.2.1,虽然距离正式版还有半年多,但语言的基本骨架已经出来了。从本文开始我会将我的学习笔记分享出来。本文的代码可以复制到http://rchain.cloud/在线执行。...

Top