Cryptographic and Physical Zero-Knowledge Proof: From Sudoku to Nonogram

被引：0

作者：

Chien, Yu-Feng ^{[1
]}

Hon, Wing-Kai ^{[1
]}

机构：

[1] Natl Tsing Hua Univ, Dept Comp Sci, Hsinchu, Taiwan

来源：

FUN WITH ALGORITHMS, PROCEEDINGS | 2010年 / 6099卷

关键词：

SYSTEMS; NP;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Gradwohl et al. (2007) gave a zero-knowledge proof for Sudoku that can be implemented physically using common tools like envelopes and bags, and the procedures are so simple that they can be executed solely by kids. In this paper, we work along with this direction, and first propose some simple physical zero-knowledge proofs for Nonogram (which was a very popular puzzle game in the 1990s).

引用

页码：102 / 112

页数：11

共 50 条

[41] Threshold anonymous group identification and zero-knowledge proof
Yamamura, Akihiro
Kurokawa, Takashi
Nakazato, Junji
INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2007, 4586 : 370 - +
[42] Blockchain Based Zero-Knowledge Proof of Location in IoT
Wu, Wei
Liu, Erwu
Gong, Xinglin
Wang, Rui
ICC 2020 - 2020 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2020,
[43] Hybrid commitments and their applications to zero-knowledge proof systems
Catalano, Dario
Visconti, Ivan
THEORETICAL COMPUTER SCIENCE, 2007, 374 (1-3) : 229 - 260
[44] GROUP AUTHENTICATION SCHEME BASED ON ZERO-KNOWLEDGE PROOF
Shliakhtina, E. A.
Gamayunov, D. Y.
PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2021, (51): : 68 - 84
[45] GZKP: A GPU Accelerated Zero-Knowledge Proof System
Ma, Weiliang
Xiong, Qian
Shi, Xuanhua
Ma, Xiaosong
Jin, Hai
Kuang, Haozhao
Gao, Mingyu
Zhang, Ye
Shen, Haichen
Hu, Weifang
PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2023, 2023, : 340 - 353
[46] A Practical Zero-Knowledge Proof Protocol for Web Applications
Grzonkowski, Slawomir
Corcoran, Peter
JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2014, 9 (06): : 329 - 343
[47] Zero-knowledge proof protocol of the roots of polynomial functions
Li, Xi
Wang, Daoshun
Qinghua Daxue Xuebao/Journal of Tsinghua University, 2009, 49 (07): : 1015 - 1018
[48] A Zero-Knowledge Proof of the RSA Digital Signature Scheme
Qi, Chengming
Cui, Shoumei
2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 1037 - +
[49] ReZK: A Highly Reconfigurable Accelerator for Zero-Knowledge Proof
Zhou, Hao
Liu, Changxu
Yang, Lan
Shang, Li
Yang, Fan
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2025, 72 (02) : 802 - 815
[50] Practical Security Analysis of Zero-Knowledge Proof Circuits
Wen, Hongbo
Stephens, Jon
Chen, Yanju
Ferles, Kostas
Pailoor, Shankara
Charbonnet, Kyle
Dillig, Isil
Feng, Yu
PROCEEDINGS OF THE 33RD USENIX SECURITY SYMPOSIUM, SECURITY 2024, 2024, : 1471 - 1487

← 1 2 3 4 5 →