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