論文の概要: 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が最先端のソリューションよりも優れたパフォーマンスを実現していることを示している。

関連論文リスト

• Aegis: Towards Governance, Integrity, and Security of AI Voice Agents [52.7512082818639]
  音声エージェントのガバナンス,整合性,セキュリティのためのフレームワークであるAegisを提案する。 我々は,銀行コールセンタ,ITサポート,ロジスティクスにおけるケーススタディを通じて,この枠組みを評価する。 モデルファミリ間の系統的な差異を観察し,より感受性の高いオープンウェイトモデルを示した。
  論文  参考訳（メタデータ） (2026-02-07T05:51:36Z)
• Secure Autonomous Agent Payments: Verifying Authenticity and Intent in a Trustless Environment [0.0]
  人工知能(AI)エージェントは、ユーザーや他のエージェントに代わって金融取引を開始する能力が高まっている。 従来の決済システムは、人間の認可を前提としているが、自律的なエージェント主導の支払いは、その保護を排除している。 本稿では,すべてのAI開始トランザクションの意図を暗号化的に認証し,検証するブロックチェーンベースのフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-11-08T19:53:51Z)
• VeilAudit: Breaking the Deadlock Between Privacy and Accountability Across Blockchains [2.676349883103404]
  ブロックチェーンシステムにおけるクロスチェーンの相互運用性は、ユーザのプライバシと規制説明責任の根本的な緊張を露呈する。 本稿では,Auditor Only Linkabilityを導入するクロスチェーン監査フレームワークであるVeilAuditを紹介する。 VeilAuditは、ユーザ生成のLinkable Audit Tagでこれを実現する。これは、ユーザマスタウォレットアドレスを公開せずに、その妥当性を証明するための知識証明をゼロに埋め込むものだ。
  論文  参考訳（メタデータ） (2025-10-14T05:16:23Z)
• Invisible Tokens, Visible Bills: The Urgent Need to Audit Hidden Operations in Opaque LLM Services [22.700907666937177]
  このポジションペーパーは、Opaque LLM Services(COLS)における新たな説明責任の課題を浮き彫りにしている。 トークンとコールカウントを人工的に膨らませるtextitquantity inflationと、プロバイダが低価格のモデルやツールを静かに置き換えるtextitquality downgradeの2つの主要なリスクを形式化する。 本研究では,COLSとユーザを対象としたモジュール型3層監査フレームワークを提案する。
  論文  参考訳（メタデータ） (2025-05-24T02:26:49Z)
• 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)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• Auditing and Generating Synthetic Data with Controllable Trust Trade-offs [54.262044436203965]
  合成データセットとAIモデルを包括的に評価する総合監査フレームワークを導入する。 バイアスや差別の防止、ソースデータへの忠実性の確保、実用性、堅牢性、プライバシ保護などに焦点を当てている。 多様なユースケースにまたがる様々な生成モデルを監査することにより,フレームワークの有効性を実証する。
  論文  参考訳（メタデータ） (2023-04-21T09:03:18Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。