成都链安 简介
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
成都链安 投资方
成都链安 相关信息
Nikita Kaskov
=nil; Foundation 密码学团队负责人。
DAppHub
老牌区块链媒体 Cointelegraph 推出的去中心化应用聚合工具。
DeFi Safety
针对 DeFi 应用、智能合约的质量与安全评级。
安比实验室
专注于区块链与智能合约安全问题。
KMSchain
去中心化的、零知识证明的密钥管理服务。
Benjamin Small
ThreatKey 联合创始人。
Merkle Science
区块链行业的风险管理。
Secureum
以太坊安全。
Authio
智能合约的安全审计与开发。