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

據 ZDNet 報導，韓國金融安全院將推進三項圍繞數位資產服務的關鍵任務，包括開發智慧合約驗證工具、建立智慧合約驗證系統，以及培育數位資產專業人才。 該機構將針對證券代幣化（tokenized securities）與穩定幣（stablecoins）等場景，開發專用的安全驗證工具，可自動檢測重入攻擊（reentrancy attacks）、存取控制錯誤（access control errors）及抵押品檢查缺失（missing collateral checks）等主要漏洞。這些工具將持續更新檢測規則，以契合韓國金融監管環境。 此外，該機構還將發布一份《智慧合約安全指南》（Smart Contract Security Guide），涵蓋開發、部署與營運的全生命週期；並透過研討會與協作網絡，提升金融機構的數位資產安全能力。 [Forward Insights News]