Ligero++: A New Optimized Sublinear IOP. - Rishabh Bhadauria; Zhiyong Fang; Carmit Hazay; Muthuramakrishnan Venkitasubramaniam; Tiancheng Xie; Yupeng Zhang 001 (CCS, 2020)

Zero Knowledge Proofs for Decision Tree Predictions and Accuracy. - Jiaheng Zhang; Zhiyong Fang; Yupeng Zhang 001; Dawn Song (CCS, 2020)

Zero Knowledge Static Program Analysis. - Zhiyong Fang; David Darais; Joseph P. Near; Yupeng Zhang 001 (CCS, 2021)

Proof-of-Contribution-Based Design for Collaborative Machine Learning on Blockchain. - Baturalp Buyukates; Chaoyang He 001; Shanshan Han; Zhiyong Fang; Yupeng Zhang 001; Jieyi Long; Ali Farahanchi; Salman Avestimehr (DAPPS, 2023)

Field-Agnostic SNARKs from Expand-Accumulate Codes. - Alexander R. Block; Zhiyong Fang; Jonathan Katz; Justin Thaler; Hendrik Waldner; Yupeng Zhang 001 (IACR Cryptol. ePrint Arch., 2024)

Collaborative zkSNARKs with Sublinear Prover Time and Constant Proof Size. - Zhiyong Fang; Sanjam Garg; Bhaskar Roberts; Wenxuan Wu; Yupeng Zhang (IACR Cryptol. ePrint Arch., 2025)

zkPyTorch: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning. - Tiancheng Xie; Tao Lu; Zhiyong Fang; Siqi Wang; Zhenfei Zhang; Yongzheng Jia; Dawn Song; Jiaheng Zhang (IACR Cryptol. ePrint Arch., 2025)

DTL: Data Tumbling Layer. A Composable Unlinkability for Smart Contracts. - Mohsen Minaei; Pedro Moreno-Sanchez; Zhiyong Fang; Srinivasan Raghuraman; Navid Alamati; Panagiotis Chatzigiannis; Ranjit Kumaresan; Duc Viet Le 001 (CoRR, 2025)