| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-07-15 14:15 ASPに対する効率的な物理的ゼロ知識証明 ○伊藤風太・李 陽・﨑山一男（電通大）・宮原大輝（電通大/産総研）  ISEC2026-71 SITE2026-67 BioX2026-94 HWS2026-67 ICSS2026-86 EMM2026-78 |
|
| 抄録 | （和） | Another Solution Problem（ASP）とは，問題とその既知解から，既知解とは異なる別解を見つける問題である．物理的なカード組を用いたゼロ知識証明（ZKP）のプロトコルについては多く研究されているが，これらは解を明かさずにその解の存在を証明するプロトコルである．一方ASPについては，既存のZKPプロトコルと比較プロトコルを組み合わせることで，別解に関する情報を漏らさずに証明するプロトコルが提案されている．本稿では，数独のASPに対する効率的なカードベースZKPプロトコルを提案する．提案プロトコルは既存の比較プロトコルを直接用いず，表面に数字が書かれた数字カードのみで動作する特徴がある．これにより，GradwohlらやSasakiらが提案した既存ZKPプロトコルに用いられる同じ種類のカード組を用いて，ASPに対しても効率的なZKPプロトコルを構築できることが示される． |
| （英） | The another solution problem (ASP) asks another distinct solution for a given problem and its known solution. Physical zero-knowledge proof (ZKP) protocols using a deck of playing cards have been widely studied for proving the existence of a solution. Very recently, we proposed a card-based ZKP protocol for any ASP, which extends an existing ZKP protocol for the original decision problem with a comparison protocol. In this study, we propose an efficient ZKP protocol for the ASP of Sudoku. This proposed protocol works only with numbered cards other than using an existing comparison protocol. Therefore, this result demonstrates that ZKPs for the ASP of Sudoku can be achieved using only numbered cards, matching the requirements of the existing protocols proposed by Gradwohl et al. and Sasaki et al. | |
| キーワード | （和） | カードベース暗号 / ゼロ知識証明 / 数独 / Another Solution Problem / / / / |
| （英） | Card-based cryptography / Zero-knowledge proof / Sudoku / Another Solution Problem / / / / | |
| 文献情報 | 信学技報, vol. 126, no. 107, ISEC2026-71, pp. 415-421, 2026年7月. | |
| 資料番号 | ISEC2026-71 | |
| 発行日 | 2026-07-06 (ISEC, SITE, BioX, HWS, ICSS, EMM) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2026-71 SITE2026-67 BioX2026-94 HWS2026-67 ICSS2026-86 EMM2026-78 |
|
| 研究会情報 | |
| 研究会 | BioX HWS ISEC SITE ICSS EMM IPSJ-CSEC IPSJ-SPT |
| 開催期間 | 2026-07-13 - 2026-07-15 |
| 開催地（和） | 札幌コンベンションセンター |
| 開催地（英） | Sapporo Convention Center |
| テーマ（和） | セキュリティ、一般 （セキュリティサマーサミット2026） |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2026-07-BioX-HWS-ISEC-SITE-ICSS-EMM-CSEC-SPT-SEC |
| 本文の言語 | 日本語 |
| タイトル（和） | ASPに対する効率的な物理的ゼロ知識証明 |
| サブタイトル（和） | |
| タイトル（英） | Efficient Physical Zero-Knowledge Proofs for the Another Solution Problem |
| サブタイトル（英） | |
| キーワード(1)（和/英） | カードベース暗号 / Card-based cryptography |
| キーワード(2)（和/英） | ゼロ知識証明 / Zero-knowledge proof |
| キーワード(3)（和/英） | 数独 / Sudoku |
| キーワード(4)（和/英） | Another Solution Problem / Another Solution Problem |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 伊藤 風太 / Futa Ito / イトウ フウタ |
| 第1著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 第2著者 氏名（和/英/ヨミ） | 李 陽 / Li Yang / リ ヤン |
| 第2著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 第3著者 氏名（和/英/ヨミ） | 﨑山 一男 / Kazuo Sakiyama / サキヤマ カズオ |
| 第3著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 第4著者 氏名（和/英/ヨミ） | 宮原 大輝 / Daiki Miyahara / ミヤハラ ダイキ |
| 第4著者 所属（和/英） | 電気通信大学 (略称： 電通大/産総研) The University of Electro-Communications (略称： UEC/AIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-07-15 14:15:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2026-71, SITE2026-67, BioX2026-94, HWS2026-67, ICSS2026-86, EMM2026-78 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.107(ISEC), no.108(SITE), no.109(BioX), no.110(HWS), no.111(ICSS), no.112(EMM) |
| ページ範囲 | pp.415-421 |
| ページ数 | 7 |
| 発行日 | 2026-07-06 (ISEC, SITE, BioX, HWS, ICSS, EMM) |
[研究会発表申込システムのトップページに戻る]