支持 EOS、以太坊的区块链形式化验证平台。
MDEX数据播报：总锁仓量22.8亿美元:据MDEX.COM官网4月6日数据显示，TVL：22.8亿美元，日交易量: 23.4亿美元，交易挖矿补贴：4.8亿美元，LP奖励: 3.2亿美元，MDX回购销毁数量: 1966万MDX，总回购金额:7423万USDT ，董事会每周奖励952万USDT，实时通缩率11.11%。[2021/4/6 19:50:17]
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
SkyBridge创始人：比特币很容易成为数字黄金和价值存储资产:美国对冲基金天桥资本（Skybridge Capital）创始人、前美国白宫通讯联络主任Anthony Scaramucci表示，比特币很容易成为数字黄金和价值存储资产。Scaramucci在接受采访时说，SkyBridge正在对加密资产进行尽职调查。他解释说，虽然他还没有致力于任何具体的加密货币，但他仍然认为比特币可以变成数字黄金。Scaramucci指出，在怀疑加密货币的合法性之后，他和他的团队认为这是一项合理的投资，尤其是在考虑了各国央行的货币宽松政策之后。（The Daily Hod）[2020/11/21 21:36:13]
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。