国内会議 Card-Based Zero-Knowledge Proofs for Decomposition Puzzles 著者 S. Ruangwises and M. Iwamoto 会議名 SCIS 2024 ページ 3D4-3 発行年 2024 発表日 2024/1/25