About Me

I'm a third-year phd student in cryptography at Northwestern University, advised by Prof. Xiao Wang.
Before joining Northwestern, I obtained my bachelor's degree from the ACM Honors Class, Shanghai Jiao Tong University.
In my junior year (in SJTU), I worked as a student intern at LATTICE lab, advised by Prof. Yu Yu. During this internship, I mainly worked on how to prove the security of cryptographic primitives in a low-level method.
Currently doing internship at Chainlink Labs.

Research Interests

I'm generally interested in zero-knowledge protocols across the entire spectrum—from improving protocol-level efficiency to exploring their applications in both Web2 and Web3. I have experience designing frameworks for efficient ZK systems, implementing both interactive ZK and SNARKs, and integrating ZK tools into production-level systems.

Other interested topics: Multi-Party Computation, Private Signaling, Identity, Accountability

Publications

An Efficient ZK Compiler from SIMD Circuits to General Circuits
Dung Bui, Haotian Chu, Geoffroy Couteau, Xiao Wang, Chenkai Weng, Kang Yang, Yu Yu
This work is done during my internship in Xiao's lab (in my senior year).
In this paper, we find a way to construct efficient ZKP by making the best of circuit parallelization.
We build a methodology compiler that can transform SIMD ZK into general one.
We also present some instansiation based on well-known protocols as well as concrete evaluation.
This paper is accepted by Journal of Cryptology 2024.

Private Signaling Secure Against Actively Corrupted Servers
Haotian Chu, Xiao Wang, Yanxue Jia
Private signaling allows servers to identify a recipient's messages on a public bulletin board without knowing the recipient's metadata. It is a central tool for systems like privacy-preserving blockchains and anonymous messaging. However, unless with TEE, current constructions all assume that the servers are only passively corrupted, which significantly limits their practical relevance. In this work, we present a TEE-free simulation-secure private signaling protocol assuming two non-colluding servers, either of which can be actively corrupted.
This work is still in submission.