| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-09-04 13:50 走行位置の真正性を検証可能な車線属性に基づくゼロ知識証明 ○ハサン トウリク・笹田大翔・井上美智子（奈良先端大）  NS2026-77 |
|
| 抄録 | （和） | 悪天候下では LiDAR などのオンボードセンサの精度が低下するため，V2X 通信を用いた協調知覚（Collective Perception）が補完手段として期待されている．しかし，送信車両が申告する位置・車線情報には，無線共有に伴うプライバシー侵害と，申告が虚偽であっても受信側が単独で検証できないという真正性の，二つの問題がある．既存のゼロ知識証明（ZKP）による位置証明は大まかな領域内への存在証明（エリアレベル）にとどまり，車線幅や進行方向を含む車線レベルの真正性は扱えていない．本研究では，車線の幅・区間・走行方向といった車線属性を幾何学的制約として ZKP 回路に直接組み込み，送信車両が正確な座標を開示することなく，公開された特定の車線上を正規の向きで走行しているという事実のみを証明できる方式を提案する．外積（車線幅内判定）・内積（セグメント範囲判定）・方向判定の 3 制約を Circom 回路として実装し，Groth16 による Setup・Prove・Verify の 3 フェーズからなるプロトコルを構築するとともに，Poseidon ハッシュに基づく nullifier によりリプレイ攻撃および証明の文脈転用を防止する．LuST（Luxembourg SUMO Traffic）シナリオの FCD データを用いた 581 万件規模の評価により，成功率 99.9% 以上を達成することを確認した．失敗はwitness 生成段階で発生し，その 99.9% 以上が方向チェック違反，約 69% が交差点付近に集中しており，旋回時の進行角の乖離が要因であることを明らかにした． |
| （英） | Under adverse weather conditions, the accuracy of onboard sensors such as LiDAR degrades, and Collective Perception over V2X communication is expected to serve as a complementary sensing means. However, the position and lane information reported by a transmitting vehicle poses two problems: privacy leakage through wireless sharing, and an authenticity problem in which a receiver cannot independently verify whether the report is false. Existing Zero-Knowledge Proof (ZKP) based location proofs remain at the area level, certifying only containment in a coarse region, and do not address lane-level authenticity that accounts for lane width and heading. This paper proposes a scheme that embeds lane attributes such as width, segment extent, and travel direction into a ZKP circuit as geometric constraints, enabling a transmitting vehicle to prove only that it is traveling on a specific publicly known lane in the legitimate direction, without disclosing its exact coordinates. Three constraints, namely a cross product for the width check, dot products for the segment-range check, and a direction check, are implemented as a Circom circuit, and a three-phase protocol consisting of Setup, Prove, and Verify is constructed on Groth16. In addition, a nullifier based on the Poseidon hash prevents replay and proof-transfer attacks. In an evaluation over 5.81 million prover and verifier pairs derived from FCD of the LuST (Luxembourg SUMO Traffic) scenario, the proposed scheme achieved a success rate above 99.9%. All failures occurred at the witness generation stage; more than 99.9% of them were direction-check violations and about 69% were concentrated near intersections, indicating that heading deviation during turns is the dominant cause. | |
| キーワード | （和） | 車車間通信 / ゼロ知識証明 / 協調型高度道路交通システム / / / / / |
| （英） | V2V communication; / Zero-Knowledge Proof / Cooperative Intelligent Transportation Systems; / / / / / | |
| 文献情報 | 信学技報, vol. 126, no. 164, NS2026-77, pp. 59-64, 2026年9月. | |
| 資料番号 | NS2026-77 | |
| 発行日 | 2026-08-27 (NS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | NS2026-77 |
|
| 研究会情報 | |
| 研究会 | NS IN CS NV |
| 開催期間 | 2026-09-03 - 2026-09-04 |
| 開催地（和） | 東北大学 電気通信研究所 + オンライン開催 |
| 開催地（英） | Tohoku University + Online |
| テーマ（和） | セッション管理(SIP・IMS)，相互接続技術/標準化，次世代・新世代・将来ネットワーク，クラウド/データセンタネットワーク，SDN(OpenFlow等)・NFV，IPv6，機械学習のネットワーク適用，一般 |
| テーマ（英） | Session management (SIP/IMS), Interoperability/Standardization, NGN/NwGN/Future networks, Cloud/Data center networks, SDN (OpenFlow, etc.)/NFV, IPv6, Machine learning, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | NS |
| 会議コード | 2026-09-NS-IN-CS-NV |
| 本文の言語 | 日本語 |
| タイトル（和） | 走行位置の真正性を検証可能な車線属性に基づくゼロ知識証明 |
| サブタイトル（和） | |
| タイトル（英） | Zero-Knowledge Proof Based on Lane Attributes for Verifiable Authenticity of Driving Position |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 車車間通信 / V2V communication; |
| キーワード(2)（和/英） | ゼロ知識証明 / Zero-Knowledge Proof |
| キーワード(3)（和/英） | 協調型高度道路交通システム / Cooperative Intelligent Transportation Systems; |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | ハサン トウリク / Touliq Hasan / ハサン トウリク |
| 第1著者 所属（和/英） | 奈良先端科学技術大学院大学 (略称： 奈良先端大) Nara Institute of Science and Technology (略称： NAIST) |
| 第2著者 氏名（和/英/ヨミ） | 笹田 大翔 / Taisho Sasada / ササダ タイショウ |
| 第2著者 所属（和/英） | 奈良先端科学技術大学院大学 (略称： 奈良先端大) Nara Institute of Science and Technology (略称： NAIST) |
| 第3著者 氏名（和/英/ヨミ） | 井上 美智子 / Michiko Inoue / |
| 第3著者 所属（和/英） | 奈良先端科学技術大学院大学 (略称： 奈良先端大) Nara Institute of Science and Technology (略称： NAIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-09-04 13:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | NS |
| 資料番号 | NS2026-77 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.164 |
| ページ範囲 | pp.59-64 |
| ページ数 | 6 |
| 発行日 | 2026-08-27 (NS) |
[研究会発表申込システムのトップページに戻る]