論文の概要: Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
- arxiv url: http://arxiv.org/abs/2509.20300v1
- Date: Wed, 24 Sep 2025 16:32:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-25 20:53:19.906909
- Title: Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
- Title（参考訳）: ゼロ知識証明による信頼性保持型検証可能なビジネスプロセス
- Authors: Jannis Kiesel, Jonathan Heiss,
- Abstract要約: 本稿では,ゼロ知識証明(ZKP)に基づくビジネスプロセスの検証手法を提案する。
提案手法は,証明合成による連鎖検証計算を支援する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ensuring the integrity of business processes without disclosing confidential business information is a major challenge in inter-organizational processes. This paper introduces a zero-knowledge proof (ZKP)-based approach for the verifiable execution of business processes while preserving confidentiality. We integrate ZK virtual machines (zkVMs) into business process management engines through a comprehensive system architecture and a prototypical implementation. Our approach supports chained verifiable computations through proof compositions. On the example of product carbon footprinting, we model sequential footprinting activities and demonstrate how organizations can prove and verify the integrity of verifiable processes without exposing sensitive information. We assess different ZKP proving variants within process models for their efficiency in proving and verifying, and discuss the practical integration of ZKPs throughout the Business Process Management (BPM) lifecycle. Our experiment-driven evaluation demonstrates the automation of process verification under given confidentiality constraints.
- Abstract（参考訳）: 秘密のビジネス情報を開示することなく、ビジネスプロセスの整合性を確保することは、組織間プロセスにおいて大きな課題である。
本稿では,ゼロ知識証明(ZKP)に基づくビジネスプロセスの検証手法を提案する。
ZK仮想マシン(zkVM)を包括的なシステムアーキテクチャとプロトタイプ実装を通じてビジネスプロセス管理エンジンに統合する。
提案手法は,証明合成による連鎖検証計算を支援する。
製品炭素フットプリントの例では、シーケンシャルなフットプリントアクティビティをモデル化し、機密情報を公開せずに検証可能なプロセスの完全性を証明し、検証する方法を実証する。
ビジネスプロセス管理(BPM)ライフサイクルを通じて、ZKPの実践的な統合について議論する。
実験による評価は, 所定の秘密性制約の下でのプロセス検証の自動化を実証する。
関連論文リスト
- ZKPROV: A Zero-Knowledge Approach to Dataset Provenance for Large Language Models [46.71493672772134]
LLM証明のゼロ知識証明を可能にする新しい暗号フレームワークであるZKPROVを紹介する。
モデルが信頼できるデータセット上でトレーニングされていることを、モデルやパラメータに関する機密情報を公開せずに確認することができる。
本手法は,学習段階の証明を回避しつつ,ゼロ知識証明を通じてトレーニングデータセットにトレーニングモデルを暗号的にバインドする。
論文 参考訳（メタデータ） (2025-06-26T00:49:02Z) - Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs [1.7723990552388873]
Zero-Knowledge Proofs (ZKPs) は、検証済みの計算を通じて、機密性の高いモデルの詳細やデータを明らかにすることなく、要求の遵守を証明できる暗号化ソリューションを提供する。
我々は、AI検証と検証パイプラインにおけるアプリケーションに不可欠な5つの重要な特性(非対話性、透過的なセットアップ、標準表現、簡潔性、および後セキュリティ)を特定します。
論文 参考訳（メタデータ） (2025-05-26T15:39:11Z) - Federated Conformance Checking [0.1433758865948252]
コンフォーマンスチェックはプロセスマイニングにおいて重要な側面であり、プロセスの実行を比較することが主な目的である。
本稿では, 組織間プロセスモデル全体の正当性を評価するための, プライバシーに配慮した適合性チェック手法を提案する。
論文 参考訳（メタデータ） (2025-01-23T11:30:13Z) - Extending Business Process Management for Regulatory Transparency [0.0]
規制の透明性を特徴とするBPMNへのプラグイン拡張を提供することで、ビジネスプロセスとアプリケーションシステム間のギャップを埋めます。
ビジネスプロセスにおける個人データフローの発見と分析にプロセスマイニング技術を活用します。
論文 参考訳（メタデータ） (2024-06-14T12:08:34Z) - Extracting Process-Aware Decision Models from Object-Centric Process
Data [54.04724730771216]
本稿では,ODDA(Integrated Object-centric Decision Discovery Algorithm)と呼ばれる,オブジェクト中心決定マイニングアルゴリズムを提案する。
IODDAは意思決定の仕組みや意思決定の仕方を知ることができる。
論文 参考訳（メタデータ） (2024-01-26T13:27:35Z) - Trusted Execution Environment for Decentralized Process Mining [1.6686882054452727]
プロセスマイニングを複数のアクターのプロセスイベントデータにアンロックする新しいアプローチであるConFINEを紹介する。
医療シナリオへの応用を示すことによって、ソリューションの実現可能性を示す。
論文 参考訳（メタデータ） (2023-12-19T12:30:13Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳（メタデータ） (2022-08-12T17:03:50Z) - Prescriptive Process Monitoring: Quo Vadis? [64.39761523935613]
本論文はシステム文献レビュー(SLR)を通して,本分野における既存手法について考察する。
SLRは今後の研究の課題や分野に関する洞察を提供し、規範的なプロセス監視手法の有用性と適用性を高めることができる。
論文 参考訳（メタデータ） (2021-12-03T08:06:24Z) - Trustworthy Artificial Intelligence and Process Mining: Challenges and
Opportunities [0.8602553195689513]
プロセスマイニングは、AIコンプライアンスプロセスの実行に事実に基づく可視性を得るために有用なフレームワークを提供することができることを示す。
AI規制コンプライアンスプロセスの不確実性を分析し、修正し、監視する自動化アプローチを提供する。
論文 参考訳（メタデータ） (2021-10-06T12:50:47Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。