[论文解读] Violable Contracts and Governance for Blockchain Applications

Munindar P. Singh, Amit K. Chopra|arXiv (Cornell University)|Jan 8, 2018

Blockchain Technology Applications and Security参考文献 12被引用 5

一句话总结

本文提出了一种以声明式、可违反合同为核心的去中心化区块链应用社会技术框架——与刚性智能合约形成对比——通过公开的、上链的记录，实现灵活治理、自治性保护以及可验证的合规性。其核心贡献是一个形式化模型，允许合同被违反、验证并由内嵌规范进行治理，从而在无需中心化权威的情况下建立信任。

ABSTRACT

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However, blockchain suffers from major shortcomings arising from an over-regimented way of organizing computation that limits its prospects. We propose a sociotechnical, yet computational, perspective that avoids those shortcomings. A centerpiece of our vision is the notion of a declarative, violable contract in contradistinction to smart contracts. This new way of thinking enables flexible governance, by formalizing organizational structures; verification of correctness without obstructing autonomy; and a meaningful basis for trust.

研究动机与目标

• 解决传统智能合约在去中心化应用中的局限性，其强制执行刚性、不可更改的逻辑，且缺乏对现实世界组织动态的支持。
• 克服区块链系统将所有交互视为原子性与不可变性所带来的僵化性，从而削弱自治性与实际治理能力。
• 使去中心化应用能够支持现实世界的社会与组织结构，包括例外处理、合规性验证与信任机制。
• 将治理形式化为区块链系统的一等公民，支持规范执行、违规检测与基于声誉的信任机制。
• 提供一种计算模型，平衡自治性与可验证性，使各方能够独立行动，同时通过公开、可审计的记录确保问责性。

提出的方法

• 引入“合約”（compacts）——声明式、形式化的合同，其不自动执行，但可被检查是否满足、违反或已到期。
• 将合同逻辑与执行解耦，通过将合同条款与事件记录存储在区块链上，实现外部验证与治理。
• 将区块链用作共享的、不可篡改的账本，记录合同状态、违规行为、投诉与治理行动，确保透明性与可审计性。
• 将治理结构整合进区块链模型，其中违规行为触发治理流程，制裁措施被编码并可验证。
• 通过公开语义形式化信任：一方的可信度根据其可观察的、上链的行为（如规范遵守或违反）动态更新。
• 将现实世界事实（如医学诊断）建模为经外部验证但记录在区块链上的事件，确保规范判断基于权威来源。

实验结果

研究问题

• RQ1 区块链系统如何支持去中心化应用中互不信任的各方之间的自主且可问责的交互？
• RQ2 哪些机制可在不牺牲灵活性或自治性的情况下，实现在区块链系统中对组织规范与治理结构的形式化？
• RQ3 在内部状态（如信念、意图）不可直接观察的开放、去中心化系统中，如何验证合同合规性？
• RQ4 在不损害自治原则的前提下，如何有意义地记录合同违规行为，并用于影响信任与声誉？
• RQ5 如何以保留其社会与制度意义的方式，将现实世界事实（如肿瘤为良性）整合进基于区块链的合同中？

主要发现

• 传统智能合约无法满足去中心化应用的需求，因其强制执行刚性、不可更改的逻辑，且无法建模现实世界的组织复杂性。
• 声明式、可违反的合同使各方能够在保持自主性的同时，仍可进行可验证的合规检查与治理干预。
• 区块链可作为合同状态、违规行为与治理行动的公开、不可篡改记录，支持证据性信任判断。
• 治理合約可被形式化编码并由违规行为触发，从而以透明且可审计的方式实现对不合规行为的制裁。
• 信任可基于记录在区块链上的可观察行为进行形式化并动态更新，支持无需中心化监督的社会技术信任机制。
• 现实世界事实（如肿瘤为良性）可通过权威外部来源嵌入合同，确保规范判断具有语义基础。