会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
qxred
首页
联系
订阅
管理
03 2018 档案
casper correct by construction 共识(二)
摘要:本文介绍了rchain中的casper共识
阅读全文
posted @
2018-03-18 17:29
qxred
阅读(688)
评论(0)
推荐(1)
casper correct by construction 共识(一)
摘要:本文介绍了rchain中的casper共识机制
阅读全文
posted @
2018-03-14 15:18
qxred
阅读(827)
评论(0)
推荐(0)
rholang学习(二) pi 演算 Pi Calculus
摘要:本文简单介绍了pi calculus
阅读全文
posted @
2018-03-10 09:02
qxred
阅读(1973)
评论(0)
推荐(0)
rholang学习(三) rholang
摘要:本文简单介绍了rholang的基本语法。
阅读全文
posted @
2018-03-10 09:01
qxred
阅读(1423)
评论(0)
推荐(0)
rholang 学习(一) Lambda演算 Lambda Calculus
摘要:本文简单介绍了lambda calculus(lambda 演算)
阅读全文
posted @
2018-03-07 11:24
qxred
阅读(1378)
评论(0)
推荐(0)