21 citations · 64 across the 16 of their papers we have counts for
7 papers · 1 filter
When Proofs Meet Hardware: Comparing NTT and SumCheck in Zero-Knowledge Systems
Jianqiao Mo, Alhad Daftardar, Barath GaneshKumar +5
In the ZKP community, it has long been discussed that the SumCheck protocol is asymptotically more efficient than the Number Theoretic Transform (NTT), requiring only arithm…
zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow +3
Zero-Knowledge Proofs (ZKPs) have emerged as a powerful tool for secure and privacy-preserving computation. ZKPs enable one party to convince another of a statement's validity with…
MTU: The Multifunction Tree Unit for Accelerating Zero-Knowledge Proofs
Jianqiao Mo, Alhad Daftardar, Joey Ah-Kiow +4
Zero-Knowledge Proofs (ZKPs) are critical for privacy-preserving techniques and verifiable computation. Many ZKP protocols rely on key kernels such as the SumCheck protocol and Mer…
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow +4
Zero-Knowledge Proofs (ZKPs) are rapidly gaining importance in privacy-preserving and verifiable computing. ZKPs enable a proving party to prove the truth of a statement to a verif…
SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs
Alhad Daftardar, Brandon Reagen, Siddharth Garg
Zero-Knowledge Proofs (ZKPs) are an emergent paradigm in verifiable computing. In the context of applications like cloud computing, ZKPs can be used by a client (called the verifie…
RPU: The Ring Processing Unit
Deepraj Soni, Negar Neda, Naifeng Zhang +14
Ring-Learning-with-Errors (RLWE) has emerged as the foundation of many important techniques for improving security and privacy, including homomorphic encryption and post-quantum cr…
HAAC: A Hardware-Software Co-Design to Accelerate Garbled Circuits
Jianqiao Mo, Jayanth Gopinath, Brandon Reagen
Privacy and security have rapidly emerged as priorities in system design. One powerful solution for providing both is privacy-preserving computation, where functions are computed d…