韓國金融安全院將開發智能合約驗證工具，建立驗證體系

根據 ChainCatcher 報導，韓國金融安全院宣布將針對數字資產服務推進三項重點工作，包括開發智能合約驗證工具、建立智能合約驗證體系，以及培育數字資產專業人才。

該機構將針對代幣證券、穩定幣等應用場景，開發專用的安全驗證工具，可自動檢測重入攻擊、存取權限錯誤、抵押品驗證遺漏等主要漏洞，並結合韓國的金融監管環境持續更新檢測規則。同時，韓國金融安全院還將發布《智能合約安全指南》，涵蓋開發、部署、運營的全流程，並通過研討會與合作網絡等方式提升金融機構的數字資產安全能力。