Physical Zero-Knowledge Proof for Makaro - CASYS Access content directly
Conference Papers Year : 2018

Physical Zero-Knowledge Proof for Makaro

Abstract

Makaro is a logic game similar to Sudoku. In Makaro, a grid has to be filled with numbers such that: given areas contain all the numbers up to the number of cells in the area, no adjacent numbers are equal and some cells provide restrictions on the largest adjacent number. We propose a proven secure physical algorithm, only relying on cards, to realize a zero-knowledge proof of knowledge for Makaro. It allows a player to show that he knows a solution without revealing it.
Fichier principal
Vignette du fichier
main.pdf (291.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01898048 , version 1 (17-10-2018)

Identifiers

Cite

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩. ⟨hal-01898048⟩
439 View
882 Download

Altmetric

Share

Gmail Facebook X LinkedIn More