EOS已上线!你居然还不了解VaaS ?

EOS已上线!你居然还不了解VaaS ?

欧链OracleChain正式宣布,他们与多个EOS社区和团队共同发起了“EOS安全测试网”,并联合成都链安科技等从事区块链安全相关的公司和团队对EOS网络安全与性能进行深入测试。



成都链安科技研制的全球第一个支持 EOS 合约的全自动化的形式化验证平台,提供“一键式”智能合约验证服务,只需要导入待验证的EOS智能合约源代码,即可一键自动化的检查出合约存在的溢出等常规安全漏洞,生成错误报告提示,并精确定位到合约漏洞代码的所在位置。


VaaS(点击左侧深入了解)明天上线的 EOS 提前做好安全预防,其一键式验证效果如下:


鉴于目前频发的由于智能合约漏洞导致的数字资产被盗事件,火币网、OK资本、比原链、布比区块链、云象区块链等多家单位近日也与成都链安科技签订了战略合作协议。

而成都链安科技更是与全球顶级的形式化验证团队法国Inria建立了合作意向,接下来将会共同打造全球形式化验证安全社区。未来,成都链安科技的VaaS验证平台,将会为更多的合作伙伴提供专业的区块链平台和智能合约的安全性、功能正确性形式化验证服务。


成都链安科技由从事形式化验证技术多年的电子科技大学副教授/博士后杨霞女士创建,团队核心成员由20多名来自海外知名高校和实验室(CSDS、耶鲁、UCLA)留学经历的副教授、博士后、博士、硕士组成,该团队已为军事安全关键软件提供多年的形式化验证服务。



成都链安科技

作为火币网、OKcoin等

著名交易所指定的合约审计公司。 

欢迎联系链安,进行智能合约安全审计。

 

邮箱:vaas@lianantech.com

电话:028-83262585




  点击了解更多


+1


发表评论
相关文章
前特朗普顾问Steve Bannon计划推出功能性代币
前特朗普顾问Steve Bannon计划..
摩根大通提交分散式虚拟收据系统新专利
摩根大通提交分散式虚拟收据系统新专利
PlatON团队受邀出席Distributed 2018峰会 发布下一代计算架构PlatON
PlatON团队受邀出席Distribu..
俄罗斯加密货币矿工和持有人将受到现行法律监管
俄罗斯加密货币矿工和持有人将受到现行法律监管
越南距中止加密货币采矿机进口仅一步之遥
越南距中止加密货币采矿机进口仅一步之遥
韩国建立基于区块链的“建议评估系统”
韩国建立基于区块链的“建议评估系统”

热文

合作伙伴


万向区块链实验室 趣块链社区 万向新链加速器 布比 币看 云币 Stellar 矩阵金融 网录科技 Bitse sosobtc China Ledger