成都链安斩获第二届中国可信区块链安全攻防大赛特等奖
消息来源:baojiabao.com 作者: 发布时间：2026-05-24
11 月 19 日，第二届中国可信区块链安全攻防大赛决赛开幕式在成都举行，作为国内区块链安全领域的高规格、高水准赛事，第二届中国可信区块链安全攻防大赛便是备受瞩目。而在大赛中，成都链安更是斩获大赛特等奖，彰显了企业技术实力。
本次比赛由成都市人民政府、中国信息通信研究院主办，成都市新经济发展委员会承办。成都链安科技有限公司作为协办单位，将共同助力本次大赛举办，同时成都链安首席技术专家将作为评委出席本次区块链技术攻防大赛。
大赛聚焦"安全"、"可信"，吸引了全国 118 支队伍报名，参赛规模近 400 人，覆盖企业、高校及科研机构。大赛设置三个赛道，即区块链系统攻防比赛、区块链安全解决方案设计比赛以及 原创自主区块链平台应用案例评选比赛。
经过两天的角逐，成都链安"啄木鸟团队"带着"链必验 - 智能合约形式化验证平台"（以下简称链必验）一举斩获区块链安全解决方案设计比赛赛道特等奖。
链必验专为联盟链打造的智能合约安全检测工具
链必验是一款全球领先的"一键式"智能合约形式化验证平台。检测准确率高达 97% 以上，精确定位风险代码位置并给出修改建议，自动检测智能合约 80 余项的常规安全漏洞及功能逻辑缺陷。可以极大提高智能合约的人工审计效率，有效降低安全隐患遗漏风险。
在验证的过程中，链必验采用形式化验证等技术，对执行环境进行建模，通过数学推理等方法对安全属性进行验证，主要包含代码规范性、常规安全问题、业务逻辑安全三大方面的检测。全面适用于联盟链智能合约开发者、测试人员以及区块链审计机构的审计人员。
能够在众多优秀的参赛项目中斩获特等奖，说明了链必验等到了行业专家和市场的高度认可。链必验现已拥有生态用户 10 万 +，是全球首套同时支持蚂蚁链、腾讯区块链、FISCO-BCOS、Fabric 等的智能合约形式化验证平台。
2022-12-21 18:59:36相关文章
炒港股要补交多少税？我也接到催交补税特别行动的电话了2025-07-23 17:36:43
淘宝天猫仅退款属于诈骗吗？淘宝天猫开始部分取消仅退款2024-10-01 13:01:28
- 哈啰app借钱|哈啰借钱app下载安装免费小小上当和电话骚扰
2024-10-01 11:22:38
- 白嫖党｜山西大同大学学生网购申请“仅退款”被拒骂客服一小时
2024-09-27 09:10:44
- 北大数学教授袁新意《姜萍事件的疑点分析》点评姜萍板书 阿里巴巴竞赛受质疑
2024-06-28 10:07:40
天猫新规可以无条件申请“仅退款”了？淘宝天猫又离狗多多零元购近了一步2024-06-28 09:27:13
美国法院裁定阿里须为Squishmallows玩具侵权案答辩2023-12-28 19:59:34
小米汽车传员工3700人 雷军称小米汽车不可能卖9万92023-12-28 19:41:57
国家新闻出版署:认真研究《网络游戏管理办法(草桉徵求意见稿)》关切 实行前进一步完善2023-12-28 19:14:56
印度以打击金融犯罪为由逮捕了两名 vivo 高管2023-12-26 16:49:01
在国外微信收不到国内信息？微信和WeChat将被拆分2023-12-15 10:40:15
苹果iPhone15 系列手机发布最新消息 预计上市发布时间9月2023-08-06 23:21:02
华为将发布鸿蒙HarmonyOS4操作系统 功能五大升级支持设备清单2023-08-06 23:17:37
整治自媒体网红账号 400万粉丝网红发布擦边视频被无限期封禁2023-07-12 09:56:09
网传微信文件传输助手是真人是真的吗?微信官方回应2023-06-27 15:53:32
电信移动送手机成了“信用购”？你上了运营商的贷款套路了吗？2023-06-12 17:18:55
- 中国电信广东地区崩了无信号 客服回应已在核实处理
2023-06-08 15:39:04
- 消息称小米新能源汽车价格表正讨论定价区间：双版本不同配置，高配或超 35 万元
2023-03-06 12:56:03
- 华为因制裁被传或分拆剥离手机业务? 内部人士回应:可能性不大.
2023-03-05 23:26:41
- OPPO正式发布安第斯智能云，让终端更智能
2023-02-24 16:02:27
