个人简介
郭宇是安比（SECBIT）实验室创始人，中国科学技术大学博士、耶鲁大学访问学者。曾任中国科学技术大学副教授，后担任知名金融科技公司副总裁。他是中国计算机学会区块链专委会委员、数字资产研究院学术与技术委员，是国内早期关注并研究比特币与区块链技术的科研人员之一。郭宇博士专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，在国际顶级会议与期刊发表论文几十篇，研究领域涉及形式化验证、零知识证明、操作系统内核、区块链技术、系统安全等方面。
主要成就
- 创立安比（SECBIT）实验室，专注于区块链安全研究
- 担任中国计算机学会区块链专委会委员
- 担任数字资产研究院学术与技术委员
- 担任中国区块链安全联盟智能合约小组组长
- 在国际顶级会议与期刊发表学术论文几十篇
- 参与并主持多项国家级重点科研项目
- 提出零知识有条件支付改进方案ZKCP+
- 提出底层零知识证明算法改进方案CLINK
- 在可验证数据库、神经网络推断的零知识证明等应用场景进行大规模实验
- 是国内早期关注并研究比特币与区块链技术的科研人员之一
成长历程
求学阶段
在中国科学技术大学攻读博士学位，后赴耶鲁大学担任访问学者，从事计算机科学与系统软件相关研究。
学术生涯
回国后担任中国科学技术大学副教授，参与并主持多项国家级重点科研项目，在国际顶级会议与期刊发表论文几十篇，研究领域涉及形式化验证、零知识证明、操作系统内核、区块链技术、系统安全等。
产业转型
离开学术界后，担任知名金融科技公司副总裁，积累了丰富的金融安全产品研发经验。
创立安比实验室
创立安比（SECBIT）实验室，专注于区块链安全研究，致力于形式化验证、智能合约安全、零知识证明等技术在区块链领域的应用。
2020年
GIAC全球互联网架构大会
担任2020年GIAC全球互联网架构大会'安全计算和隐私保护'专题出品人，并发表《零知识证明理论的发展与应用》演讲。
2021年
复旦大学学术报告
在复旦大学江湾校区进行题为'零知识证明与公平交易协议'的学术报告，介绍零知识有条件支付改进方案ZKCP+和CLINK方案。
相关文章
经典观点
"比特币的核心价值在于提供了一种无需信任第三方的电子现金系统，其产出可预测且总量固定，不存在传统货币那样的通胀问题。"
— 公开演讲
"区块链安全的关键在于通过形式化验证等手段确保系统能够稳定安全地运行，而非仅仅依赖代码审计。"
— 安比实验室技术分享
"零知识证明技术将在保护隐私的同时实现可验证计算，是区块链隐私保护和扩容的重要方向。"
— GIAC大会演讲