那些被一行代碼蒸發1個億的智能合約，形式化驗證瞭解一下？ | 人物誌

「人物誌」爲區塊鏈大本營（ID：blockchain_camp）着力打造的人物欄目，以「趣味而不失專業，可讀而不失深度」爲宗旨，每期邀請區塊鏈領域的頂級專家和開發者就行業、投融資、開發、案例、項目實踐等展開探討。 作爲以太坊生態的核心，智能合約這幾年發展迅速。最早的智能合約，可以追溯到1995年，由密碼學家尼克薩博首次提出。智能合約在多方參與、複雜交易的場景中有明顯優勢。 然而，近期隨着智能合約安

>>阅读原文<<