Tokyo Institute of Technology · 컴퓨터과학
Suthee Ruangwises 교수의 연구실은 정보 보안과 논리 퍼즐을 융합한 물리적 제로지식 증명(physical zero-knowledge proof) 기법을 핵심으로 연구합니다. 특히, playing cards를 활용한 실물 증명 프로토콜을 개발하여, 퍼즐 해결 지식을 비밀리에 검증할 수 있도록 하는 데 초점을 맞추고 있습니다. 주요 연구 대상은 'Shikaku', 'Five Cells', 'Meadows', 'Ball Sort Puzzle', 'Makaro' 등 다양한 퍼즐 유형에 적용 가능한 보안 프로토콜입니다. 이는 이론적 보안성과 실생활 적용 가능성(표준 카드 데크 사용 등)을 동시에 고려한 혁신적인 접근입니다.
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
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
