那些被一行代码蒸发1个亿的智能合约，形式化验证了解一下？ | 人物志

「人物志」为区块链大本营（ID：blockchain_camp）着力打造的人物栏目，以「趣味而不失专业，可读而不失深度」为宗旨，每期邀请区块链领域的顶级专家和开发者就行业、投融资、开发、案例、项目实践等展开探讨。 作为以太坊生态的核心，智能合约这几年发展迅速。最早的智能合约，可以追溯到1995年，由密码学家尼克萨博首次提出。智能合约在多方参与、复杂交易的场景中有明显优势。 然而，近期随着智能合约安

>>阅读原文<<