中信网

11月19日，第二届中国可信区块链安全攻防大赛决赛开幕式在成都举行，作为国内区块链安全领域的高规格、高水准赛事，第二届中国可信区块链安全攻防大赛便是备受瞩目。而在大赛中，成都链安更是斩获大赛特等奖，彰显了企业技术实力。

本次比赛由成都市人民政府、中国信息通信研究院主办，成都市新经济发展委员会承办。成都链安科技有限公司作为协办单位，将共同助力本次大赛举办，同时成都链安首席技术专家将作为评委出席本次区块链技术攻防大赛。

大赛聚焦“安全”、“可信”， 吸引了全国118支队伍报名，参赛规模近400人，覆盖企业、高校及科研机构。大赛设置三个赛道，即区块链系统攻防比赛、区块链安全解决方案设计比赛以及 原创自主区块链平台应用案例评选比赛。

经过两天的角逐，成都链安“啄木鸟团队”带着“链必验—智能合约形式化验证平台”（以下简称链必验）一举斩获区块链安全解决方案设计比赛赛道特等奖。

　　链必验专为联盟链打造的智能合约安全检测工具

链必验是一款全球领先的“一键式”智能合约形式化验证平台。检测准确率高达97以上，精确定位风险代码位置并给出修改建议，自动检测智能合约80余项的常规安全漏洞及功能逻辑缺陷。可以极大提高智能合约的人工审计效率，有效降低安全隐患遗漏风险。

在验证的过程中，链必验采用形式化验证等技术，对执行环境进行建模，通过数学推理等方法对安全属性进行验证，主要包含代码规范性、常规安全问题、业务逻辑安全三大方面的检测。全面适用于联盟链智能合约开发者、测试人员以及区块链审计机构的审计人员。

能够在众多优秀的参赛项目中斩获特等奖，说明了链必验等到了行业专家和市场的高度认可。链必验现已拥有生态用户10万+，是全球首套同时支持蚂蚁链、腾讯区块链、FISCO-BCOS、Fabric等的智能合约形式化验证平台。