安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
Qredo
安全、快速地转移数字资产。
HashCloak
专注于隐私、可扩展性、分布式系统的区块链研究实验室。
PolySwarm
通过市场设计和以太坊智能合约来实现众包真理。
AuditDAO
提供 DeFi 缺少的任何安全监督层。
Sigma Prime
专注于区块链技术和信息安全。
Stefan Beyer
Cryptonics 创始合伙人兼首席执行官。
Nassim Eddequiouaq
a16z Crypto 首席信息安全官。
LEDGEROPS
精英化网络安全团队。
Argus
提供针对区块链技术的代码审计。