Zero-Knowledge Proof of Knowledge for Peg Solitaire - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Zero-Knowledge Proof of Knowledge for Peg Solitaire

Xavier Bultel

Résumé

Peg solitaire is a very popular traditional single-player board game, known to be NP-complete. In this paper, we present a zero-knowledge proof of knowledge for solutions of peg solitaire instances. Our proof is straightforward, in the sense that it does not use any reduction to another NP-complete problem, and uses the standard design of sigma protocols. Our construction relies on cryptographic commitments, which can be replaced by envelopes to make the protocol physical. As a side contribution, we introduce the notion of isomorphisms for peg solitaire, which is the key tool of our protocol.
Fichier principal
Vignette du fichier
LIPIcs-FUN-2022-9.pdf (849.77 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03754563 , version 1 (19-08-2022)

Identifiants

Citer

Xavier Bultel. Zero-Knowledge Proof of Knowledge for Peg Solitaire. 11th International Conference on Fun with Algorithms (FUN 2022), May 2022, Favignana, Italy. ⟨10.4230/LIPIcs.FUN.2022.9⟩. ⟨hal-03754563⟩
43 Consultations
118 Téléchargements

Altmetric

Partager

More