欧链OracleChain正式宣布，他们与多个EOS社区和团队共同发起了“EOS安全测试网”，并联合成都链安科技等从事区块链安全相关的公司和团队对EOS网络安全与性能进行深入测试。
成都链安科技研制的全球第一个支持 EOS 合约的全自动化的形式化验证平台，提供“一键式”智能合约验证服务，只需要导入待验证的EOS智能合约源代码，即可一键自动化的检查出合约存在的溢出等常规安全漏洞，生成错误报告提示，并精确定位到合约漏洞代码的所在位置。
鉴于目前频发的由于智能合约漏洞导致的数字资产被盗事件，火币网、OK资本、比原链、布比区块链、云象区块链等多家单位近日也与成都链安科技签订了战略合作协议。
而成都链安科技更是与全球顶级的形式化验证团队法国Inria建立了合作意向，接下来将会共同打造全球形式化验证安全社区。未来，成都链安科技的VaaS验证平台，将会为更多的合作伙伴提供专业的区块链平台和智能合约的安全性、功能正确性形式化验证服务。
成都链安科技由从事形式化验证技术多年的电子科技大学副教授/博士后杨霞女士创建，团队核心成员由20多名来自海外知名高校和实验室（CSDS、耶鲁、UCLA）留学经历的副教授、博士后、博士、硕士组成，该团队已为军事安全关键软件提供多年的形式化验证服务。
更多资讯请扫码▼
文字原创 | 图片来源于Google
本文首发于「成都链安科技」
转载前请联系我们