| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-06 09:40 格子暗号ベースの多項式コミットメント方式を用いた対話型ゼロ知識証明の実現 ○峰田敏行・岡田侑里英・藤本 聖（阪大）・宮地秀至（立命館大）・宮地充子（阪大）  IT2024-96 ISEC2024-110 WBS2024-93 RCC2024-98 |
|
| 抄録 | （和） | ゼロ知識証明とは，証明者が自身の秘密情報を開示せずに，証明者が持っている秘密情報が真であることを証明することができる暗号技術であり，機械学習などの様々な用途に使用されている．ゼロ知識証明では，完全性，健全性，ゼロ知識性の 3 つの性質を満たすことで実現でき，耐量子性を満たすゼロ知識証明も数多く提案されている．ゼロ知識証明を用いた機械学習の方式として，Kate らのペアリングベースの多項式コミットメント方式を用いる方法が存在しているが耐量子性を満たさない．2024 年に Cini らが SIS ベースを用いた多項式コミットメント方式を構築したが，複雑な仕組みのため，ゼロ知識性を保証できない．本研究では，Cini らが構築した SIS ベースの多項式コミットメント方式の秘匿性を証明することで，ゼロ知識証明のゼロ知識性を証明することを可能とする対話型ゼロ知識証明を提案する．さらに，本提案で構築する対話型ゼロ知識証明を用いることで，耐量子性のある機械学習に適用可能な方式を実現する． |
| （英） | A zero-knowledge proof is a cryptographic scheme that can prove the truth of secret information possessed by a prover without disclosing its own secret information, and is used for various applications such as machine learning. A zero-knowledge proof can be realized by satisfying the three properties of completeness, soundness, and zero-knowledge, and many zero-knowledge proofs that satisfy post-quantum properties have been proposed. In 2024, Cini et al. constructed a polynomial commitment scheme based on SIS (Short Integer Solution), but it cannot guarantee the zero-knowledge property due to its complex mechanism. In this study, we propose an interactive zero-knowledge proof from the SIS-based polynomial commitment scheme. We also prove the property of zero-knowledge by proving the hiding property of the SIS-based polynomial commitment scheme constructed by Cini et al. Furthermore, by using the interactive zero-knowledge proofs constructed in our proposal, we realize a scheme applicable to post-quantum machine learning. | |
| キーワード | （和） | 多項式コミットメント方式 / SIS / ゼロ知識証明 / / / / / |
| （英） | polynomial commitment scheme / SIS / zero-knowledge proof / / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 397, ISEC2024-110, pp. 151-157, 2025年3月. | |
| 資料番号 | ISEC2024-110 | |
| 発行日 | 2025-02-26 (IT, ISEC, WBS, RCC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| 査読に ついて |
本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります． | |
| PDFダウンロード | IT2024-96 ISEC2024-110 WBS2024-93 RCC2024-98 |
|
| 研究会情報 | |
| 研究会 | WBS ISEC IT RCC |
| 開催期間 | 2025-03-05 - 2025-03-06 |
| 開催地（和） | 大阪大学中之島センター |
| 開催地（英） | Nakanoshima Center, Osaka University |
| テーマ（和） | ISEC/IT/RCC/WBS合同研究会 |
| テーマ（英） | Joint Workshop of ISEC, IT, RCC, and WBS |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2025-03-WBS-ISEC-IT-RCC |
| 本文の言語 | 日本語 |
| タイトル（和） | 格子暗号ベースの多項式コミットメント方式を用いた対話型ゼロ知識証明の実現 |
| サブタイトル（和） | |
| タイトル（英） | Proposal of Interactive Zero-Knowledge Proof using Lattice-Based Polynomial Commitment |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 多項式コミットメント方式 / polynomial commitment scheme |
| キーワード(2)（和/英） | SIS / SIS |
| キーワード(3)（和/英） | ゼロ知識証明 / zero-knowledge proof |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 峰田 敏行 / Toshiyuki Mineta / ミネタ トシユキ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 第2著者 氏名（和/英/ヨミ） | 岡田 侑里英 / Yurie Okada / オカダ ユリエ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 第3著者 氏名（和/英/ヨミ） | 藤本 聖 / Akira Fujimoto / フジモト アキラ |
| 第3著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 第4著者 氏名（和/英/ヨミ） | 宮地 秀至 / Hideaki Miyaji / ミヤジ ヒデアキ |
| 第4著者 所属（和/英） | 立命館大学 (略称： 立命館大) Ritsumeikan University (略称： Ritsumei) |
| 第5著者 氏名（和/英/ヨミ） | 宮地 充子 / Atsuko Miyaji / ミヤジ アツコ |
| 第5著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-06 09:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | IT2024-96, ISEC2024-110, WBS2024-93, RCC2024-98 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.396(IT), no.397(ISEC), no.398(WBS), no.399(RCC) |
| ページ範囲 | pp.151-157 |
| ページ数 | 7 |
| 発行日 | 2025-02-26 (IT, ISEC, WBS, RCC) |
[研究会発表申込システムのトップページに戻る]