Papers (13)

#Title
Citations
1.Beyond the Circuit Michele Orrù and George Kadianakis and Mary Maller and Greg Zaverucha. 2025.
7
2.Mtzk: Testing and exploring bugs in zero-knowledge (zk) compilers Xiao, Dongwei and Liu, Zhibo and Peng, Yiteng and Wang, Shuai. 2025.   
3
3.SoK: Understanding zk-SNARKs: The Gap Between Research and Practice Liang, Junkai and Hu, Daqi and Wu, Pengfei and Yang, Yunbo and Shen, Qingni and Wu, Zhonghai. 2025.
1
4.Vector Commitment Design, Analysis, and Applications: A Survey Vir Pathak and Sushmita Ruj and Ron van der Meyden. 2025.
0
5.Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs Daftardar, Alhad and Mo, Jianqiao and Ah-kiow, Joey and B\"unz, Benedikt and Karri, Ramesh and Garg, Siddharth and Reagen, Brandon. 2025.
0
6.Efficient {SNARKs} for Boolean Circuits via Sumcheck over Tower Fields Tianyi Liu and Yupeng Zhang. 2025.
0
7.zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits Takahashi, Hideaki and Kim, Jihwan and Jana, Suman and Yang, Junfeng. 2025.
0
8.Efficient Foreign-Field Arithmetic in {PLONK} Miguel Ambrona and Denis Firsov and Inigo Querejeta-Azurmendi. 2025.
0
9.A short survey of zk-Friendly Hash Functions Sekuli\'c, Jelena and \vCapko, Darko and Erdeljan, Aleksandar and Grbi\'c, Tatjana and Nenadi\'c, Kosa. 2025.
0
10.A divide-and-conquer sumcheck protocol Levrat, Christophe and Medevielle, Tanguy and Nardi, Jade. 2025.
0
11.Improved Round-by-round Soundness IOPs via Reed-Muller Codes Minzer, Dor and Zheng, Kai Zhe. 2025.
0
12.{zkPyTorch}: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning Tiancheng Xie and Tao Lu and Zhiyong Fang and Siqi Wang and Zhenfei Zhang and Yongzheng Jia and Dawn Song and Jiaheng Zhang. 2025.
0
13.Soloist: Distributed {SNARKs} for Rank-One Constraint System Weihan Li and Zongyang Zhang and Yun Li and Pengfei Zhu and Cheng Hong and Jianwei Liu. 2025.
0

Videos

–

–