論文の概要: From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs

• arxiv url: http://arxiv.org/abs/2504.19640v1
• Date: Mon, 28 Apr 2025 09:54:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-02 19:15:54.392951
• Title: From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
• Title（参考訳）: 紙道からトラスト・オン・トラック:zk-SNARKによる鉄道への公共透明性向上
• Authors: Tarek Galal, Valeria Tisch, Katja Assaf, Andreas Polze,
• Abstract要約: 我々は、提案から承認までの鉄道・インフラ整備に関するドイツのガイドラインを分析する。 我々はこのガイドラインを,デジタル署名とゼロ知識証明を用いてプロセスの意思決定をモデル化するモチベーションの例として用いている。 我々のソリューションは鉄道固有のものではなく、他の文脈にも適用でき、公的な透明性と信頼のためにゼロ知識の証明を活用するのに役立ちます。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Railways provide a critical service and operate under strict regulatory frameworks for implementing changes or upgrades. Despite their impact on the public, these frameworks do not define means or mechanisms for transparency towards the public, leading to reduced trust and complex tracking processes. We analyse the German guideline for railway-infrastructural modifications from proposal to approval, using the guideline as a motivating example for modelling decisions in processes using digital signatures and zero-knowledge proofs. Therein, a verifier can verify that a process was executed correctly by the involved parties and according to specification without learning confidential information such as trade secrets or identities of the participants. We validate our system by applying it to the railway process, demonstrating how it realises various rules, and we evaluate its scalability with increased process complexities. Our solution is not railway-specific but also applicable to other contexts, helping leverage zero-knowledge proofs for public transparency and trust.
• Abstract（参考訳）: 鉄道は重要なサービスを提供し、変更やアップグレードを実装するための厳格な規制の枠組みの下で運営されている。 一般大衆への影響にもかかわらず、これらのフレームワークは公衆に対する透明性の手段やメカニズムを定義しておらず、信頼と複雑な追跡プロセスの削減につながっている。 我々は、デジタルシグネチャとゼロ知識証明を用いたプロセスにおける決定のモデル化のモチベーション例として、提案から承認まで、鉄道・インフラ整備のためのドイツのガイドラインを分析した。 これにより、検証者は、取引秘密や参加者の身元などの機密情報を学習することなく、当該プロセスが関係当事者によって正しく実行されたこと、及び仕様に従って検証することができる。 鉄道システムに適用し,様々なルールを実現する方法について実証し,その拡張性をプロセスの複雑さを増大させることで評価する。 我々のソリューションは鉄道固有のものではなく、他の文脈にも適用でき、公的な透明性と信頼のためにゼロ知識の証明を活用するのに役立ちます。

関連論文リスト

• Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective [59.61868506896214]
  標準的なデータカバレッジの仮定では、強化学習はプロセスの監督よりも統計的に難しいものではない。 任意のポリシーの利点関数が最適なプロセス報酬モデルとして機能することを証明する。
  論文  参考訳（メタデータ） (2025-02-14T22:21:56Z)
• Federated Conformance Checking [0.1433758865948252]
  コンフォーマンスチェックはプロセスマイニングにおいて重要な側面であり、プロセスの実行を比較することが主な目的である。 本稿では, 組織間プロセスモデル全体の正当性を評価するための, プライバシーに配慮した適合性チェック手法を提案する。
  論文  参考訳（メタデータ） (2025-01-23T11:30:13Z)
• Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [46.404531555921906]
  機密性と透明性の両立を目的とした,ブロックチェーンベースのPAISアーキテクチャを提案する。 スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
  論文  参考訳（メタデータ） (2024-12-07T20:18:36Z)
• A Confidential Computing Transparency Framework for a Comprehensive Trust Chain [7.9699781371465965]
  Confidential Computingは、ハードウェアベースのTrusted Execution Environmentを通じて、使用中のデータのプライバシを高める。 TEEは脆弱性やバックドアの欠如を保証できないため、ユーザの信頼を必要とします。 機密情報処理の透明性を漸進的に向上するための実践的な経路を組織に提供する3段階の概念フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-09-05T17:24:05Z)
• AGORA: Open More and Trust Less in Binary Verification Service [16.429846973928512]
  本稿では,この課題を克服するために設計された新しいバイナリ検証サービスであるAGORAを紹介する。 あるタスクは信頼できないエンティティに委譲でき、対応するバリデーターは信頼されたコンピューティングベースに確実に格納される。 ブロックチェーンベースの新たな報奨金タスクマネージャを通じて、クラウドソーシングを使用して、定理証明者の信頼を取り除く。
  論文  参考訳（メタデータ） (2024-07-21T05:29:22Z)
• TRACE: TRansformer-based Attribution using Contrastive Embeddings in LLMs [50.259001311894295]
  TRACE と呼ばれるコントラスト埋め込みを用いた新しいTRansformer-based Attribution フレームワークを提案する。 TRACEは情報源の属性を精度良く改善し,大規模言語モデルの信頼性と信頼性を高める貴重なツールであることを示す。
  論文  参考訳（メタデータ） (2024-07-06T07:19:30Z)
• Inverse Online Learning: Understanding Non-Stationary and Reactionary Policies [79.60322329952453]
  エージェントが意思決定を行う方法の解釈可能な表現を開発する方法を示す。 一連の軌跡に基づく意思決定プロセスを理解することにより,このオンライン学習問題に対して,政策推論問題を逆問題とみなした。 本稿では、エージェントがそれらを更新するプロセスと並行して、その影響を遡及的に推定する実用的なアルゴリズムを提案する。 UNOSの臓器提供受諾決定の分析に応用することで、我々のアプローチは意思決定プロセスを管理する要因や時間とともにどのように変化するかに、貴重な洞察をもたらすことができることを実証する。
  論文  参考訳（メタデータ） (2022-03-14T17:40:42Z)
• Synthetic Disinformation Attacks on Automated Fact Verification Systems [53.011635547834025]
  本研究では,2つのシミュレーション環境において,自動ファクトチェッカーの合成正反対証拠に対する感度について検討する。 これらのシステムでは,これらの攻撃に対して大幅な性能低下がみられた。 偽情報の発生源としての現代のNLGシステムの脅威の増大について論じる。
  論文  参考訳（メタデータ） (2022-02-18T19:01:01Z)
• Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities [0.8602553195689513]
  プロセスマイニングは、AIコンプライアンスプロセスの実行に事実に基づく可視性を得るために有用なフレームワークを提供することができることを示す。 AI規制コンプライアンスプロセスの不確実性を分析し、修正し、監視する自動化アプローチを提供する。
  論文  参考訳（メタデータ） (2021-10-06T12:50:47Z)
• Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty [66.17147341354577]
  我々は,モデル予測に関連する不確実性を推定し,伝達することにより,相補的な透明性の形式を考えることについて議論する。 モデルの不公平性を緩和し、意思決定を強化し、信頼できるシステムを構築するために不確実性がどのように使われるかを説明する。 この研究は、機械学習、可視化/HCI、デザイン、意思決定、公平性にまたがる文学から引き出された学際的レビューを構成する。
  論文  参考訳（メタデータ） (2020-11-15T17:26:14Z)

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

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