zk-Agreements：建立确定性信任的隐私保护性协议
辛几何
2025-10-24 v1 微分几何
摘要
当前，数字交易年均超过千亿美元，但传统纸质协议仍是自动化、可执行性和争议解决的瓶颈。自然语言合同引入歧义，需人工处理且缺乏计算可验证性，严重阻碍了高效的数字商业。以机器可读格式表达的可计算合同潜在提供解决方案，通过实现自动执行和验证。基于区块链的智能合同进一步强化了可执行性并加速争议解决；然而，当前实现风险在于将敏感协议条款公开记录于公共账本上，这引发严重的隐私和竞争情报顾虑，限制了企业的采纳。我们提出zk-agreements，一种旨在从纸质信任转向密码学信任且保持保密性的协议。我们的设计将零知识证明用于保护私有协议条款，结合安全的两方计算以实现私有合规评估，并利用智能合同保证自动执行。通过这些组件，实现了隐私保护与计算可执行性，解决了基于区块链协议在透明性与保密性之间根本性的张力。
引用
@article{arxiv.2510.20006,
title = {Abelian instances of nonabelian symplectic reduction},
author = {A. Bravo-Doddoli and L. C. García-Naranjo and E. Rigato},
journal= {arXiv preprint arXiv:2510.20006},
year = {2025}
}