安比实验室专注于区块链与智能合约安全问题,全方位监控智能合约安全漏洞、提供专业合约安全审计服务,在智能合约安全技术上开展全方位深入研究,致力于参与共建共识、可信、有序的区块链经济体。
安比实验室创始人郭宇,中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授,后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年,具有丰富的金融安全产品研发经验,是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长:区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室专注于区块链与智能合约安全问题,全方位监控智能合约安全漏洞、提供专业合约安全审计服务,在智能合约安全技术上开展全方位深入研究,致力于参与共建共识、可信、有序的区块链经济体。
安比实验室创始人郭宇,中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授,后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年,具有丰富的金融安全产品研发经验,是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长:区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室官网:https://secbit.io/
据官方消息,DAOSquare 完成天使轮融资,此轮估值4,000万美金,由 HashKey 领投,投资机构包括:Alameda、NGC、CMS Holdings、SRC Capital、Pluto Digital Assets PLC、安比实验室、LD Capital、Spark Capital、LangHash、ArkStream Capital、DFG、Hash Global、Zonff Partners、Crasolum Pte Ltd、Double Peak Group Limited (HK)、HunFan Labs、MetaCartel Ventures China、Kucoin Labs、Hot Labs、Gate Labs,另外 MetaCartel Ventures 的发起人Peter_Pan 等其他个人投资人也参与了此轮投资。 DAOSquare 诞生于西方以太坊社区 MetaCartel,致力于 Web3 时代孵化器的构建,其目标是成为 Web3 时代的 Y·Combinator,DAOSquare 即将上线孵化器 MVP,第一期全球性孵化计划已经启动,近期会公布第一期孵化名单。另外,孵化基金 (VentureDAO) 也将于近期启动。