- 博客(12)
- 收藏
- 关注
RSS订阅原创 详细的LADL（逻辑作为分配法则）证明理论
RChain微博：RChain官方这是RCast第58期。格雷格·梅雷迪思（Greg Meredith）与艾萨克·德弗兰（Isaac DeFrain）和克里斯蒂安·威廉姆斯（Christian Williams）就LADL一起展开深入探讨。以下为音频翻译整理稿。原文链接：https://blog.rchain.coop/blog/2019/11/27/rcast-58-ladl-proof-...
2020-01-10 15:02:13
1607
原创 RChain 的谓词演算（Predicate Calculus）
RChain微博：RChain官方这是RCast第62期。https://blog.rchain.coop/blog/2019/12/18/rcast-62-predicate-calculus-for-rchain/原文链接有完整音频，欢迎收听。克里斯蒂安·威廉姆斯（Christian Williams）与格雷格·梅雷迪思（Greg Meredith）和艾萨克·德弗兰（Isaac DeF...
2020-01-10 14:54:02
392
原创 RChain中的成本核算（Cost Accounting）
RChain微博：RChain官方该文稿来源于RCast第54期，讨论了RChain中的一个重要功能：成本核算（cost accounting）。每周Greg与RChain爱好者进行关于RChain技术的对话，以帮助社区更好了解Rholang语言、RSpace以及Casper等核心技术构件。Greg: 我们本来打算讨论反射证明理论，该理论进展得十分顺利。但因为我们刚刚发布了Testnet-3，...
2020-01-10 14:50:18
371
原创 协作：一份来自RChain的倡议书（上篇）
RChain微博：RChain官方作者介绍：Lucius Gregory Meredith分布式计算的先驱，RChain创始人，Rho 演算的发明人Greg在英国帝国理工学院获得分布式计算博士学位曾担任微软 BizTalk 项目的首席架构师和微软 Highwire项目的首席架构师，参与制定了微软“下一代Web服务战略”曾任微软CTO办公室顾问，微软高性能计算组顾问BizTalk是微软...
2020-01-10 14:44:54
1268
转载 rholang第8课：状态通道
状态通道保存数据到现在为止，你已经很擅长于发送数据到元组空间和从元组空间中获取数据。但是无论你在什么时候进行计算，你有时需要把一些数据放在一边晚点才使用。几乎所有编程语言都有变量的概念。rholang 的另一个独特的地方在于它没有传统的变量。然而，我们只是使用元组空间来保存我们的数据。只要你想要把一些数据放在一边晚点使用，就把数据发送到一些通道里然后晚点再从通道中获取。以这种方式使用的通道...
2020-01-09 11:59:28
288
转载 rholang第6课：不可伪造的Names和Acks
不可伪造的Names和Acks使通道"私有"到目前为止，每一个我们发送信息的通道都是公共的"name"，如@"pizzaShop"。 任何一个人都可以往这个通道发送信息（可能对于某些商用行为是好的），但是任何一个人也可以从这个通道中获取信息（这对于一些商业就很糟糕了）。想象一下如果竞争者可以从披萨店中获取他们的披萨订单让披萨店无法获取他们的订单，那肯定十分糟糕。披萨店的竞争者需要什么样的代...
2020-01-09 11:53:45
235
转载 rholang第5课：Join操作
Join操作多数据源有时候仅当从两个以上不同的数据源获取数据后，才会开始计算。例如，在你得知了你的彩票号码和中奖号码之前，你无法知道你是否赢得大奖。在你知道购买物品价格和购买总额之前，你无法进行购买。在你知道每个参赛者做了多少个俯卧撑前，你无法知道谁赢得俯卧撑比赛。rholang提供了Join操作，来应对这种情况。使用;符号来执行一次Join操作。for (p1Pushups <-...
2020-01-09 11:44:38
221
转载 rholang第4课：持续发送与窥探
持续发送与窥探为什么要重复发送？我们的披萨和咖啡店都可以在同一个复用通道中接收消息。我们使用一个持续的for (msg <= chan){...}或者一个合约contract chan(msg){...}来达成这一目的。空中交通管制塔楼可能会乐于做刚好相反的事——不停地发送相同的消息。塔楼中的控制者希望记录同时包含天气和跑道信息的消息，并且提供给所有需要的飞行员。类似披萨店， 他们很...
2020-01-09 11:39:32
203
转载 rholang第3课：传音筒、"name"和“process”
传音筒、"name"和“process”消息传递在前面的章节，我们学习了如何向祖母或披萨店发送消息。但是至今所有的接收方都通过将消息打印至标准输出，来告知已经接收到了。现在让我们做一些更有意思的事情–类似孩子们的传话游戏那样传递消息。telephone3.rho你可以通过运行上面的代码来做实验。你可以修改你觉得合适的地方多运行几次。练习传话游戏很有趣，但有更多玩家参与会更好。请添加...
2020-01-09 11:09:35
400
转载 rholang第2课：接收
接收消息检查在上一章我们学习了如何发送消息。现在是时候学习如何接收消息了。常规语法如下：for(message <- channel){ // Do something here}顺便提一下， // 用于标示注释。 //后面的内容程序并不会运行。写好注释可以有利于其他开发者（包括你自己）阅读代码，并了解代码的意图，其他读你代码的开发者会感激你写注释的。通信事件下面的代码使用披...
2020-01-09 11:01:31
224
转载 rholang第1课：发送与标准输出(stdout)
发送与标准输出(stdout)说声Hello编程界有一个存在已久的传统——输出"Hello World"应该是你学习的第一个程序。下面是一个在屏幕上输出"Hello World"的最简单例子。hello.rho练习请让程序输出"Rholang rocks!" 而不是 “Hello World”。练习尝试将"stdout"替换为别的语句。会得到什么结果？尝试一下这个有趣的通道名称...
2020-01-09 10:55:09
366
转载 Rholang配置你的开发环境
配置你的开发环境为了可以运行这个教程里面的rholang代码，你需要一些开发环境。 这不是一个会让你感到疲惫的rholang开发工具或者技术栈。 然而它展示了一些基本的开发环境给你开始。网上编译器RChain社区的成员提供了一个基于公共网站的在线rholang编译器。 这个工具非常有前途，也是一种入门的简单方式。 但是它还是开发节点，有时候会不稳定。本地节点真正正确运行rholang代码...
2020-01-09 10:44:18
398
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人