arXiv雑要約
セキュリティ - 2025/12/18 公開
信頼実行環境 (TEE) を用いたライトニングネットワークチャネル残高の検証 [cs.RO, cs.CC, cs.DM, cs.CR]目的：ライトニングネットワークチャネル残高の検証方法
- ライトニングネットワークはスケーラビリティ問題解決に不可欠であり，迅速なマイクロトランザクションを実現する。
- ネットワーク参加者の不正や侵害に対するロバストな残高検証方法が不足している。
- ハードウェアに裏付けられた強力な保証により，安全な残高検証を可能にすること。
- 提案手法では，ノードの残高報告ソフトウェアをTEE内で実行し，ソフトウェアの完全性を証明するリモートアテステーションを生成する。
- アテステーションはAPIを通じて提供され，zkTLSを用いて配信の真正性を証明する。
- TEEによる署名と，zkTLSを用いたトランスポート層検証のトレードオフを分析した。
量子最適化におけるアプリケーション層のプライバシー保護：信頼できないコンピューター上でのEnigma [quant-ph, cs.AI, cs.CR, cs.DM, cs.ET]目的：量子最適化処理のプライバシー保護
- 量子コンピューティングの発展は，従来の計算機では困難な問題を解決する可能性を秘めている。
- クラウドサービス上での量子コンピューティング利用において，問題の詳細がプロバイダーに漏洩するリスクがある。
- 実用的な量子誤り訂正が確立する前の段階で，量子最適化のプライバシーを保護する手法を提案する。
- Enigmaは，量子最適化のためのアプリケーション層でのプライバシー保護を実現する最初のシステムである。
- ValueGuard，StructureCamouflage，TopologyTrimmerの３つの暗化技術を組み合わせることで，問題の識別を困難にしている。
- 最先端のAIモデルを用いた評価では，攻撃者は上位5つの推測で正解を特定できる割合が4.4%にとどまった。
- 1
- 2