paperbot · PL 论文追踪

全部论文 待读 收藏

P2 GZKP: A GPU Accelerated Zero-Knowledge Proof System

GZKP:GPU 加速的零知识证明系统
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 该论文研究 GPU 加速的零知识证明系统,属于密码学与隐私保护系统方向,与用户的静态分析、浮点/贝叶斯程序分析、LLM/Agent 改进程序分析或形式化验证等核心问题无直接关联。仅在“形式化正确性证明”的广义概念上与形式化验证有极弱交集,因此匹配度很低。引用 47 inbox
Weiliang Ma, Qian Xiong, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, Weifang Hu
crossref: 2026-09-12

AI 速览

一句话:提出 GZKP,一个面向隐私保护应用的 GPU 加速零知识证明系统。

零知识证明(ZKP)是一种密码学协议,允许一方在不泄露陈述正确性之外任何信息的情况下向另一方证明该陈述正确,从而保证计算完整性与机密性;它已被工业界越来越多地用于可验证外包计算、数字货币等隐私保护应用。根据标题,本文提出 GZKP,一个 GPU 加速的零知识证明系统,目标是通过 GPU 并行加速 ZKP。给定摘要仅阐述了 ZKP 的意义与应用背景,未提供 GZKP 的具体系统设计、加速技术、协议支持范围以及实验评估结果,因此无法从摘要判断其性能收益。

问题
零知识证明在可验证外包计算、数字货币等隐私保护应用中日益重要;本文关注其高效实现问题。
方法
从标题看,本文设计并实现 GZKP,一个利用 GPU 加速的零知识证明系统;摘要未给出具体加速策略。
评估
摘要未提供实验评估信息,无法确认其加速效果、测试基准或对比系统。
原文摘要(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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot10003,
  title = {GZKP: A GPU Accelerated Zero-Knowledge Proof System},
  author = {Weiliang Ma and Qian Xiong and Xuanhua Shi and Xiaosong Ma and Hai Jin and Haozhao Kuang and Mingyu Gao and Ye Zhang and Haichen Shen and Weifang Hu},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575711}
}