Tianyu Zhang 张天宇

I am interested in cryptography and blockchain, particularly zk-SNARKs right now.

Email: tianyuz@illinois.edu

Education

2025-Present: Ph.D. in Computer Science, University of Illinois Urbana-Champaign, advised by Prof. Yupeng Zhang

2021-2025: B.S. in Computer Science, Shanghai Jiao Tong University, advised by Prof. Yu Yu and Prof. Yuncong Hu

Publications

Dynark: Making Groth16 Dynamic
[eprint]
Tianyu Zhang, Yupeng Ouyang, Yupeng Zhang

From a new perspective on understanding quotients through decomposition, we have:
Sparse Groth16 in quasilinear time of the sparsity
Semi-dynamic Groth16 in quasilinear time of the update distance
Fully-dynamic Groth16 in square root time of the witness size
Faster Groth16 proving time and Faster computing time of all KZG proofs

FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge
[IEEE S&P 2025] [paper] [code]
Tianyu Zhang, Shen Dong, O. Deniz Kose, Yanning Shen, Yupeng Zhang

Proving fairness of models without proving inferences using zkSNARKs
Providing a refined theoretical characterization of machine learning fairness
Relax mathematical theorems from real numbers to finite fields for compatibility of zkSNARKs

HasteBoots: Proving FHE Bootstrapping in Seconds
[eprint] [paper]
Fengrun Liu, Haofei Liang, Tianyu Zhang, Yuncong Hu, Xiang Xie, Haisheng Tan, Yu Yu

Specialized PIOP modules designed for FHE

Miscellaneous

I enjoy music and movie. In Music is Our Friend (Live in Washington and Albany, 2021) , Frobert Fripp said, "The world is different, but music remains hope for us all" and here are some pieces of music make me believe the statement is true

浪味仙 - 惘闻
Islands , Peace An End - King Crimson
Long Season - Fishmans
風神125 , 菊花夜行軍 - 交工樂隊
Tender - Blur

Feel free to email me with any ideas or music recommendations :)