安比实验室专注于区块链与智能合约安全问题,全方位监控智能合约安全漏洞、提供专业合约安全审计服务,在智能合约安全技术上开展全方位深入研究,致力于参与共建共识、可信、有序的区块链经济体。
安比实验室创始人郭宇,中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授,后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年,具有丰富的金融安全产品研发经验,是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长:区块链技术、形式化验证、程序语言理论、操作系统内核。
标签:安全
9月5日,由Odaily星球日报主办、36Kr集团战略协办的P.O.D大会在北京举行。在大会的安全论坛上,安比实验室创始人郭宇与众嘉宾共同探讨区块链的安全问题.
编者按:本文来自万向区块链,Odaily星球日报经授权转载。本文为万向区块链蜂巢学院线上公开课第二十九期的分享内容。本期邀请了安比实验室创始人郭宇,带来分享《当深度神经网络遇上零知识证明》.
演讲:郭宇,安比实验室创始人兼 CEO整理:Amber,Foresight News今天我主要是跟大家分享一下关于 ZK 的学习心得和一点体会.