區塊鏈在2.0以后引入了智能合約，智能合約（Smart contract ）的官方定義是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議。在采訪中，白碩為我們做了更生動的解讀：“在智能合約的框架下，體現價值和信任的數據在一個可以控制的、事先規定好的邏輯下流動，這樣的流動可以給社會各個領域帶來與價值和信任相關的服務，而這些服務就是智能合約。”
白碩表示，利用智能合約的代碼強制執行與信任和價值有關的業務流程將會成為區塊鏈的常態。這些代碼承載著信任的流動，一旦出錯或者有安全隱患，很有可能引起災難性的后果，所以很多人不約而同地將智能合約代碼的把關工作寄希望于形式化驗證。
“AlphaGo Zero這些技術的出現標志了在符號推理、機器推理等方面
人工智能巨大的進展。這種推理反過來作用在智能合約上就是形式化驗證”，白碩繼續說道：“無論是程序的正確性、安全性和業務資金的安全性還是身份的保證，形式化驗證都是能得到廣泛應用的一個技術。”
為了推動區塊鏈長遠健康的發展，使得更多信任的狀態能夠在區塊鏈上流動，智能合約的正確性、安全性必須得到保證。目前看來，形式化驗證是一個有效的解決方案。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
