Koreańska Agencja Bezpieczeństwa Finansowego opracuje narzędzie do weryfikacji smart kontraktów i ustanowi system walidacji.

ChainCatcher podaje, że Koreański Instytut Bezpieczeństwa Finansowego ogłosił realizację trzech kluczowych działań dotyczących usług cyfrowych aktywów: opracowanie narzędzia do weryfikacji smart kontraktów, ustanowienie systemu weryfikacji smart kontraktów oraz kształcenie specjalistów ds. cyfrowych aktywów.

Instytut opracuje dedykowane narzędzie bezpieczeństwa weryfikującego, które automatycznie wykrywa najważniejsze luki, takie jak ataki typu reentrancy, błędne uprawnienia dostępu czy pominięcie walidacji zabezpieczeń w scenariuszach tokenów zabezpieczonych i stablecoinów. Narzędzie będzie stale aktualizowane zgodnie z koreańskim otoczeniem regulacyjnym. Instytut wyda także „Przewodnik bezpieczeństwa smart kontraktów” obejmujący cały proces rozwoju, wdrażania i obsługi. Poprzez seminaria oraz współpracę sieciową zamierza podnosić kompetencje instytucji finansowych w zakresie bezpieczeństwa cyfrowych aktywów.