2018 年 3月随笔档案 - qxred

摘要：本文介绍了rchain中的casper共识阅读全文

posted @ 2018-03-18 17:29 qxred 阅读(674) 评论(0) 推荐(1) 编辑

摘要：本文介绍了rchain中的casper共识机制阅读全文

posted @ 2018-03-14 15:18 qxred 阅读(805) 评论(0) 推荐(0) 编辑

摘要：本文简单介绍了pi calculus 阅读全文

posted @ 2018-03-10 09:02 qxred 阅读(1908) 评论(0) 推荐(0) 编辑

摘要：本文简单介绍了rholang的基本语法。阅读全文

posted @ 2018-03-10 09:01 qxred 阅读(1389) 评论(0) 推荐(0) 编辑

摘要：本文简单介绍了lambda calculus(lambda 演算) 阅读全文

posted @ 2018-03-07 11:24 qxred 阅读(1296) 评论(0) 推荐(0) 编辑

qxred