区块链安全服务公司CertiK在近期完成了针对IoTeX项目Delegation Program的安全审计。这是继去年六月以来，IoTeX的项目再次通过CertiK的审计。在审计过程中，CertiK团队利用形式化验证技术为IoTeX提供了全面、严格的…
区块链安全服务公司CertiK在近期完成了针对IoTeX项目Delegation Program的安全审计。这是继去年六月以来，IoTeX的项目再次通过CertiK的审计。在审计过程中，CertiK团队利用形式化验证技术为IoTeX提供了全面、严格的…