Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2025/09/01 Vol. E108-ANo. 9pp. 1206-1210 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: Dosun-Fuwari, pencil puzzle, zero-knowledge proof, card-based protocol,