Rholang是RChain上的智能合约编程语言，之前“只闻其声不见其人”不甚了解。前几天出了篇A Rholang tutorial的文档，闲暇之余拜读了下，随惊为天人 -- Rholang才是真正适合于区块链智能合约的编程语言。也许你会认为我夸大其实，且听我慢慢道来。目前主流的编程语言，比如 C/Java/Phython 以及 Ethereum VM 中的 S...
知识:rchain,冯诺依曼结构,RHOLANG,区块链技术
...单元学习到，字符串我们已经学习过了。greeter.rho代码stdout!("I" ++ "<3" ++ "rholang")会输出什么?I <3 rholang["I", "<3", "rholang"]I<3rholangI++<3++rholang接收 Processes?我们通常发送 ____ 和接收 ____.processes, namesprocesses, processesnames, namesnames, processes没有严格规定要做的事情：有一种放在门口的邮箱柜子。我们可能...
知识:rchain,安全性,并发编程,RHOLANG
...什么，都能传递不同的消息。*这到底是啥？你注意到@"Bob"!(*message)中的*? 在rholang中有两种类型， "names" 和 "processes"。同样也有可以在两者之间互相转化的方法。"processes"可以是rholang中任何一个代码片段，例如我们的传话筒游戏，或者是披萨店订单程序。“process”可以是上百行的大程序，也可以只有几...
知识:形式化验证,智能合约,编程语言,RHOLANG
...ly（与Tim Berners Lee合作参与了HTML标准制定）开发，将JavaScript语言自动转换成Rholang语言，以降低程序员开发门槛。Rholang语言有自己的特点，这种语言的转换，程序员朋友们觉得有用吗？ ????本文来源：RChain原文标题：RChain上实现JavaScrip与Rholang语言自动转换
知识:rchain,RHOLANG,区块链技术
...需要把一些数据放在一边晚点才使用。几乎所有编程语言都有变量的概念。rholang 的另一个独特的地方在于它没有传统的变量。然而，我们只是使用元组空间来保存我们的数据。只要你想要把一些数据放在一边晚点使用，就把数据发送到一些通道里然后晚点再从通道中获取。以这种方式使用的通道叫做"...
知识:rchain,并发编程语言,RHOLANG,区块链技术
.... 消息会被接收端打印出来吗? 还是东西留在了元组空间里么？练习记住，在rholang中，任何事情都是并行地而非按顺序地执行。如果我们把接收信息的代码放在前面，那么披萨店的代码仍可执行。尝试一下吧。元组空间污染如果你遇到了旧数据滞留在元组空间并会对后面的代码执行有影响，你需要清空...
知识:并发编程,形式化证明,RHOLANG,区块链技术
...面是一个在屏幕上输出"Hello World"的最简单例子。hello.rho练习请让程序输出"Rholang rocks!" 而不是 "Hello World"。练习尝试将"stdout"替换为别的语句。会得到什么结果？尝试一下这个有趣的通道名称@"someChannel".这里可以比较随意。请让程序在屏幕上输出 "Sup World"。标准输出(stdout)到底是什么东西rho语言的核心是...
知识:形式化验证,并发编程语言,RHOLANG,区块链技术
...PD5cV-OxL9I45B-cX6KTPwQJQu4BYgHfLwLthByg/edit#slide=id.p注：Vlad在Rchain 开发者大会上的PPTRholang的早期文档The Rholang specificationdeveloper.rchain.coop/assets/rholang-spec-0.2.pdfRChain项目管理rchain.atlassian.net/wiki/spaces/CORE/overview注：信息量巨大，慢慢研究吧测试网相关信息rchain.atlassian.net/wiki/spaces/CORE/pages/678756429/RChain+public+testnet+info...
知识:区块链项目,中文,社区,代码
...;= y) {Nil} | y!!(Nil)会产生多少个通信事件？1很多个0答案grandmaCheck.rho窥探语法rholang以后会为观察通道内变量提供一个特殊的语法。目前我们还不能使用它，但是下面会展示给你看这个语法的用法。我们将使用<!操作符来"窥探"一个通道内的消息。peek.rho如果你使用过excel的宏，或者excel，你应该对如何在...
知识:形式化验证,安全性,并发编程,RHOLANG
...更新信息而飞行员不可以更新那些信息。储蓄账户在这个例子里，我们要用rholang写代码来模拟一个简单的储蓄账户。它有存入，提取和查看的方法。我们的计数器、储蓄账户必需要安全的。我们也不想其他人知道我们有多少钱，更不想别人能拿走我们的钱。这里是一些需要考虑的初步的代码。savingsStart...
知识:rchain,智能合约,并发编程,RHOLANG
...问题，该项目融合了分片技术、Casper 协议、Rho 演算的形式化验证、高并发 RhoLang 语言及多虚拟机并行计算等五大创新技术，充分显示了团队极高技术实力。RChain 主要解决如下三个问题:1)底层协议扩展性问题;2)智能合约的形式化验证问题;3)共识的安全和经济问题。五大创新1、用于并发处理的 RhoLang 智能...
知识:智能合约,以太坊,区块链,区块链底层
...Greg Meredit：RChain首先是一个数据库和存储机制。这意味着它带有查询语言（rholang）和事务模型。通常，互联网已经理解了广义“键/值”的概念，例如，http协议实际上只是一个通用的”键/值“查找协议。”键“就是这些URI或URL，”值“就是这些位于URI处的资源，例如网页、API等。这样的协议表明”键“...
知识:数字资产,区块链平台,智能合约,主网上线
...Greg Meredit：RChain首先是一个数据库和存储机制。这意味着它带有查询语言（rholang）和事务模型。通常，互联网已经理解了广义“键/值”的概念，例如，http协议实际上只是一个通用的”键/值“查找协议。”键“就是这些URI或URL，”值“就是这些位于URI处的资源，例如网页、API等。这样的协议表明”键“...
知识:数字资产,智能合约,区块链平台,主网上线
...为它把自己创建的绑定的"names"限制在它的花括号中或者说"词法范围"内. 在rholang的世界里，这些新建的"names"就只能在确定的范围内可见，但是记住，程序员可以从外部世界中查找到这些"names"。当你在区块链环境工作中时尤其要注意。所以说，虽然竞争的披萨店不再可能窃取本来给我们店的披萨订单，...
知识:形式化验证,并发编程语言,RHOLANG,区块链技术
...，进程或程序），包括在安装中被写入的系统合约，均使用RChain通用语言“Rholang”（高阶反射语言）编写。Rholang从rho-演算的计算形式论派生而来，支持内部程序并发。它形式化地表达了以并行组合方式执行的进程之间的通信和协调。Rholang自然地适应了代码的变迁，反射/一元 APIs，并行性，异步性和行...
知识:rchain,casper,RHOLANG,区块链技术