區塊鏈智能合約通過代碼建立一套“法律合同”，軟件工程師創造一個完全無誤差的代碼是不可能的，程序員總存在疏忽的地方。紅岸科技和國防科技大學的Ulord
區塊鏈項目研究團隊對市面上的區塊鏈智能合約進行了審計，他們的研究發現：
對所有的程序員來說，寫一個沒有bug的代碼實在是太難了，即使采取了所有可能的預防措施，在復雜的軟件中也總會出現沒有預料到的執行路徑或可能的漏洞。
這是為什么要代碼審計最重要的原因之一。
區塊鏈中的 “法律合同”是一項受解釋和仲裁的約束，程序員很難去創造一個縝密的合約。在任意一個大的合約里，可能出現的文稿錯誤以及一些條款需要解釋和仲裁。
同時，軟件工程師不是法律專家，反之亦然。起草一份好的合約需要各種各樣的技能，不一定與編寫的計算機程序兼容。
因此，智能合約代碼在一定程度上都可能存在安全隱患。傳統的智能合約代碼審計主要利用人工，依靠code reviewer閱讀智能合約代碼。人工代碼審計最終還是依賴人的經驗，代碼審計效果不明顯，針對目前ETH大量代幣的智能合約，人工審計工作量大，難以高效的完成工作。
在區塊鏈領域從事代碼審計業務的項目公司較少，目前每個代幣在上交易所之前，其區塊鏈智能合約代碼由交易所進行審察和判定，但交易所有時并不能完全有效地判斷合約是否完美。
智能化代碼審計，利用計算機進行穩健性檢驗是當前代碼審計最重要的方式，掌握該項技術標準的國內公司并不多。
但，區塊鏈代碼審計的重要性不言而喻，區塊鏈世界本身是相當安全的，但是由于人為撰寫代碼的問題，不可能完美，必須加強代碼有效性的識別。
作者李虹含系中南財經政法大學產業升級與區域
金融湖北省協同創新中心研究員
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
