RChain官方 1736天前
【Greg Meredith 谈 Rholang:一种新型的#编程语言# 】#Rholang编程语言# 可以体现出特定并发语义,即状态存储在区块链中的虚拟机必须从根本上是并发的,而不是时序的。从图灵机到lambda演算,从Petri网到π演算的各种计算模型,分析表明市场需求包括四个属性。具体来说:完整性——是否能表达所有需要 ...全文
RChain官方 1736天前
【Greg Meredith 谈 Rholang:一种新型的#编程语言# 】#Rholang编程语言# 可以体现出特定并发语义,即状态存储在区块链中的虚拟机必须从根本上是并发的,而不是时序的。从图灵机到lambda演算,从Petri网到π演算的各种计算模型,分析表明市场需求包括四个属性。具体来说:完整性——是否能表达所有需要 ...全文
RChain官方 1738天前
【Greg Meredith: RChain通过一系列构件来解决问题】”#Casper# 在#RChain# 中的作用是确保所有节点都对比赛的获胜者达成协议。只要实现这一点,就可以实现容错分布式计算机。但你最终需要用到:#Rholang编程语言# ,RSpace存储,comms 和CBC Casper共识机制,它们可以提供分布式容错数据存储。这在分 ...全文
RChain官方 1740天前
Greg Meredith 谈#Rholang# 和#RSpace# 。“如果你考虑一下Rholang和RSpace,那么你会发现这是一个令人难以置信的 #NoSQL数据库# 。它对所有现有的#NoSQL数据库# 都有帮助,它提供了三样东西。第一:它可以存储代码(过程)和 #数据# 。如果你想要实现一些很棒的功能,这就能向前迈出一大步。它可以回 ...全文