Title
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.
Year
DOI
Venue
2018
10.1007/978-3-030-03232-6_8
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2018
Keywords
Field
DocType
Zero-knowledge proofs, Card-based secure two-party protocols, Puzzle, Makaro, Privacy
Computer science,Proof of knowledge,Theoretical computer science,Zero-knowledge proof,Grid
Conference
Volume
ISSN
Citations 
11201
0302-9743
0
PageRank 
References 
Authors
0.34
23
10
Name
Order
Citations
PageRank
Xavier Bultel100.68
Jannik Dreier212113.70
Jean-Guillaume Dumas342868.48
Pascal Lafourcade456958.37
Daiki Miyahara5185.20
Takaaki Mizuki622137.60
Atsuki Nagao723.78
Tatsuya Sasaki85010.14
Kazumasa Shinagawa922.06
Hideaki Sone1019635.33