Interactive Physical Zero-Knowledge Proof for Norinori - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Interactive Physical Zero-Knowledge Proof for Norinori

Résumé

Norinori is a logic game similar to Sudoku. In Norinori, a grid of cells has to be filled with either black or white cells so that the given areas contain exactly two black cells, and every black cell shares an edge with exactly one other black cell. We propose a secure interactive physical algorithm, relying only on cards, to realize a zero-knowledge proof of knowledge for Norinori. It allows a player to show that he or she knows a solution without revealing it. For this, we show in particular that it is possible to physically prove that a particular element is present in a list, without revealing any other value in the list, and without revealing the actual position of that element in the list.
Fichier principal
Vignette du fichier
main.pdf (289.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02150062 , version 1 (06-06-2019)

Identifiants

Citer

Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, et al.. Interactive Physical Zero-Knowledge Proof for Norinori. The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩. ⟨hal-02150062⟩
350 Consultations
678 Téléchargements

Altmetric

Partager

More