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
来源
关键词
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 条
  • [21] Memorizable interactive proof and zero-knowledge proof systems
    Chen, N
    Rong, JW
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (06) : 936 - 941
  • [22] Limits on the Power of Zero-Knowledge Proofs in Cryptographic Constructions
    Brakerski, Zvika
    Katz, Jonathan
    Segev, Gil
    Yerukhimovich, Arkady
    THEORY OF CRYPTOGRAPHY, 2011, 6597 : 559 - +
  • [23] Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View
    Fukasawa, Takuro
    Manabe, Yoshifumi
    SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2022, 2022, 13783 : 147 - 161
  • [24] Zero-knowledge Location Proof Based on Blockchain
    Yu Rongwei
    Zhou Boxiao
    Wang Lina
    Zhu Xinyan
    Xie Huihua
    Xie Hongjun
    JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY, 2020, 42 (09) : 2142 - 2149
  • [25] Zero-knowledge Location Proof Based on Blockchain
    Yu R.
    Zhou B.
    Wang L.
    Zhu X.
    Xie H.
    Xie H.
    Zhou, Boxiao (boxiao@whu.edu.cn), 1600, Science Press (42): : 2142 - 2149
  • [26] HIDING INSTANCES IN ZERO-KNOWLEDGE PROOF SYSTEMS
    BEAVER, D
    FEIGENBAUM, J
    SHOUP, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 537 : 326 - 338
  • [27] DEFINITIONS AND PROPERTIES OF ZERO-KNOWLEDGE PROOF SYSTEMS
    GOLDREICH, O
    OREN, Y
    JOURNAL OF CRYPTOLOGY, 1994, 7 (01) : 1 - 32
  • [28] Zero-knowledge proof for the independent set problem
    Caballero-Gil, P
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (05) : 1301 - 1302
  • [29] Certified Everlasting Zero-Knowledge Proof for QMA
    Hiroka, Taiga
    Morimae, Tomoyuki
    Nishimaki, Ryo
    Yamakawa, Takashi
    ADVANCES IN CRYPTOLOGY - CRYPTO 2022, PT I, 2022, 13507 : 239 - 268
  • [30] ZEKRO: Zero-Knowledge Proof of Integrity Conformance
    Debes, Heini Bergsson
    Giannetsos, Thanassis
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, ARES 2022, 2022,