Publications
Locus - A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
Gaurav Kuwar, Alhad Daftardar, Jianqiao Mo, Siddharth Garg, Brandon Reagen
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
(2026)
zkDuel - Characterizing SumCheck Prover Kernels across GPU Programming Models
Samarth Narang, Alhad Daftardar, Brandon Reagen
International Workshop on Hardware and Architectural Support for Security and Privacy (HASP)
(2026)
When Proofs Meet Hardware - Comparing NTT and SumCheck in Zero-Knowledge Systems
Jianqiao Mo, Alhad Daftardar, Barath GaneshKumar, Kaiyue Guo, Hong Wang, Benedikt Bünz, Siddharth Garg, Brandon Reagen
arXiv preprint
(2026)
LLM4PQC - Accurate and Efficient Synthesis of PQC Cores by Feedback-Driven LLMs (Focus Session)
Buddhi Perera, Zeng Wang, Weihua Xiao, Mohammed Nabeel, Ozgur Sinanoglu, Johann Knechtel, Ramesh Karri
Design, Automation & Test in Europe Conference (DATE)
(2026)
LLM4SecurePQC - LLM-Driven and Side-Channel Resilient Hardware Synthesis of PQC Cores
M. Nabeel, B. Perera, Z. Wang, O. Sinanoglu, J. Knechtel, R. Karri
IEEE 44th VLSI Test Symposium (VTS)
(2026)
zkPHIRE - A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen
IEEE International Symposium on High-Performance Computer Architecture (HPCA)
(2026)
Prior Relevant Work
MTU - The Multifunction Tree Unit for Accelerating Zero-Knowledge Proofs
Jianqiao Mo, Alhad Daftardar, Joey Ah-kiow, Kaiyue Guo, Benedikt Bünz, Siddharth Garg, Brandon Reagen
The 14th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP)
(2025)
Need for zkspeed - Accelerating hyperplonk for zero-knowledge proofs
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen
The 52nd Annual International Symposium on Computer Architecture (ISCA)
(2025)