4月26日,中南財經政法大學產業(yè)升級與區(qū)域金融湖北省協(xié)同創(chuàng)新中心研究員李虹含在其公眾號發(fā)文表示,區(qū)塊鏈項目已進入智能合約時代,但是智
4月26日,中南財經政法大學產業(yè)升級與區(qū)域金融湖北省協(xié)同創(chuàng)新中心研究員李虹含在其公眾號發(fā)文表示,區(qū)塊鏈項目已進入智能合約時代,但是智能合約自身的正確性和安全性卻面臨著巨大的問題。區(qū)塊鏈世界本身是相當安全的,但是由于人為撰寫代碼的問題,不可能完美。而智能化代碼審計,利用計算機進行穩(wěn)健性檢驗是當前代碼審計最重要的方式。