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