Daiki Miyahara, Léo Robert, Pascal Lafourcade, and Takaaki Mizuki, ZKP Protocols for Usowan, Herugolf, and Five Cells, Tsinghua Science and Technology, vol.29(6), pp.1651–1666 (Dec. 2024)