A New Zero Knowledge Argument for General Circuits and Its Application
文献类型：期刊论文
| 作者 | Duan, Haohua3; Xiang, Liyao3; Wang, Xinbing3; Chu, Pengzhi1; Zhou, Chenghu2 |
| 刊名 | IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
 |
| 出版日期 | 2023 |
| 卷号 | 18页码:3906-3920 |
| ISSN号 | 1556-6013 |
| 关键词 | Zero knowledge proofs machine learning neural networks general circuits |
| DOI | 10.1109/TIFS.2023.3288454 |
| 通讯作者 | Xiang, Liyao(xiangliyao08@sjtu.edu.cn) |
| 英文摘要 | Verifying the correctness of computation without revealing the input is a critical issue intensively studied in real-world applications. The recent surge of zero knowledge arguments has been focusing on its efficiency and practicality. Among them, GKR-based arguments have received wide attention and become the foundation of many zero-knowledge proof protocols. However, GKR-based protocols are restricted to layered arithmetic circuits. We propose Terrace, a new, efficient zero-knowledge argument system for general circuits, based on GKR. By dynamically patching cross-layer claims to the original circuit for verification instead of verifying those claims separately, Terrace is able to reduce the total circuit size and thus enjoys a logarithmic factor less verification time and proof size. Terrace is further extended to include the verification of non-arithmetic operations by rewriting those claims in the multilinear extension form. Experimental results demonstrate that Terrace enjoys a competitive performance on efficiency, and shows great promise in enabling low-cost verification of neural networks. |
| 资助项目 | NSF China[62272306] ; NSF China[62032020] ; NSF China[62136006] ; Shanghai Natural Science Foundation[21JC1403800] |
| WOS研究方向 | Computer Science ; Engineering |
| 语种 | 英语 |
| 出版者 | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
| WOS记录号 | WOS:001024129000004 |
| 资助机构 | NSF China ; Shanghai Natural Science Foundation |
| 源URL | [http://ir.igsnrr.ac.cn/handle/311030/195764]  |
| 专题 | 中国科学院地理科学与资源研究所 |
| 通讯作者 | Xiang, Liyao |
| 作者单位 | 1.Shanghai Jiao Tong Univ, Student Innovat Ctr, Shanghai 200240, Peoples R China 2.Chinese Acad Sci, Inst Geog Sci & Nat Resources Res, State Key Lab Resources & Environm Informat Syst, Beijing 100101, Peoples R China 3.Shanghai Jiao Tong Univ, John Hopcroft Ctr Comp Sci, Shanghai 200240, Peoples R China |
| 推荐引用方式 GB/T 7714 | Duan, Haohua,Xiang, Liyao,Wang, Xinbing,et al. A New Zero Knowledge Argument for General Circuits and Its Application[J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,2023,18:3906-3920. |
| APA | Duan, Haohua,Xiang, Liyao,Wang, Xinbing,Chu, Pengzhi,&Zhou, Chenghu.(2023).A New Zero Knowledge Argument for General Circuits and Its Application.IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,18,3906-3920. |
| MLA | Duan, Haohua,et al."A New Zero Knowledge Argument for General Circuits and Its Application".IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY 18(2023):3906-3920. |
入库方式： OAI收割
来源：地理科学与资源研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。