...高兴地说道。今年 11 月 6 日,她创办的 Beosin (成都链安)完成了智能合约形式化验证平台 VaaS2.0 的研发,把行业内智能合约审计的准确度提高到 95% 以上。统计数据显示,2011 年~2018 年间,智能合约安全事件损失金额达 12.4 亿美元,占该期间区块链安全事件总损失金额的 1/3。2016 年下半年,杨霞便从智...
知识:安全,访谈
...」,携带一种被应用在军事、航空航天等领域的小众、高门槛的验证方式「形式化验证」杀入区块链领域。Beosin 成都链安创始人杨霞表示,形式化验证并非很神秘,归根结底,它是利用数学之美为计算机系统做安全防护的一种严格、有效的方法。如今 Beosin 成都链安正式迎来了它的一周岁,针对智能合...
知识:链闻,CHAINNEWS,采访,Beosin,成都,链安,一
近日,成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric,为链码提供“军事级”的安全验证。什么是Fabric?Hyperledger Fabric是Linux基金会旗下的开源区块链平台,也是目前针对产业应用落地最多的链平台,得到了国内外众多公司的支持。IBM 、AWS、SAP、Oracle、蚂蚁金服、腾讯、百度、华...
知识:智能合约,合约,区块链的,公链
近日,成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric,为链码提供“军事级”的安全验证。什么是Fabric?Hyperledger Fabric是Linux基金会旗下的开源区块链平台,也是目前针对产业应用落地最多的链平台,得到了国内外众多公司的支持。IBM 、AWS、SAP、Oracle、蚂蚁金服、腾讯、百度、华...
知识:智能合约,合约,公链,联盟链
...安全组负责人Adrian。本期直播访谈的主题是:畅聊区块链安全,解密冷门“形式化验证”以下为采访实录:(在不改变原意的情况下,稍有删节)主持人:第一问,能否先给粉丝朋友们介绍一下成都链安以及你们正在做的事呢?Adrian:成都链安科技,全球最早专门从事区块链安全的公司,由联想创投,...
知识:合约,区块链安全,智能合约,链上
...cklike 采访了成都链安创始人杨霞,就上述问题展开了对话。引入「军事级」形式化验证一直以来,杨霞都被认为是区块链安全领域「嗅觉」灵敏的先行人。早在 2016 年,杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择,但与当时浩浩汤汤的区块链行业「淘金者」队伍不同,她...
知识:区块链安全,在区块链,区块链行业,区块链生态
...cklike 采访了成都链安创始人杨霞,就上述问题展开了对话。引入「军事级」形式化验证一直以来,杨霞都被认为是区块链安全领域「嗅觉」灵敏的先行人。早在 2016 年,杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择,但与当时浩浩汤汤的区块链行业「淘金者」队伍不同,她...
知识:区块链安全,在区块链,区块链行业,区块链生态
...cklike 采访了成都链安创始人杨霞,就上述问题展开了对话。引入「军事级」形式化验证一直以来,杨霞都被认为是区块链安全领域「嗅觉」灵敏的先行人。早在 2016 年,杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择,但与当时浩浩汤汤的区块链行业「淘金者」队伍不同,她...
知识:区块链安全,在区块链,区块链行业,区块链生态
...cklike 采访了成都链安创始人杨霞,就上述问题展开了对话。引入「军事级」形式化验证一直以来,杨霞都被认为是区块链安全领域「嗅觉」灵敏的先行人。早在 2016 年,杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择,但与当时浩浩汤汤的区块链行业「淘金者」队伍不同,她...
知识:形式化验证,安全问题,成都链安
...共建的区块链技术研究与应用联合实验室开展“ 全球首个基于EOS智能合约的形式化验证”项目验收及成果汇报工作。历时一年零5个月,在数十名电子科技大学的博士生导师、博士研究生夜以继日的努力之下,项目克服种种技术难关正式落地。△ 电子科技大学副教授钱伟中向我们介绍项目总体概况△?电...
知识:智能合约,合约,区块链技术研究,智能合约代码
...适用于军方,而是适用于整个计算机领域。“小鸟”新系统使用的技术便是形式化验证(formal verification)技术。它的代码就像数学证明一样可靠。</blockquote>上一篇文章为大家分享了顾荣辉教授在哥大校友活动上发表的演讲,他为大家解答了区块链的安全问题,以及形式化验证如何为区块链安全生态作出建...
知识:智能合约,合约,在区块链,区块链
11月1日,成都链安重磅推出离线免费版智能合约自动形式化验证工具Beosin—VaaS,该版本基于流行的开发工具VS?Code插件,供广大开发者免费使用。获得方式如下,欢迎体验使用:https://marketplace.visualstudio.com/items?itemName=Beosin.beosin-vaas-eth?在此之前,成都链安已于2018年8月推出的在线免费版智能合约自动形式...
知识:合约,区块,智能,免费版
...』的区块链安全技术和保障体系;?三是需要推动区块链行业的合规进程。7形式化验证技术究竟是什么?如何保障区块链行业安全?成都链安对此做出了哪些研究?杨霞:说到形式化验证技术,用比较简单的话来讲,就是将各种可能出现的问题进行穷举。一般来说,传统意义上的验证手段是无法把可能...
知识:区块链行业,区块链,区块链生态,区块链安全
...』的区块链安全技术和保障体系;?三是需要推动区块链行业的合规进程。7形式化验证技术究竟是什么?如何保障区块链行业安全?成都链安对此做出了哪些研究?杨霞:说到形式化验证技术,用比较简单的话来讲,就是将各种可能出现的问题进行穷举。一般来说,传统意义上的验证手段是无法把可能...
知识:形式化验证,安全问题,成都链安
...链安将不遗余力地为CoinAll提供专业和全面的安全技术支持,以领先于全球的形式化验证技术及“一站式”区块链安全平台,助力CoinAll为用户带来最优质和最安全的交易体验。双方将会着重在平台安全性、代码及智能合约安全审计、形式化验证服务、信息与网络安全资讯、数据监控、异常分析及追踪、...
知识:区块链安全,智能合约,数字资产交易,区块链