安比 (SECBIT) 实验室为 Hydro Protocol 提供代码审计服务

Hydro Protocol 与专注智能合约安全研究的安比(SECBIT)实验室达成战略合作。安比(SECBIT)实验室作为独立第三方，为 Hydro Protocol 在以下方面提供代码审计服务：

1. 为 Hydro 旗下去中心化交易所上线的ERC20 合约，提供智能合约审计

2. 为 Hydro 旗下的DDEX 移动端（DDEX Wallet），提供安全审计

3. 为 Hydro 第一个开源智能合约（Hydro Swap），提供审计服务

Hydro Protocol 是下一代 Hybrid 点对点交易所网络共享协议。Hydro 重新定义了去中心化交易所订单执行规则，提供共享订单的撮合机制。

DDEX是世界上第一个基于Hydro Protocol 开发的点对点交易平台，是全球最大的去中心化交易所之一。Hydro旗下第二个点对点交易平台 DeltaRelay 已在8月上线。

安比(SECBIT)实验室将会为Hydro Protocol 提供专业的代码审计与形式化验证，凭借其在智能合约审计和形式化验证等方面深厚的技术积累，以及自主开发的众多专业审计工具，严格保证协议从根本上杜绝任何的安全漏洞与业务逻辑漏洞，助力 Hydro Protocol 旗下产品的安全落地、与规范的生态建设。

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

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

安比（SECBIT）实验室

info@secbit.io