- 博客(1)
- 收藏
- 关注
RSS订阅原创 【我的区块链之路】- 随便说一说 Tezos
Tezos 总结Tezos是什么?Tezos是智能合约和去中心化应用的新平台，具备自我修正的加密货币和区块链平台。主要基于 LPos （即: Liquid Proof-of-Stake 流动权益证明）。其具备智能合约的形式化验证（formation verification）功能。架构图开发语言：底层： OCaml 语言 (理由，函数式编程有比较强大的形式化验证功能，可以在一定...
2019-05-08 16:55:38
961
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人