Shohei Kaneko, Pascal Lafourcade, Lola Mallordy, Daiki Miyahara, Maxime Puys, and Kazuo Sakiyama, “Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles,” In Proc. Information Security (ISC’24), LNCS 15257, Springer-Verlag, pp.211–231 (Oct. 2024)