安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
派盾科技
区块链安全公司。
Eric DeCourcy
OpenZeppelin 安全研究分析师。
Symbolic Software
专注于对应用加密系统进行现代洞察。
g0 Group
对区块链项目进行代码安全审计。
ETHSecurity
组织社区，以提高以太坊安全性。
DeFi Safety
针对 DeFi 应用、智能合约的质量与安全评级。
LEDGEROPS
精英化网络安全团队。
北京链安
聚焦区块链安全，为数字经济新时代保驾护航。
CyberX Project
去中心化的网络安全平台。