基本信息
Hanzhi Liu 是 Nubit 共同創辦人。 他是 UCSB 的博士生（正在休假），擁有上海交通大學的學士學位。 他的研究重點是程式驗證、語言語義和編譯器最佳化。 他為以太坊基金會 PSE 的大多數專案編寫了正式證明，並發現了許多零日漏洞。 他撰寫了一篇關於認證 ZKP 電路的著名論文，已被 S&P 2024 接受，並致力於減輕鏈上攻擊。
Hanzhi Liu 是 Nubit 共同創辦人。 他是 UCSB 的博士生（正在休假），擁有上海交通大學的學士學位。 他的研究重點是程式驗證、語言語義和編譯器最佳化。 他為以太坊基金會 PSE 的大多數專案編寫了正式證明，並發現了許多零日漏洞。 他撰寫了一篇關於認證 ZKP 電路的著名論文，已被 S&P 2024 接受，並致力於減輕鏈上攻擊。