成都链安 简介
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
成都链安 投资方
成都链安 相关信息
Liraz Siri
TabooKey 首席执行官。
慢雾科技
专注区块链生态安全。
ETHSecurity
组织社区，以提高以太坊安全性。
Escarro
控制你的加密货币转账。
Moxie Marlinspike
Signal 与 Open Whisper Systems 创始人。
Securify
扫描以太坊智能合约的安全性。
Eventus Systems
为合规、贸易监控、风险管理提供智能决策的软件解决方案。
Peter Kacherginsky
Coinbase 首席区块链安全工程师。
Nick Sullivan
Cloudflare 首席密码学家。