2020年2月1日
RCast 66: 射影几何与Rho演算
摘要： Greg Meredith与Isaac DeFrain和Christian Williams一起讨论了射影几何及其在Rho演算中的作用。 阅读全文
posted @ 2020-02-01 16:12 RChain中国 阅读(483) 评论(0) 推荐(0)
为什么RChain区块链上一定要有REV？
摘要： RChain区块链网络上一定要有REV吗？它的作用是什么？在这篇文章里，RChain创始人Mr. Greg Meredith做了详细解读，便于业界和社区对RChain网络有更深入的认识。 阅读全文
posted @ 2020-02-01 16:08 RChain中国 阅读(543) 评论(0) 推荐(0)
2020年1月31日
通过示例学习rholang（下部：课程8-13）
摘要： 通过示例学习rholang（下部：课程8-13） 阅读全文
posted @ 2020-01-31 19:44 RChain中国 阅读(295) 评论(0) 推荐(0)
2020年1月30日
通过示例学习rholang（上部：课程0-6）
摘要： 通过例子和实践来学习rho语言。下面的例子和练习都很值得去运行、阅读、修改和完善。修改练习和教程中任何你感到有意思的代码，这样能够获得最好的学习效果。该教程包含了rho语言最常见以及最重要的特性，足以让开发者快速入门。 课程0 -- 开发环境 配置你的开发环境 为了可以运行这个教程里面的rholan 阅读全文
posted @ 2020-01-30 11:07 RChain中国 阅读(693) 评论(0) 推荐(0)
2020年1月19日
Dappy如何防止DNS黑客入侵
摘要： 作者：Raphaël 译者注：Dappy是RChain生态中的DNS【域名系统（服务）协议】。Dappy基于RChain的技术架构保障了域名系统的安全性。 Dappy是一个用于文件和Web应用程序的去中心化分发网络。Dappy既不使用DNS系统也不使用电子证书认证中心，它执行的是相同的工作，但是该服 阅读全文
posted @ 2020-01-19 22:10 RChain中国 阅读(220) 评论(0) 推荐(0)
2020年1月18日
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要
摘要： 作者／Atticbee 在这一集，Greg和RChain的研究人员Isaac，Christian讨论了TLA（Temporal Logic of Actions）和RChain的LADL（Logic As Distribution Law）。下面是Atticbee做的摘要，然后加了一些自己的理解。 阅读全文
posted @ 2020-01-18 11:34 RChain中国 阅读(321) 评论(0) 推荐(0)