Jiaheng Zhang

I am a fourth-year Ph.D. candidate in Computer Science at UC Berkeley, where I am very fortunate to be advised by Prof. Dawn Song. I also work closely with Prof. Yupeng Zhang. And I am a member of RISE Lab, Initiative for Cryptocurrencies & Contracts Lab (IC3) and Berkeley AI Research (BAIR).

My research interests lie in computer security and cryptography, especially zero-knowledge proofs and their applications on blockchain and machine learning models.

Prior to coming to Berkeley, I received my Bachelor's degree in ACM Honors Class of Shanghai Jiao Tong University, where I worked under the supervision of Prof. Xiaotie Deng. During my undergraduate, I was also a research intern at Cornell, advised by Prof. Elaine Shi.

I am highly honored to receive the Facebook Fellowship in 2021.

Polynomial Commitment with a One-to-Many Prover and Applications
Jiaheng Zhang*, Tiancheng Xie*, Thang Hoang, Elaine Shi, Yupeng Zhang
To appear at USENIX Security Symposium (Security), 2022

Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time [pdf]
Jiaheng Zhang, Tianyi Liu, Weijie Wang, Yinuo Zhang, Dawn Song, Xiang Xie, Yupeng Zhang
To appear at The ACM Conference on Computer and Communications Security (CCS), 2021

Zero Knowledge Proofs for Decision Tree Predictions and Accuracy [pdf] [code]
Jiaheng Zhang, Zhiyong Fang, Yupeng Zhang, Dawn Song
The ACM Conference on Computer and Communications Security (CCS), 2020

Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof [pdf] [video] [code]
Jiaheng Zhang*, Tiancheng Xie*, Yupeng Zhang, Dawn Song
IEEE Symposium on Security and Privacy (S&P), 2020

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation [pdf] [video] [code]
Tiancheng Xie*, Jiaheng Zhang*, Yupeng Zhang, Charalampos Papamanthou, Dawn Song
Annual International Cryptology Conference (CRYPTO), 2019

Searching for Cryptogenography Upper Bounds via Sum of Square Programming [pdf]
Dominik Scheder*, Shuyang Tang*, Jiaheng Zhang*
The 30th International Symposium on Algorithms and Computation (ISAAC), 2019

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation [Hacking, Distributed] [Medium]