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


发表评论
相关文章
美国国会议员:当前的加密货币行业需要更好的监管
美国国会议员:当前的加密货币行业需要更好..
IBM 报告:美国应在区块链技术发展过程中发挥领导作用
IBM 报告:美国应在区块链技术发展过程..
美国政府已花费数百万美元追踪加密货币用户
美国政府已花费数百万美元追踪加密货币用户
专家表示:朝鲜将“越来越多”地使用加密货币以避免美国制裁
专家表示:朝鲜将“越来越多”地使用加密货..
Ebang推出新的节能比特币芯片矿工系列产品
Ebang推出新的节能比特币芯片矿工系列产品
美国乳品公司试点区块链技术改善食品供应链
美国乳品公司试点区块链技术改善食品供应链

热文

合作伙伴


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