-
编辑 删除
Dappy如何防止DNS黑客入侵
Dappy如何防止DNS黑客入侵Dappy是RChain生态中的DNS【域名系统（服务）协议】。作者：Raphaël 译者注：Dappy是RChain生态中的DNS【域名系统（服务）协议】。Dappy基于RChain的技术架构保障了域名系统的安全性。 Dappy是一个用于文件和Web应用程序的去中心化分发网络。Dappy既不使用DNS系统也不使用电子证书认证中心，它执行的是相同
-
编辑 删除
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要
在这一集，Greg和RChain的研究人员Isaac，Christian讨论了TLA（Temporal Logic of Actions）和RChain的LADL（Logic As Distribution Law）。
-
编辑 删除
资源｜RChain相关链接（2019年8月更新版）
资源｜RChain相关链接（2019年8月更新版）／ 关于Rholang的第一手中文资料 ／ 为了让大家更方便地了解RChain，追踪最新信息，将项目相关资源链接整理如下： RChain官网rchain.coop RChain社区discord.gg/NWkQnfH 注：需要认证为Coop会员才能进入 认证入口：www.rchain.coop/communi
-
编辑 删除
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要
作者／Atticbee在这一集，Greg和RChain的研究人员Isaac，Christian讨论了TLA（Temporal Logic of Actions）和RChain的LADL（Logic As Distribution Law）。下面是Atticbee做的摘要，然后加了一些自己的理解。 TLA （Temporal Logic of Actions，行为时序逻辑
