安比实验室(SECBIT)& 路印(Loopring)达成战略合作  secbit.io

2018-07-18 22:07:18 区块链SECBIT实验室

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

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

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

阅读原文
标签:安比 实验室 协议 合约 智能 合作