智能合約這項新技術充滿了安全挑戰,所以對智能合約進行大量的白盒審計是非常必要的。
通過智能合約審計來確保合約的安全性,並確保所有合約得到高效的執行。
針對以上四大問題我們提出了四大解決方案:
函數可見性審核,包括:敏感函數繼承權限檢測和函數調用權限檢測。
合約限制繞過審核,包括:使合約失效,刪除地址字節碼和將所有合約資金發送到一個目標地址。
調用棧耗盡審核,包括:檢測棧高度限制,是否出現棧耗盡情況。
拒絕服務審核,包括:過多貨幣交易發生異常,導致交易回滾,最終導致合約拒絕服務。
聘請專門的智能合約安全顧問公司進行服務可以有效解決以上問題.