Как сообщает Edaily, сегодня Институт финансовой безопасности Южной Кореи (FSI) объявил о разработке специализированного инструмента для проверки безопасности смарт-контрактов и продвигает три ключевые инициативы, включая создание системы верификации смарт-контрактов и развитие цифровых активов и профильных специалистов. Инструмент проверки будет автоматически выявлять ключевые уязвимости в смарт-контрактах, используемых для токенизированных ценных бумаг, стейблкоинов и других сервисов цифровых активов, с акцентом на высокорисковые типы уязвимостей, такие как атаки reentrancy, ошибки в управлении доступом и недостаточная валидация обеспечения. Инструмент будет постоянно обновлять индивидуальные стандарты инспекции, согласованные со средой финансового регулирования в Южной Корее. FSI также создаст процедуры и стандарты верификации, охватывающие весь жизненный цикл смарт-контрактов — от разработки до развертывания и эксплуатации — и выпустит Руководство по безопасности смарт-контрактов для компаний — членов организации.