論文の概要: zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
- arxiv url: http://arxiv.org/abs/2510.20007v1
- Date: Wed, 22 Oct 2025 20:11:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-25 03:08:16.822977
- Title: zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
- Title（参考訳）: zk-Agreements: 機密契約における決定論的信頼を確立するためのプライバシ保護方法
- Authors: To-Wen Liu, Matthew Green,
- Abstract要約: 機密性を維持しつつ、紙ベースの信頼から暗号的信頼へ移行するためのプロトコルであるzk-agreementsを導入する。
当社の設計では,プライベートな契約条件を保護するためのゼロ知識証明,プライベートなコンプライアンス評価を可能にするための2要素計算,自動実施を保証するためのスマートコントラクトを組み合わせる。
- 参考スコア（独自算出の注目度）: 4.484708810630883
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require manual processing, and lack computational verifiability, all of which hinder efficient digital commerce. Computable legal contracts, expressed in machine-readable formats, offer a potential solution by enabling automated execution and verification. Blockchain-based smart contracts further strengthen enforceability and accelerate dispute resolution; however, current implementations risk exposing sensitive agreement terms on public ledgers, raising serious privacy and competitive intelligence concerns that limit enterprise adoption. We introduce zk-agreements, a protocol designed to transition from paper-based trust to cryptographic trust while preserving confidentiality. Our design combines zero-knowledge proofs to protect private agreement terms, secure two-party computation to enable private compliance evaluation, and smart contracts to guarantee automated enforcement. Together, these components achieve both privacy preservation and computational enforceability, resolving the fundamental tension between transparency and confidentiality in blockchain-based agreements.
- Abstract（参考訳）: 現在、デジタル取引は年間数兆ドルを超えているが、従来の紙ベースの合意は自動化、強制力、紛争解決のボトルネックとなっている。
自然言語契約は曖昧さを導入し、手作業による処理を必要とし、計算の妥当性が欠如しており、これら全てが効率的なデジタル商取引を妨げる。
機械可読形式で表現された計算可能な法的契約は、自動実行と検証を可能にすることで潜在的な解決策を提供する。
ブロックチェーンベースのスマートコントラクトは、実行可能性をさらに強化し、紛争解決を加速するが、現在の実装では、公開台帳に機密性のある合意条項を暴露するリスクがあり、企業の採用を制限する深刻なプライバシーと競争上の情報に関する懸念が高まる。
機密性を維持しつつ、紙ベースの信頼から暗号的信頼へ移行するためのプロトコルであるzk-agreementsを導入する。
当社の設計では,プライベートな契約条件を保護するためのゼロ知識証明,プライベートなコンプライアンス評価を可能にするための2要素計算,自動実施を保証するためのスマートコントラクトを組み合わせる。
これらのコンポーネントは共に、プライバシ保護と計算強制性の両方を実現し、ブロックチェーンベースの契約における透明性と機密性の基本的な緊張を解消します。
関連論文リスト
- Cross-Chain Sealed-Bid Auctions Using Confidential Compute Blockchains [12.944520640892316]
封筒付きオークションは、公正な競争と効率的な配分を保証するが、しばしば中央集権的なインフラに配備される。
パブリックブロックチェーンは中央制御を排除しているが、その固有の透明性は、封印入札に必要な機密性と矛盾している。
秘密計算ブロックチェーン上で機密入札ロジックを実行するシールバイドオークションプロトコルを提案する。
論文 参考訳（メタデータ） (2025-10-22T11:35:51Z) - Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。
スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
論文 参考訳（メタデータ） (2024-12-07T20:18:36Z) - Quantum digital signature based on single-qubit without a trusted third-party [45.41082277680607]
我々は、信頼できるサードパーティを使わずに、新しい量子デジタル署名プロトコルを提案する。
我々は,このプロトコルが情報理論的非偽造性を持っていることを証明した。
論文 参考訳（メタデータ） (2024-10-17T09:49:29Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - HE-DKSAP: Privacy-Preserving Stealth Address Protocol via Additively Homomorphic Encryption [15.902511928891643]
ホモモルフィック暗号化に基づくデュアルキーステルスアドレスプロトコル(HE-DKSAP)
本稿では、HE-DKSAPの中核となる原則を掘り下げ、プログラム可能なブロックチェーンにおけるプライバシ、スケーラビリティ、セキュリティを強化する能力を強調します。
論文 参考訳（メタデータ） (2023-12-17T12:23:49Z) - Healthcare Policy Compliance: A Blockchain Smart Contract-Based Approach [0.312488427986006]
HIPAAのような厳格な規制にもかかわらず、ポリシーコンプライアンスの重大なギャップは、データ漏洩が起きるまで検出されないことが多い。
このギャップを埋めるため、ブロックチェーンを利用したスマートコントラクトベースのアクセス制御モデルを提案する。
弊社のアプローチでは、インフォームドコンセントのコンポーネントをPPAに統合し、ブロックチェーンのスマートコントラクトを使用してポリシの実施を自動化する。
論文 参考訳（メタデータ） (2023-12-15T21:25:07Z) - Gradual Verification for Smart Contracts [0.4543820534430522]
Algosはスマートコントラクトを通じてセキュアなリソーストランザクションを実現する。
従来の検証技術は、包括的なセキュリティ保証の提供に不足している。
本稿では,段階的検証という段階的なアプローチを紹介する。
論文 参考訳（メタデータ） (2023-11-22T12:42:26Z) - Breaking the Communication-Privacy-Accuracy Tradeoff with
$f$-Differential Privacy [51.11280118806893]
サーバが複数のユーザの協調的なデータ分析を,プライバシの懸念と限られた通信能力で調整する,フェデレートされたデータ分析問題を考える。
有限出力空間を有する離散値機構の局所的差分プライバシー保証を$f$-differential privacy (DP) レンズを用いて検討する。
より具体的には、様々な離散的評価機構の厳密な$f$-DP保証を導出することにより、既存の文献を前進させる。
論文 参考訳（メタデータ） (2023-02-19T16:58:53Z) - Privacy-Preserving Joint Edge Association and Power Optimization for the
Internet of Vehicles via Federated Multi-Agent Reinforcement Learning [74.53077322713548]
プライバシ保護型共同エッジアソシエーションと電力配分問題について検討する。
提案されたソリューションは、最先端のソリューションよりも高いプライバシレベルを維持しながら、魅力的なトレードオフにぶつかる。
論文 参考訳（メタデータ） (2023-01-26T10:09:23Z) - Regulation conform DLT-operable payment adapter based on trustless -
justified trust combined generalized state channels [77.34726150561087]
物の経済(EoT)は、ピアツーピアの信頼性のないネットワークで動作するソフトウェアエージェントに基づいています。
基本的価値と技術的可能性が異なる現在のソリューションの概要を述べる。
我々は,暗号ベースの分散型の信頼できない要素の強みと,確立された,十分に規制された支払い手段を組み合わせることを提案する。
論文 参考訳（メタデータ） (2020-07-03T10:45:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。