NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam. - Taisei Otsuji; Peter Fulla; Takuro Fukunaga (COCOON (1), 2024)