首页 > 世链号 > 【dfex交易所排名多少】 安比实验室SECBIT与AnChain.ai在硅谷成立区块链安全联合实验室
区边社  

【dfex交易所排名多少】 安比实验室SECBIT与AnChain.ai在硅谷成立区块链安全联合实验室

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

安比实验室SECBIT与AnChain.ai在硅谷成立区块链安全联合实验室

“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等区块链游戏,发现了巨大的安全问题,目前双方正在积极开展相关研究工作,这很可能成为区块链游戏的年度大事件。

 
来源: SECBIT
免责声明
世链财经作为开放的信息发布平台,所有资讯仅代表作者个人观点,与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论,请提供相关材料,发送到:2785592653@qq.com。
风险提示:本站所提供的资讯不代表任何投资暗示。投资有风险,入市须谨慎。
世链粉丝群:提供最新热点新闻,空投糖果、红包等福利,微信:juu3644。