支持 EOS、以太坊的区块链形式化验证平台。
IoTeX首席赞助Gitcoin第十轮黑客松:据官方消息，Web3开源开发者激励平台 Gitcoin 将于 6 月 16 日至 7 月 7 日举行第十轮黑客松（GR10） ，总赏金高达65万美金。IoTeX作为本轮Gitcoin黑客松首席赞助，将提供资金和技术资源，助力Web3开发者创建开源公共产品和应用。本轮Gitcoin黑客松匹配有史以来最大赏金池，IoTeX为活动提供资金支持以外，还设置了三个共15500美金的专项赏金挑战，鼓励开发者通过IoTeX最新上线的Web3 Babel通天塔API工具参与挑战，在IoTeX网络上共同建设未来Web3开源新生态。
Gitcoin是目前最大的Web3开发者平台，激励支持开发Web3开源项目，扶植在未来能产生最大影响的去中心化开源项目。IoTeX作为硅谷开源项目成立于2017年，以链接现实世界和数字世界为愿景，是与以太坊全兼容的高性能公有区块链。[2021/6/17 23:44:42]
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。