路印协议已与专注智能合约安全研究的安比实验室（SECBIT）签署了战略合作协议。双方未来将进行路印协议智能合约代码审计及形式化验证；同时安比实验室还会作为独立第三方，为路印协议未来将要支持的ERC20代币合约提供安全审计服务。

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

目前的智能合约可能存在的典型问题：大多数区块链项目都会做到代码开源，所以安全漏洞无法隐藏，容易受到攻击；已发布在区块链上的智能合约具有不可逆性，合约的源代码将无法被修改；传统软件安全技术无法满足区块链极高的安全需求。

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

____________________

Loopring Foundation

网站: https://loopring.org

电邮: [email protected]

微信: loopringfoundation

推特: https://twitter.com/loopringorg

Reddit: https://reddit.com/r/loopringorg

中文电报: https://t.me/loopringfans

英文电报: https://t.me/loopring_en

知识星球：https://t.zsxq.com/JyfiAAe

币用社区：https://0.plus/loopringfans