上海證交所前總工程師:AI能為國家監管區塊鏈提供依據
4月22日,大數據文摘在微信公眾號發布《中科院教授白碩:AI+區塊鏈,兩大神器如何助力商業新生態》,上海證交所前總工程師白碩接受采訪表示,以比特幣的交易為例,進行貨幣轉讓的人是匿名的,但他們的轉賬行為是公開的。我們可以使用人工智能去分析這些數據,從數據的結構和數據表現的行為中去發現是什么人在做什么交易,甚至是給不同的賬戶進行定量的畫像和分析。這樣人工智能就能為國家監管區塊鏈提供依據。
利用智能合約的代碼強制執行與信任和價值有關的業務流程將會成為區塊鏈的常態。這些代碼承載著信任的流動,一旦出錯或者有安全隱患,很有可能引起災難性的后果,所以很多人不約而同地將智能合約代碼的把關工作寄希望于形式化驗證。為了推動區塊鏈長遠健康的發展,使得更多信任的狀態能夠在區塊鏈上流動,智能合約的正確性、安全性必須得到保證。目前看來,形式化驗證是一個有效的解決方案。