韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Disclaimer: i contenuti di OKX Orbit sono forniti solo a scopo informativo. Scopri di più
Risposte
Related Flash News
Odaily•20minuti faLe partecipazioni in Bitcoin di Strategy sono attualmente in un profitto variabile di 4,54 miliardi di dollari, mentre quelle di Bitmine in Ethereum sono attualmente in perdita fluttuante di 6,297 miliardi di dollari
ChainCatcher•30minuti faBNY Mellon lancia un servizio di custodia di beni digitali di livello istituzionale conforme ad Abu Dhabi
Odaily•36minuti faBitmine: Le partecipazioni di ETH sono aumentate a circa 5,206 milioni e la scala dei pledge ha raggiunto i 11,1 miliardi di dollari
ChainCatcher•56minuti faRonin migrerà alla rete di livello 2 di Ethereum il 12 maggio con un periodo di inattività temporaneo di 10 ore
ChainCatcher•1ora faMichael Saylor, Strategia 上周增持 535 枚 BTC
ChainCatcher•1ora faGalaxy si è unita a Sharplink per lanciare un fondo di reddito DeFi on-chain da 125 milioni di dollari
ChainCatcher•1ora faSecondo l'analisi, i detentori di Bitcoin a lungo termine stanno accumulando una grande quantità di fondi, e gli acquisti istituzionali stanno portando a un rendimento superiore a 80.000 dollari
ChainCatcher•1ora faAnalista Bloomberg: Prevedo che l'estensione dell'ETF possa essere ritardata a causa della richiesta della SEC di un'ulteriore revisione dei documenti di divulgazione
Odaily•1ora faGli indirizzi correlati a BIT hanno venduto un totale di 303.600 HYPE, incassando circa 12,79 milioni di dollari
ChainCatcher•1ora faRipple ha ricevuto 200 milioni di dollari di finanziamenti da Neuberger Berman per espandere il proprio business di margine sia nel mercato tradizionale che in quello crypto