...模型来分析、验证是很不合适的，不可避免会陷入状态空间的指数爆炸。Rho演算则可以基于图灵机的合约之间没法度量相似性。但Rho演算可以，所以可以建立起基于合约行为额搜索系统以太坊的合约，或者所有基于图灵机模型的合约，你都没法判断、约束合约的行为。Rho演算可以===============================...
知识:货币,合约,区块链,类型
...虚拟机（即计算模型）必须从根本上并发，而不是时序的。从图灵机到lambda演算，从Petri网到π演算的各种计算模型，分析表明市场需求包括四个属性。具体来说：● 完整性——是否能表达所有需要表达的内容？● 组合性——是否能从简单的程序中构建出更复杂的程序？● 并发性——是否能构建部分同...
知识:区块链,工作量证明,共识算法,以太坊
...划。Rchain 表示，测试网已实现对 Casper CBC 共识机制的工程。RChain 是基于 Rho 演算理论而来的全新架构，该分布式计算模型是进程演算理论体系的分支，其智能合约编程语言 Rholang 衍生自 Rho 演算。Rchain 创始人 Greg Meredith 是 Rho 演算的发明人，曾担任微软 BizTalk 项目的首席架构师和微软 Highwire 项目的首席...
知识:项目,RChain,NOVA广州峰会
...虚拟机（即计算模型）必须从根本上并发，而不是时序的。从图灵机到lambda演算，从Petri网到π演算的各种计算模型，分析表明市场需求包括四个属性。具体来说：完整性——是否能表达所有需要表达的内容？组合性——是否能从简单的程序中构建出更复杂的程序？并发性——是否能构建部分同时运行的...
知识:rchain,区块链,治理,协作技术
...了一个关于RChain的一页纸介绍，我直接copy paste在这里：RChain通过革命性的Rho演算解决了困扰公链发展的诸多难题，使得让通用计算上链第一次成为可能。基于Rho演算的快速冲突检测配合 Casper CBC共识，所有节点可以并发出块达成共识，首次做到了单分片可扩展性，使得大数据可以直接上链不需要借助IPFS...
知识:合约,公链,以太坊,区块链
...复杂性和出错概率。RChain之所以能很容易的做到这点，因为它的理论基础Rho演算脱胎于计算机科学中专门为分布式并发系统建模所创造的Pi演算体系。答案二：业务逻辑导向的分片RChain有基于名字空间的分片。分片是区块链水平扩展的前提。而世界电脑加上名字空间，类似给这个电脑加了一个目录结构...
知识:rchain,世界计算机,火星号精选,区块链技术
...这些虚拟机是并发执行的而且是多线程的。所谓的并发性，是围绕移动进程演算的形式化模型而设计的，伴随可组合的命名空间应用，从而允许每个节点实际上有多条区块链。这种多链、独立执行的虚拟机实例与“全局计算”的设计形成鲜明对比，后者限制了交易只能在单个虚拟机上顺序执行。另外，...
知识:rchain,casper,RHOLANG,区块链技术
...合性，爬到顶的难度和爬第一级的难度都是差不多的，没多大区别。基于Rho演算构建世界计算机，是为了一下子搞定第5级的形式验证的。别的项目资质不行，只能练到乾坤大挪移第1层，咱们能练到第5层。单线程下的形式化验证，一般就是霍尔逻辑那套，对每句代码抽象出前条件、后条件、命令，然后...
知识:合约,以太坊,穷举,状态
...存在，或者也有可能重合。对于Lambda，你只有左身份，但没有右身份。在Pi演算或Rho演算的情况下，你有两个身份，但它们是重合的，因为术语构造函数K（在这种情况下为par）是共同的。重写规则Rho的来源必须是TU中的K。目标只是T和U的某个函数。它会根据T和U的信息计算一个新的术语。Christian:我对Rho...
知识:rchain,计算机理论,类型系统,区块链技术,火星号精
...MCC 的 Rosette / ESS 技术的共同设计师和开发人员。BizTalk 之后，我发明了 Rho 演算，并将其大量用于 RChain。我目前和两位同事从事一个研究项目：OSLF (Operational Semantics in Logical Form)。这是逻辑形式的操作语法，它可以让区块链和许多其它的应用更加安全。1、能否简单介绍一下 RChain?RChain 的内容非常丰富，...
知识:一文,读懂,RChain,最新技术,布局,2020,年,月,
...况下，搞定可扩展性、安全性，这是这个领域的圣杯。正因为RChain走了进程演算这条非主流然而可能是唯一正确的技术路线，使得一路过来崎岖坎坷，不被很多投资机构看好，因为开发难度大，周期长。一个最典型的例子就是RChain最困难的时候，机构就从RChain那里拉走了一部分开发团队，要求把Rho演算...
知识:币价,币圈,中本聪,区块链
...（EVM）体系的以太坊由于先天缺陷无法成为世界电脑，所以去游说V神采用Rho演算。V神由于大车难调等历史性包袱原因并未采纳，所以才有了现在的RChain。RChain通过革命性的Rho演算解决了困扰公链发展的诸多难题，使得让通用计算上链第一次成为可能。基于Rho演算的快速冲突检测配合CasperCBC共识，所有...
知识:公链,区块,合约,链上
...的虚拟机（即计算模型）必须从根本上并发，而不是时序的。Rholang继承了Rho演算的四个C属性。Completeness（图灵完备）、Complexity（有确切的时间、空间复杂度）、Concurrency（并行性）、Compositionally（可组合性）。市场上大多数交易都是孤立的，而Rholang可以细分、组织、重新组织这些交易。rho演算名称空...
知识:BITCOIN,以太坊,存储,比特币
...决区块链底层协议扩展性的问题，该项目融合了分片技术、Casper 协议、Rho 演算的形式化验证、高并发 RhoLang 语言及多虚拟机并行计算等五大创新技术，充分显示了团队极高技术实力。RChain 主要解决如下三个问题:1)底层协议扩展性问题;2)智能合约的形式化验证问题;3)共识的安全和经济问题。五大创新1、...
知识:智能合约,以太坊,区块链,区块链底层
...新颖的方法来解决这些问题。它利用数学的几个分支，最显著的是移动进程演算（Mobile Process Calculi）和博弈论（game theory）。通过将这种基础工作的洞察力，与计算机科学学科，以及构建去中心化内容传送应用的经验结合起来，Greg 和其团队开发了用于去中心化计算的形式模型（formal model）。该模型是...
知识:区块链,代币,去中心化,共识协议