Zero Knowledge Static Program Analysis
Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang
Published in CCS, 2021
Publications
Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
Jiaheng Zhang, Zhiyong Fang, Yupeng Zhang, Dawn Song
Published in CCS, 2020
Ligero++: A New Optimized Sublinear IOP
Rishabh Bhadauria, Zhiyong Fang, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Tiancheng Xie, Yupeng Zhang
Published in CCS, 2020