I am currently a third-year Ph.D student at the Department of Computing, The Hong Kong Polytechnic University (PolyU), supervised by Professor AU Man Ho Allen.

I am interested in zero-knowledge proofs, threshold cryptography, designing protocols, and implementing them.

Research Papers

• Mengling Liu, Yang Heng, Xingye Lu, Man Ho Au. JesseQ: Efficient Zero-Knowledge Proofs for Circuits over Any Field, S&P 2025, [Github]
• Zhikang Xie, Mengling Liu, Haiyang Xue, Man Ho Au, Robert H. Deng, Siu-Ming Yiu. Direct Range Proofs for Paillier Cryptosystem and Their Applications, CCS 2024
• Haiyang Xue, Man Ho Au, Mengling Liu, Kwan Yin Chan, Handong Cui, Xiang Xie, Tsz Hon Yuen, Chengru Zhang. Efficient multiplicative-to-additive function from Joye-Libert cryptosystem and its application to threshold ECDSA, CCS 2023

Research Competition

• ZPrize 23/24: High Throughput Signature Verification. (250,000 USD Cash Award)
  • Compiling the ECDSA signature verification process as a circuit in Varuna.
  • [Github],[PolyU News]
• ZPrize 22/23: PLONK-DIZK GPU Acceleration. (550,000 USD Cash Award)
  • Enhancing Plonk with GPU acceleration and distribution.
  • [Github],[PolyU News]