About Me

A second-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.

Research Interests

Zero-knowledge proof: succinct proof/argument system, application on privacy preserving credentials, rational cryptography etc.
Commitment scheme: mainly explore and improve it as a tool for constructing SNARK.

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.