Publications

Ceno: Non-uniform, Segment and Parallel Zero-Knowledge Virtual Machine
T. Liu, Z. Zhang, Ye Zhang, W. Hu, Y. Zhang
Journal of Cryptology, 2025
GZKP: A GPU-Accelerated Zero-Knowledge Proof System
W. Ma, Q. Xiong, X. Shi, X. Ma, H. Jin, H. Kuang, M. Gao, Ye Zhang, H. Shen, W. Hu
ACM ASPLOS, 2023
Zero-Knowledge Middleboxes
Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish
USENIX Security Symposium, 2022
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, S. Wang, X. Zhang, J. Dong, X. Mao, F. Long, C. Wang, D. Zhou, M. Gao, G. Sun
ACM/IEEE ISCA, 2021
Adopted as core architecture in real ASICs, acknowledged by Paradigm
Publicly Auditable MPC-as-a-Service with Succinct Verification and Universal Setup
Sanket Kanjalkar, Ye Zhang, Shreyas Gandlur, Andrew Miller
IEEE EuroS&P, 2021