安比实验室＆路印达成战略合作

安比实验室（SECBIT）已与构建新一代去中心化交易协议的路印（Loopring）团队签署战略合作协议。双方未来将在路印协议智能合约代码审计及形式化验证等方面开展深入合作；同时安比实验室还会作为独立第三方，为路印协议未来将要支持的 ERC20 代币合约提供安全审计服务。

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

安比实验室将会为路印协议 2.0 系列提供完整的代码审计与形式化验证，严格保证协议从根本上杜绝任何的安全漏洞与业务逻辑漏洞；安比实验室还将为路印的生态提供专门的智能合约安全漏洞检测工具与高级审计服务，保证代币等各种数字资产的安全性与规范性，打造健康、有序的路印协议生态。

安比（SECBIT）实验室

安比（SECBIT）实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。

安比（SECBIT）实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核、计算机病毒。