个人简介
Hanzhi Liu（刘翰之）是 Nubit 的联合创始人，同时也是加州大学圣塔芭芭拉分校（UCSB）的博士生（目前休学创业）。他本科毕业于上海交通大学，研究领域聚焦于程序验证、编程语言语义学和编译器优化。在学术方面，他为以太坊基金会 PSE（Privacy and Scaling Explorations）的多个项目编写了形式化证明，并发现了多个零日漏洞。他撰写的关于认证零知识证明电路的论文被顶级安全会议 IEEE S&P 2024 接收。在创业领域，他联合创立了 Nubit——一个比特币原生的数据可用性层项目，致力于通过零知识证明技术解决比特币生态的扩展性问题。
主要成就
- 联合创立 Nubit，比特币原生数据可用性层项目，获得多轮融资支持
- 为以太坊基金会 PSE 的多个核心项目编写形式化证明，提升协议安全性
- 发现多个零日漏洞，为区块链安全做出重要贡献
- 撰写的认证 ZKP 电路论文被顶级安全会议 IEEE S&P 2024 接收
- 在程序验证和编译器优化领域发表多篇高质量学术论文
- 推动比特币生态扩展性解决方案，提出基于 zkSNARKs 的签名聚合方案
成长历程
2016-2020
上海交通大学本科学习
在上海交通大学完成学士学位，主修计算机相关专业，打下扎实的编程和理论基础。
2020-2023
UCSB 博士学习开始
进入加州大学圣塔芭芭拉分校攻读博士学位，研究方向为程序验证、语言语义和编译器优化。
2022-2023
以太坊基金会 PSE 合作
与以太坊基金会 PSE（Privacy and Scaling Explorations）团队合作，为多个项目编写形式化证明，并发现多个零日漏洞。
2023
IEEE S&P 2024 论文接收
撰写的关于认证 ZKP 电路的论文被网络安全顶级会议 IEEE S&P 2024 接收，该论文在零知识证明电路的形式化验证方面具有重要影响。
2023
联合创立 Nubit
联合创立 Nubit 项目，担任联合创始人，致力于构建比特币原生的数据可用性层，解决比特币生态的扩展性和数据可用性问题。
2023-至今
Nubit 发展与融资
带领 Nubit 团队快速发展，项目获得市场关注，推动比特币 Layer 2 和数据可用性采样（DAS）技术的创新应用。
相关文章
经典观点
"形式化验证是确保区块链协议安全的关键手段，通过数学证明可以消除传统测试无法发现的漏洞。"
— 以太坊基金会 PSE 项目实践
"零知识证明技术将在比特币扩展性解决方案中发挥核心作用，zkSNARKs 可以显著降低验证者之间的通信开销。"
— Nubit 技术白皮书 / IEEE S&P 2024 论文
"比特币生态需要原生的数据可用性层，而非简单移植以太坊方案，必须继承比特币的安全性和抗审查特性。"
— Nubit 项目理念