“AI+区块链安全”项目AnChain.ai与专注于智能合约安全及形式化验证研究的安比(SECBIT)实验室签订战略合作协议，并成立硅谷区块链安全联合实验室。未来双方将在智能合约安全审计及形式化验证、智能合约及公链态势感知等方面开展深入合作。

安比(SECBIT)实验室由中国科学技术大学博士郭宇创建，专注于智能合约安全技术的研究，从密码学、代码语义、形式化验证、博弈论、编译器等多种理论角度切入，着眼于智能合约的设计、开发、测试、审计等全生命周期，研发一系列的工具与服务，从根本上解决智能合约的安全问题。

位于美国硅谷的AnChain.ai公司由辛辛那提大学计算机博士方春生Victor Fang创建。方博士是硅谷上市网络安全公司FireEye 史上第一位首席数据科学家，负责AI产品研发。他从2012年起在硅谷从事大数据，AI， 网络安全APT，区块链 的研发工作，拥有超过15项美国专利，发表20余篇AI相关学术文章。《麻省理工科技评论》2017年撰稿人。

AnChain.ai目前主要提供两款MVP产品：

• CAP (Contract Audit Platform)：容器化的智能合约审计SaaS云平台；提供智能合约和DAPP的代码自动审计和专家审计。

• SAP (Situational Awareness Platform): 基于威胁情报，AI和知识图谱的区块链态势感知平台提供SaaS服务，为区块链智能合约及公链交易安全护航。

安比(SECBIT)实验室和AnChain.ai团队希望通过此次合作，提供区块链安全方面完整的解决方案，发挥双方优势: 通过AnChain.ai态势感知系统发现潜在风险，结合安比(SECBIT)实验室擅长的智能合约安全审计、公链安全审计、形式化验证等手段迅速解决安全问题， 持续为区块链交易安全保驾护航；同时双方可通过CAP平台更好的为社区提供智能合约安全审计服务。

目前双方已经迅速开展第一个合作项目，就目前流行的FOMO3D等区块链游戏，发现了巨大的安全问题，目前双方正在积极开展相关研究工作，这很可能成为区块链游戏的年度大事件。