Финансовый институт безопасности Южной Кореи разработает инструмент для верификации смарт-контрактов и создаст систему проверки.

ChainCatcher сообщает, что Корейский институт финансовой безопасности объявил о реализации трех ключевых инициатив в сфере цифровых активов: разработка инструмента проверки смарт-контрактов, создание системы верификации смарт-контрактов и подготовка специалистов по цифровым активам.

Институт планирует разработать специализированный инструмент безопасности для таких сценариев, как токенизированные ценные бумаги и стабильные монеты, который будет автоматически выявлять основные уязвимости, включая атаки повторного входа, ошибки доступа и пропуски в проверке обеспечения. Правила обнаружения будут регулярно обновляться в соответствии с финансовым регулированием в Южной Корее. Кроме того, учреждение выпустит «Руководство по безопасности смарт-контрактов», охватывающее весь процесс разработки, развертывания и эксплуатации, а также повысит безопасность цифровых активов финансовых институтов через семинары и коллаборативные сети.