Yupeng Zhang

ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange

Chao Zhang, Yun Li, Cun Ye, 2021, CCS.

Zero Knowledge Static Program Analysis

Joseph P. Near, David Darais, Yupeng Zhang, 2021, CCS.

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments

Charalampos Papamanthou, Alin Tomescu, Alexander Chepurnoy, 2021, IACR Cryptol. ePrint Arch..

zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy

Tianyi Liu, Yupeng Zhang, Xiang Xie, 2021, IACR Cryptol. ePrint Arch..

Zero-Knowledge Proofs for Machine Learning

Yupeng Zhang, 2020 .

The Formalization of Discrete Fourier Transform in HOL

Jie Zhang, Zhiping Shi, Yupeng Zhang, 2015 .