Фінансовий інститут безпеки Південної Кореї розробить інструмент для верифікації смарт-контрактів та створить систему перевірки.

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

Інститут розроблятиме спеціалізовані інструменти безпеки для автоматичного виявлення основних вразливостей, таких як повторне входження, помилки доступу та пропуск перевірки застави, у контексті токенізованих цінних паперів, стейблкоїнів тощо, з регулярним оновленням правил відповідно до регуляторного середовища Південної Кореї. Одночасно буде опубліковано «Керівництво з безпеки смарт-контрактів», яке охоплює всі етапи розробки, розгортання і експлуатації, а також організовано семінари та створено мережі співпраці для підвищення безпеки цифрових активів у фінансових організаціях.