論文の概要: Privacy-Preserving Compliance on Public Ledgers via Selective Disclosure Authorization Schemes
- arxiv url: http://arxiv.org/abs/2606.20760v1
- Date: Thu, 18 Jun 2026 09:38:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-26 13:05:21.185065
- Title: Privacy-Preserving Compliance on Public Ledgers via Selective Disclosure Authorization Schemes
- Title(参考訳): 選択的開示認可方式による公開レジャーのプライバシ保護コンプライアンス
- Authors: Supriya Khadka, Sanchari Das,
- Abstract要約: 我々は、公開台帳の粒度と取り消し可能なコンプライアンスチェックのための暗号プリミティブを、その基盤となる証人を明らかにすることなく開発する。
そこで我々は,ゼロ知識証明をオンチェーンアドレスにアンロックする14制約Circom回路を用いて,送信側バインディングコンポーネントを実装した。
ブラウザベースの証明生成は200ミリ秒未満で実行され、オンチェーンの検証コストは240,512ガスで、異なる呼び出し者による証明再利用を中和し、厳格な属性プライバシを保存する。
- 参考スコア(独自算出の注目度): 9.133320151595084
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Public distributed ledgers enforce integrity through radical transparency, creating tension with data minimization principles required for regulatory compliance. While Zero-Knowledge Proofs (ZKPs) offer a theoretical privacy solution, existing constructions often overlook adversarial constraints in smart contract environments. Specifically, the asynchronous decoupling of off-chain proof generation from on-chain submission introduces front-running and proof-reuse risks in public mempools. In this work, we formalize Selective Disclosure Authorization Schemes (SDAS), a cryptographic primitive for granular and revocable compliance checks on public ledgers without revealing the underlying witness. We define a security model for SDAS, introducing Ledger-Bound Attribute Unlinkability and Context-Aware Sender Binding to capture how valid proofs remain bound to their intended authorization context. To validate sender binding, we present ZK-Compliance, an Ethereum-based instantiation that operationalizes a user-controlled "Grant, Verify, Revoke" lifecycle. We implement the sender-binding component using a 14-constraint Circom circuit that anchors the zero-knowledge proof to the executing on-chain sender address. Our Sepolia evaluation confirms practical viability: browser-based proof generation executes in under 200 ms, and on-chain verification costs 240,512 gas, neutralizing proof reuse by different callers while preserving strict attribute privacy.
- Abstract(参考訳): パブリックな分散台帳は、過激な透明性を通じて整合性を強制し、規制コンプライアンスに必要なデータ最小化原則との緊張を生み出す。
Zero-Knowledge Proofs (ZKPs) は理論的なプライバシソリューションを提供するが、既存の構造はスマートコントラクト環境における敵の制約を無視することが多い。
具体的には、オンチェーンからのオフチェーン証明生成の非同期デカップリングは、公共のメムプールにおけるフロントランニングとエビデンスリユースリスクを導入している。
本研究では、公開台帳の粒度と取り消し可能なコンプライアンスチェックのための暗号プリミティブであるSelective Disclosure Authorization Schemes(SDAS)を、その基盤となる証人を明らかにすることなく形式化する。
我々はSDASのセキュリティモデルを定義し、Ledger-Bound Attribute UnlinkabilityとContext-Aware Sender Bindingを導入し、有効な証明が意図した承認コンテキストにどのように拘束されているかを把握する。
送信者バインディングを検証するために,ユーザ制御の"Grant, Verify, Revoke"ライフサイクルを運用するEthereumベースのインスタンス化であるZK-Complianceを提案する。
そこで本研究では,ゼロ知識証明をオンチェーンの送信側アドレスにアンロックする14制約Circom回路を用いて,送信側バインディングコンポーネントを実装した。
ブラウザベースの証明生成は200ミリ秒未満で実行され、オンチェーンの検証コストは240,512ガスで、異なる呼び出し者による証明再利用を中和し、厳格な属性プライバシを保存する。
関連論文リスト
- GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳(メタデータ) (2026-04-27T11:34:21Z) - Compiling Activation Steering into Weights via Null-Space Constraints for Stealthy Backdoors [48.881343993730844]
安全性に整合した大規模言語モデル(LLM)は、現実世界のパイプラインにますますデプロイされている。
敵は通常の評価では動作しないバックドアのチェックポイントを配布することができる。
最近のポストホック重み付け法は、そのようなバックドアを注入するための効率的なアプローチを提供する。
論文 参考訳(メタデータ) (2026-04-14T06:48:33Z) - Grant, Verify, Revoke: A User-Centric Pattern for Blockchain Compliance [9.133320151595084]
分散Webアプリケーションは、公共の妥当性と個人のプライバシーの間に固有の対立に直面している。
本稿では,ユーザ主権の回復を目的とした選択的開示フレームワークを提案する。
評価の結果,200ms未満のクライアント側証明生成が可能であり,コモディティハードウェア上でシームレスな対話的体験を実現することができた。
論文 参考訳(メタデータ) (2026-03-16T17:06:44Z) - ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems [1.7429038786735553]
ZK-ACEは、トランザクション転送されたシグネチャオブジェクトをアイデンティティバウンドのゼロ知識認証ステートメントに置き換える認証レイヤである。
我々は,ZK-ACEをゲームベースのセキュリティ定義で形式化し,音声認識,リプレイ抵抗,置換抵抗,クロスドメイン分離を実現した。
構造的、プロトコルレベルのデータ会計は、直接量子後シグネチャ展開に対するコンセンサス可視な認証データのオーダー・オブ・マグニチュードの低減を示す。
論文 参考訳(メタデータ) (2026-03-09T05:21:44Z) - Poster: Privacy-Preserving Compliance Checks on Ethereum via Selective Disclosure [9.47737368469032]
本研究は,属性検証と識別情報の分離を目的とした,一般的な選択開示フレームワークを提案する。
このフレームワークは、クライアントサイドのzk-SNARKを利用することで、基礎となるID文書を公開せずに、特定の適性予測を証明できる。
予備的な結果は、厳格なコンプライアンス要件が無視可能なクライアント側のレイテンシで満たされることを示している。
論文 参考訳(メタデータ) (2026-02-20T14:54:22Z) - 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) - Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。
スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
論文 参考訳(メタデータ) (2024-12-07T20:18:36Z) - Towards Credential-based Device Registration in DApps for DePINs with ZKPs [46.08150780379237]
ブロックチェーン上のデバイス認証を検証するクレデンシャルベースのデバイス登録(CDR)機構を提案する。
本稿では,Groth16 と Marlin を用いた zkSNARK を用いた汎用システムモデルを提案し,CDR を技術的に評価する。
論文 参考訳(メタデータ) (2024-06-27T09:50:10Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。