Publications(*indicates equal contribution)
|
Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time [pdf]
Jiaheng Zhang, Weijie Wang, Yinuo Zhang, Yupeng Zhang
In submission
|
Zero Knowledge Proofs for Decision Tree Predictions and
Accuracy [pdf]
Jiaheng Zhang, Zhiyong Fang, Yupeng Zhang, Dawn Song
Accepted by 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
|
Selected Awards
Facebook Fellowship Finalist
• January 2020 • Facebook
Berkeley EECS Department Fellowship
• August 2018 • UC Berkeley
Chinese National Scholarship
• October 2015 • Ministry of Education of the People's Republic of China
|
|