The Korea Financial Services Commission (FSC) will develop a smart contract verification tool and establish a verification system.
South Korea’s Financial Security Institute announced three key initiatives focused on digital asset services: developing a smart contract verification tool, establishing a smart contract verification framework, and cultivating specialized talent in digital assets. The Institute will develop a dedicated security verification tool capable of automatically detecting major vulnerabilities—including reentrancy attacks, access control errors, and missed collateral checks—targeting use cases such as tokenized securities and stablecoins. Detection rules will be continuously updated to align with South Korea’s financial regulatory environment. Concurrently, the Institute will release the “Smart Contract Security Guidelines,” covering the full lifecycle of development, deployment, and operations, and will enhance financial institutions’ digital asset security capabilities through workshops, collaborative networks, and other means.
