南韓 FSI 啟動智慧合約安全性驗證工具，推進三個計畫

根據 Edaily，南韓金融安全院（FSI）今日宣布開發一款專用的智慧合約安全驗證工具，並推進三項主要計畫，包括打造智慧合約驗證系統以及培育數位資產人才。該驗證工具將自動偵測用於代幣證券、穩定幣以及其他數位資產服務的智慧合約中的主要弱點，重點鎖定高風險弱點類型，例如重入（reentrancy）攻擊、存取控制錯誤以及抵押品驗證不足。工具將持續更新符合南韓金融監管環境的客製化檢查標準。FSI 也將建立涵蓋整個智慧合約生命週期的驗證程序與標準，從開發到部署與營運，並為會員公司發布《智慧合約安全指南》。