東京工業大学 · 情報科学
Suthee Ruangwises教授の研究室は、計算理論と情報セキュリティの分野に位置づけられ、特に「物理的ゼロ知識証明」（physical zero-knowledge proof）を柱とした研究を行っています。主に、トランプカードや紙のパズルを用いた実世界の方法で、解が存在することを証明しながら内容を漏らさない「物理的証明プロトコル」の構築を進めています。この研究は、論理パズル（例：Shikaku、Five Cells、Meadows、Ball Sort Puzzle）やマッチング問題など、さまざまなパズルや組合せ最適化問題に応用されており、情報漏洩のない安全な協働的証明の実現に貢献しています。
Figures are computed from collected data and may differ slightly.
Abstract Decomposition puzzles are pencil-and-paper logic puzzles that involve partitioning a rectangular grid into several regions to satisfy certain rules. In this paper, we construct a generic card-based protocol called printing protocol , which can be used to physically verify solutions of decompositon puzzles. We apply the printing protocol to develop card-based zero-knowledge proof protocols for two such puzzles: Five Cells and Meadows. These protocols allow a prover to physically show tha
Shikaku is a pencil puzzle consisting of a rectangular grid, with some cells containing a number. The player has to partition the grid into rectangles such that each rectangle contains exactly one number equal to the area of that rectangle. In this paper, we propose two physical zero-knowledge proof protocols for Shikaku using a deck of playing cards, which allow a prover to physically show that he/she knows a solution of the puzzle without revealing it. Most importantly, in our second protocol
Open papers in the app to read, cite, and organize with AI.
