論文の概要: zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management
- arxiv url: http://arxiv.org/abs/2609.28699v1
- Date: Wed, 23 Sep 2026 18:36:58 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 21:10:09.499836
- Title: zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management
- Title（参考訳）: zkSAS: 検証可能なスペクトルアクセス管理のためのゼロ知識証明
- Abstract要約: zkSASは、SASデプロイメントにおける検証可能性とプライバシギャップに対処するために設計された、実用的なゼロ知識証明(ZKP)システムである。
zkSASは、安全で検証可能なダイナミックスペクトル共有のための、スケーラブルで実践的なパスを提供する。
- 参考スコア（独自算出の注目度）: 15.262563079176
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Dynamic Spectrum Access (DSA) through the Spectrum Access Systems (SAS) elevates spectral efficiency, yet existing centralized models face allocation logic opaqueness and a lack of independent verifiability. While blockchain-based SAS architectures offer transparency and verifiability by default, they introduce critical privacy risks and prohibitive on-chain computational overhead. We introduce zkSAS, a practical zero-knowledge proof (ZKP) system designed to address the verifiability and privacy gaps in SAS deployments, with direct applicability to both the existing CBRS SAS model and blockchain-based SAS models. The system features a suite of ZKP circuits, encompassing proofs of allocation constraint validity and proofs of move list validity to verify that channel assignments and move list-based incumbent protection measures, respectively, adhere to regulatory constraints without exposing sensitive user data. Comprehensive evaluation of our prototype in both centralized and blockchain-based settings indicates that while proof generation scales with spectrum user population, verification remains lightweight and constant-time. We envision that zkSAS offers a scalable and practical path to secure, verifiable dynamic spectrum sharing.
- Abstract（参考訳）: スペクトルアクセスシステム(SAS)による動的スペクトルアクセス(DSA)は、スペクトル効率を高めるが、既存の集中型モデルは、割り当てロジックの不透明さと独立した検証性の欠如に直面している。
ブロックチェーンベースのSASアーキテクチャは、デフォルトでは透明性と検証性を提供するが、重要なプライバシリスクと、オンチェーンの計算オーバーヘッドを禁止している。
我々は、既存のCBRS SASモデルとブロックチェーンベースのSASモデルの両方に直接的な適用性を持たせながら、SASデプロイメントにおける検証可能性とプライバシのギャップに対処するために設計された、実用的なゼロ知識証明(ZKP)システムであるzkSASを紹介する。
このシステムは、割り当て制約の妥当性の証明と移動リストの妥当性の証明を含む一連のZKP回路を備え、チャネル割り当てと移動リストベースの既存保護対策が、機密性の高いユーザデータを暴露することなく規制制約に従うことを検証する。
集中型とブロックチェーンベースの設定の両方でプロトタイプの総合的な評価は、証明生成がスペクトルユーザ数でスケールされている一方で、検証は軽量で一定時間であることを示している。
zkSASは、安全で検証可能なダイナミックスペクトル共有のための、スケーラブルで実践的なパスを提供する。
関連論文リスト
- Conformal Privacy Auditing: Calibrated Re-identification Attacks with Statistical Guarantees [57.41572512458446]
公開されたテキストからの経験的アイデンティティリークは、大きな言語モデル(LLM)とドキュメントを個人にリンクするための補助的な知識を組み合わせた攻撃者によって駆動される。
本稿では,各文書の再識別リスクの統計証明を提供する分散フリーキャリブレーションフレームワークであるConformal Privacy Auditingを紹介する。
論文 参考訳（メタデータ） (2026-09-18T05:49:54Z) - SpexPay: A Privacy-Preserving Pay-As-You-Go System for Dynamic Spectrum Sharing [17.0909323237171]
SpexPayは、プライバシ保護と監査可能な従量制のスペクトル利用フレームワークである。
SpexPayは、ユーザーの身元を明かさずに、きめ細かな使い方にリンクされた支払いを強制する。
完全なプロトタイプでは、エンドツーエンドのレイテンシと、最小限のオンチェーンコストが示されている。
論文 参考訳（メタデータ） (2026-07-19T12:20:51Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - IU-GUARD: Privacy-Preserving Spectrum Coordination for Incumbent Users under Dynamic Spectrum Sharing [15.529341977076719]
現在の保護機構は限界に直面している。
プライバシー保護のためのスペクトル共有フレームワークIU-GUARDを提案する。
IU-GUARDは,実際の計算と通信のオーバーヘッドを伴って,強力なプライバシ保証を実現する。
論文 参考訳（メタデータ） (2026-02-11T16:49:04Z) - SWAP: Towards Copyright Auditing of Soft Prompts via Sequential Watermarking [58.475471437150674]
ソフトプロンプト(SWAP)のための逐次透かしを提案する。
SWAPは、特定のディフェンダー指定のアウト・オブ・ディストリビューション・クラスを通じて、透かしを符号化する。
11のデータセットの実験では、SWAPの有効性、無害性、および潜在的適応攻撃に対する堅牢性を示す。
論文 参考訳（メタデータ） (2025-11-05T13:48:48Z) - QAE-BAC: Achieving Quantifiable Anonymity and Efficiency in Blockchain-Based Access Control with Attribute [15.336260777860462]
本稿では、アクセス属性と履歴に基づいて、ユーザの再識別リスクを定量化するための形式的(r, t)匿名モデルを提案する。
また、EWPT(Entropy-Weighted Path Tree)も備えており、リアルタイムの匿名度測定値に基づいてポリシー構造を最適化している。
実験の結果,再識別リスクを効果的に軽減し,最先端のベースラインを上回っ,スループットが最大11倍向上し,レイテンシが87%低減した。
論文 参考訳（メタデータ） (2025-10-24T03:28:41Z) - Privacy-Preserving On-chain Permissioning for KYC-Compliant Decentralized Applications [0.0]
本稿では,SSI(Self-Sovereign Identity),Zero-Knowledge Proofs(ZKP),Attribute-Based Access Controlの新規な合成について述べる。
私たちは、分散型の信頼、プライバシ、透明性を整合させ、ブロックチェーン原則と規制コンプライアンスを調和させる、許可されたdAppのための包括的なフレームワークを提供します。
論文 参考訳（メタデータ） (2025-10-07T11:24:51Z) - QPADL: Post-Quantum Private Spectrum Access with Verified Location and DoS Resilience [0.0]
スペクトラムアクセスシステム(SAS)は機会論的ソリューションを提供するが、重大なセキュリティ上の課題に直面している。
我々は、プライバシ、匿名性、位置検証、DoSレジリエンスを同時に保証する最初のポスト量子(PQ)セキュアフレームワークであるQPADLを提案する。
論文 参考訳（メタデータ） (2025-10-04T02:28:58Z) - Unified Mechanism-Specific Amplification by Subsampling and Group Privacy Amplification [54.1447806347273]
サブサンプリングによる増幅は、差分プライバシーを持つ機械学習の主要なプリミティブの1つである。
本稿では、メカニズム固有の保証を導出するための最初の一般的なフレームワークを提案する。
サブサンプリングが複数のユーザのプライバシに与える影響を分析する。
論文 参考訳（メタデータ） (2024-03-07T19:36:05Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳（メタデータ） (2021-08-27T15:04:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。