吞吴是由北美资深科学家与前谷歌微软工程师于2017年共同创立，2019年成立中国区运营公司。吞吴掌握业界领先的形式化验证技术，从数学上为系统软件提供*高安全级别的安全防御，构建下一代高可信软件系统，应用于区块链、操作系统、和云计算等领域。团队迄今为止，已服务1800+企业客户，保护$3000亿+加密资产，同时，公司与Etherscan、Quarkchain、NEO、ICON、Qtum等知名平台达成战略合作，深度参与链上安全生态建设。
内容由
提供
恭喜您，提交成功！
您的编辑正在审核中，1个工作日内，会以邮件通知您结果
提交失败。
