Hanzhi Liu is the co-founder at Nubit. He is a Ph.D. student (on-leave) at UCSB, with a B.S. from Shanghai Jiao Tong University. His research is centered on program verification, language semantics, and compiler optimizations. He has written formal proofs for most of the Ethereum Foundation PSE's projects and has discovered numerous zero-day vulnerabilities. He authored a notable paper on certifying ZKP circuits, accepted for S&P 2024, and has worked on mitigating on-chain attacks.