論文の概要: SilentLedger: Privacy-Preserving Auditing for Blockchains with Complete Non-Interactivity
- arxiv url: http://arxiv.org/abs/2509.08722v1
- Date: Wed, 10 Sep 2025 16:14:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-11 15:16:52.493847
- Title: SilentLedger: Privacy-Preserving Auditing for Blockchains with Complete Non-Interactivity
- Title(参考訳): SilentLedger: 完全な非インタラクティブなブロックチェーンのプライバシ保護監査
- Authors: Zihan Liu, Xiaohu Wang, Chao Lin, Minghui Xu, Debiao He, Xinyi Huang,
- Abstract要約: SilentLedgerは、監査と完全な非対話を備えたプライバシ保護トランザクションシステムである。
我々は、正当性、匿名性、機密性、健全性などのセキュリティ特性を正式に証明する。
我々の実装とベンチマークは、SilentLedgerが最先端のソリューションよりも優れたパフォーマンスを実現していることを示している。
- 参考スコア(独自算出の注目度): 38.520950743840785
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Privacy-preserving blockchain systems are essential for protecting transaction data, yet they must also provide auditability that enables auditors to recover participant identities and transaction amounts when warranted. Existing designs often compromise the independence of auditing and transactions, introducing extra interactions that undermine usability and scalability. Moreover, many auditable solutions depend on auditors serving as validators or recording nodes, which introduces risks to both data security and system reliability. To overcome these challenges, we propose SilentLedger, a privacy-preserving transaction system with auditing and complete non-interactivity. To support public verification of authorization, we introduce a renewable anonymous certificate scheme with formal semantics and a rigorous security model. SilentLedger further employs traceable transaction mechanisms constructed from established cryptographic primitives, enabling users to transact without interaction while allowing auditors to audit solely from on-chain data. We formally prove security properties including authenticity, anonymity, confidentiality, and soundness, provide a concrete instantiation, and evaluate performance under a standard 2-2 transaction model. Our implementation and benchmarks demonstrate that SilentLedger achieves superior performance compared with state-of-the-art solutions.
- Abstract(参考訳): プライバシを保存するブロックチェーンシステムは、トランザクションデータを保護する上で不可欠ですが、監査担当者が保証された時に、参加者のIDとトランザクション量の回復を可能にする監査性の提供も必要です。
既存の設計は監査とトランザクションの独立性を損なうことが多く、ユーザビリティとスケーラビリティを損なう余分なインタラクションを導入します。
さらに、多くの監査可能なソリューションは、バリデータや記録ノードとして機能する監査者に依存しており、データセキュリティとシステムの信頼性の両方にリスクをもたらす。
これらの課題を克服するために、監査と完全な非対話性を備えたプライバシ保護トランザクションシステムであるSilentLedgerを提案する。
認証の公的な検証を支援するために,形式的意味論と厳密なセキュリティモデルを備えた,再生可能匿名証明方式を導入する。
SilentLedgerはさらに、確立された暗号プリミティブから構築されたトレーサブルなトランザクションメカニズムを採用しており、オンチェーンデータから監査者のみを監査しながら、対話なしにトランザクションを実行できる。
我々は,正当性,匿名性,機密性,健全性などのセキュリティ特性を正式に証明し,具体的なインスタンス化を提供し,標準2-2トランザクションモデルによる性能評価を行う。
我々の実装とベンチマークは、SilentLedgerが最先端のソリューションよりも優れたパフォーマンスを実現していることを示している。
関連論文リスト
- Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。
スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
論文 参考訳(メタデータ) (2024-12-07T20:18:36Z) - AGORA: Open More and Trust Less in Binary Verification Service [19.05703756097075]
本稿では,この課題を克服するために設計された新しいバイナリ検証サービスであるAGORAを紹介する。
あるタスクは信頼できないエンティティに委譲でき、対応するバリデーターは信頼されたコンピューティングベースに確実に格納される。
ブロックチェーンベースの新たな報奨金タスクマネージャを通じて、クラウドソーシングを使用して、定理証明者の信頼を取り除く。
論文 参考訳(メタデータ) (2024-07-21T05:29:22Z) - The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording [51.82772358241505]
リスクリミット監査(リスクリミット監査、RLA)は、大規模な選挙の結果を検証する技術である。
我々は、効率を改善し、統計力の進歩を提供する監査の新たなファミリーを定めている。
新しい監査は、複数の可能なマーク解釈を宣言できるように、キャストボイトレコードの標準概念を再考することで実現される。
論文 参考訳(メタデータ) (2024-02-09T16:23:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。