Kodai Tanaka, Takaaki Mizuki. Two UNO Decks Efficiently Perform Zero-Knowledge Proof for Sudoku. In Henning Fernau, Klaus Jansen, editors, Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings. Volume 14292 of Lecture Notes in Computer Science, pages 406-420, Springer, 2023. [doi]
Abstract is missing.