安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
HashCloak
专注于隐私、可扩展性、分布式系统的区块链研究实验室。
Arkose Labs
使网络犯罪业务破产。
John Mardlin
Optimism 安全工程主管。
Hosho
挑战当前对于区块链安全的定义。
Bill Gleim
ConsenSys 解决方案 R&D 与 PoC 小组负责。
PhishFort
反网络钓鱼解决方案的领导者。
Sam Sun
第三方安全研究人员。
Eric DeCourcy
OpenZeppelin 安全研究分析师。
Smart Contract Security Alliance
智能合约安全联盟。