zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Liu, To-Wen, Green, Matthew
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909864687566848
author Liu, To-Wen
Green, Matthew
author_facet Liu, To-Wen
Green, Matthew
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2510_20007
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
Liu, To-Wen
Green, Matthew
Cryptography and Security
94A60, 68M14, 68Q85
D.4.6; K.6.5; E.3
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.
title zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
topic Cryptography and Security
94A60, 68M14, 68Q85
D.4.6; K.6.5; E.3
url https://arxiv.org/abs/2510.20007