GZKP: A GPU Accelerated Zero-Knowledge Proof System
Weiliang Ma, Qian Xiong, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, Weifang Hu
2023Year
47Citations
11Top-tier citations
Abstract
Zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party to prove the correctness of a statement to another party without revealing any information beyond the correctness of the statement itself. It guarantees computation integrity and confidentiality, and is therefore increasingly adopted in industry for a variety of privacy-preserving applications, such as verifiable outsource computing and digital currency.
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.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 50c69ce0-37eb-466a-bde4-4950e1e9dcf7Cited by top-tier papers11
- Accelerating Zero-Knowledge Proofs Through Hardware-Algorithm Co-DesignNikola Samardzic, Simon Langowski, Srinivas Devadas, Daniel SánchezMICRO 2024 · 24 citations
- UniZK: Accelerating Zero-Knowledge Proof with Unified Hardware and Flexible Kernel MappingCheng Wang, Mingyu GaoASPLOS 2025 · 12 citations
- Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge ProofsAlhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz et al.ISCA 2025 · 12 citations
- Accelerating Merkle Patricia Trie with GPUYangshen Deng, Muxi Yan, Bo TangVLDB 2024 · 8 citations
- Evaluating Compiler Optimization Impacts on zkVM PerformanceThomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong SuASPLOS 2026 · 2 citations
Related papers
- BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge ProofsTao Lu, Yuxun Chen, Zonghui Wang, Xiaohang Wang et al.ASPLOS 2025 · 11 citations
- PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined ArchitectureYe Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong et al.ISCA 2021 · 87 citations
- Proving UNSAT in Zero KnowledgeNing Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac et al.CCS 2022 · 14 citations
- Pipelonk: Accelerating End-to-End Zero-Knowledge Proof Generation on GPUs for PLONK-Based ProtocolsZhiyuan Zhang, Yanxin Cai, Wenhao Yin, Xueyu Wu et al.PPoPP 2026 · 1 citation
- Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge ProofsAlex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. BarrettCAV 2023 · 11 citations
