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

ChainCatcher 消息，韓國金融安全院宣布，將圍繞數位資產服務推進 3 項重點工作，包括開發智能合約驗證工具、建立智能合約驗證體系，以及培養數位資產專業人才。

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