干货 | 公有链的基本挑战: Part 2
Open
- Dominant language
- No language data
- Stars
- 26
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
## 干货 | 公有链的基本挑战: Part 2
阅读推荐： 干货 | 公有链的基本挑战: Part 1 3. 缺乏形式化合约验证 智能合约的正式验证仍然是一个巨大且悬而未决的问题。首先，让我们通过理解什么是“形式证明”来理解“正式验证”对一个合约的意义。数学中的“形式证明”意味着一个已经被计算机用数学的基本公理和原始推理规则检验过的数学证明。…
February 1, 2018 at 05:15PM
via Instapaper http://mp.weixin.qq.com/s/46ITaXF5C0JPhTUTRhrEcA
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.