Hanzhi Liu

Hanzhi Liu 是 Nubit 联合创始人。 他是 UCSB 的博士生（在休假），拥有上海交通大学的学士学位。 他的研究重点是程序验证、语言语义和编译器优化。 他为以太坊基金会 PSE 的大多数项目编写了正式证明，并发现了许多零日漏洞。 他撰写了一篇关于认证 ZKP 电路的著名论文，已被 S&P 2024 接受，并致力于减轻链上攻击。