成都链安斩获第二届中国可信区块链安全攻防大赛特等奖
消息来源:baojiabao.com 作者: 发布时间:2024-05-21
11 月 19 日,第二届中国可信区块链安全攻防大赛决赛开幕式在成都举行,作为国内区块链安全领域的高规格、高水准赛事,第二届中国可信区块链安全攻防大赛便是备受瞩目。而在大赛中,成都链安更是斩获大赛特等奖,彰显了企业技术实力。
本次比赛由成都市人民政府、中国信息通信研究院主办,成都市新经济发展委员会承办。成都链安科技有限公司作为协办单位,将共同助力本次大赛举办,同时成都链安首席技术专家将作为评委出席本次区块链技术攻防大赛。
大赛聚焦"安全"、"可信",吸引了全国 118 支队伍报名,参赛规模近 400 人,覆盖企业、高校及科研机构。大赛设置三个赛道,即区块链系统攻防比赛、区块链安全解决方案设计比赛以及 原创自主区块链平台应用案例评选比赛。
经过两天的角逐,成都链安"啄木鸟团队"带着"链必验 - 智能合约形式化验证平台"(以下简称链必验)一举斩获区块链安全解决方案设计比赛赛道特等奖。
链必验专为联盟链打造的智能合约安全检测工具
链必验是一款全球领先的"一键式"智能合约形式化验证平台。检测准确率高达 97% 以上,精确定位风险代码位置并给出修改建议,自动检测智能合约 80 余项的常规安全漏洞及功能逻辑缺陷。可以极大提高智能合约的人工审计效率,有效降低安全隐患遗漏风险。
在验证的过程中,链必验采用形式化验证等技术,对执行环境进行建模,通过数学推理等方法对安全属性进行验证,主要包含代码规范性、常规安全问题、业务逻辑安全三大方面的检测。全面适用于联盟链智能合约开发者、测试人员以及区块链审计机构的审计人员。
能够在众多优秀的参赛项目中斩获特等奖,说明了链必验等到了行业专家和市场的高度认可。链必验现已拥有生态用户 10 万 +,是全球首套同时支持蚂蚁链、腾讯区块链、FISCO-BCOS、Fabric 等的智能合约形式化验证平台。
2022-12-21 18:59:36相关文章
- 美国法院裁定阿里须为Squishmallows玩具侵权案答辩
2023-12-28 19:59:34
- 小米汽车传员工3700人 雷军称小米汽车不可能卖9万9
2023-12-28 19:41:57
- 国家新闻出版署:认真研究《网络游戏管理办法(草桉徵求意见稿)》关切 实行前进一步完善
2023-12-28 19:14:56
- 天猫新规可以无条件申请“仅退款”了?淘宝天猫又离狗多多零元购近了一步
2023-12-28 18:57:55
- 印度以打击金融犯罪为由逮捕了两名 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
- 华为与OPPO签订全球专利交叉许可协议 包括5G蜂窝通信专利
2023-02-24 16:02:26
- 老蛙将推MINI镜头新品:目前未知具体规格 官宣将于12月20日发布
2023-02-24 16:02:26
- 首发全新35mm定制光学系统 努比亚Z50性能同样强悍
2023-02-24 16:02:25
- Redmi K60屏幕细节曝光:全系标配2K护眼柔性直屏+5000mAh大容量电池
2023-02-24 16:02:25
- OPPO Find N2今天发 合金金属折叠屏更轻了
2023-02-24 16:02:24