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 Bultel | 1 | 0 | 0.68 |
Jannik Dreier | 2 | 121 | 13.70 |
Jean-Guillaume Dumas | 3 | 428 | 68.48 |
Pascal Lafourcade | 4 | 569 | 58.37 |
Daiki Miyahara | 5 | 18 | 5.20 |
Takaaki Mizuki | 6 | 221 | 37.60 |
Atsuki Nagao | 7 | 2 | 3.78 |
Tatsuya Sasaki | 8 | 50 | 10.14 |
Kazumasa Shinagawa | 9 | 2 | 2.06 |
Hideaki Sone | 10 | 196 | 35.33 |