03月
31
一站式区块链安全服务平台，亮相智慧城市智慧城市新经济产品发布会
今（31）日下午2点，以“智慧城市 感知未来”为主题的“智慧城市”专场在成都天府新区规划厅举行。成都链安科技有限公司带来Beosin“一站式”区块链安全服务平台。 成都链安科技有限公司CTO郭文生表示，成都链安将形式化验证技术应用到区块链安全领域，公司打造的“一站式区块链安全服务平台”，是全球首个“一键式”智能合约自动形式化验证工具，可一键查验代码漏洞，检测准确率超过97%。
今（31）日下午2点，以“智慧城市 感知未来”为主题的“智慧城市”专场在成都天府新区规划厅举行。成都链安科技有限公司带来Beosin“一站式”区块链安全服务平台。 成都链安科技有限公司CTO郭文生表示，成都链安将形式化验证技术应用到区块链安全领域，公司打造的“一站式区块链安全服务平台”，是全球首个“一键式”智能合约自动形式化验证工具，可一键查验代码漏洞，检测准确率超过97%。
