MSMAC: Accelerating Multi-Scalar Multiplication for Zero-Knowledge Proof
Pengcheng Qiu, Guiming Wu, Tingqiang Chu, Changzheng Wei, Runzhou Luo, Ying Yan, Wei Wang, Hui Zhang
Abstract
Multi-scalar multiplication (MSM) is the most computation-intensive part in proof generation of Zero-knowledge proof (ZKP). In this paper, we propose MSMAC, an FPGA accelerator for large-scale MSM. MSMAC adopts a specially designed Instruction Set Architecture (ISA) for MSM and optimizes pipelined Point Addition Unit (PAU) with hybrid Karatsuba multiplier. Moreover, a runtime system is proposed to split MSM tasks with the optimal sub-task size and orchestrate execution of Processing Elements (PEs). Experimental results show that MSMAC achieves up to 328X and 1.96X speedups compared to the state-of-the-art implementation on CPU (one core) and GPU, respectively, outperforming the state-of-the-art ASIC accelerator by 1.79X. On 4 FPGAs, MSMAC performs 1,261X faster than a single CPU core.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Cited by top-tier papers2
- Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge ProofsAlhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz et al.ISCA 2025 · 12 citations
- zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive GatesAlhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz et al.HPCA 2026 · 1 citation
Related papers
- Accelerating Multi-Scalar Multiplication for Efficient Zero Knowledge Proofs with Multi-GPU SystemsZhuoran Ji, Zhiyuan Zhang, Jiming Xu, Lei JuASPLOS 2024 · 17 citations
- Accelerating Number Theoretic Transform with Multi-GPU Systems for Efficient Zero Knowledge ProofZhuoran Ji, Jianyu Zhao, Peimin Gao, Xiangkai Yin et al.ASPLOS 2025 · 8 citations
- Gypsophila: A Scalable and Bandwidth-Optimized Multi-Scalar Multiplication ArchitectureChangxu Liu, Hao Zhou, Lan Yang, Jiamin Xu et al.DAC 2024 · 8 citations
- UniZK: Accelerating Zero-Knowledge Proof with Unified Hardware and Flexible Kernel MappingCheng Wang, Mingyu GaoASPLOS 2025 · 12 citations
- LegoZK: A Dynamically Reconfigurable Accelerator for Zero-Knowledge ProofZhengbang Yang, Lutan Zhao, Peinan Li, Han Liu et al.HPCA 2025 · 9 citations
