[论文解读] On and Off-Blockchain Enforcement Of Smart Contracts

Carlos Molina-Jiménez, Ellis Solaiman+3 more|arXiv (Cornell University)|Jan 1, 2018

Blockchain Technology Applications and Security参考文献 21被引用 20

一句话总结

本文提出一种混合架构，通过结合链上与链下执行机制来强制执行智能合约，利用区块链实现关键的、信任敏感的操作，同时使用集中式的可信第三方来处理性能敏感或复杂的操作。其主要贡献在于提出了一套实用且可扩展的框架，通过战略性地在链上与链下执行器之间划分合约逻辑，实现了去中心化、性能与表达能力之间的平衡。

ABSTRACT

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run time. We explain that emerging blockchain technology is certainly a promising platform for implementing smart contracts but argue that there is a large class of applications, where blockchain is inadequate due to performance, scalability, and consistency requirements, and also due to language expressiveness and cost issues that are hard to solve. We explain that in some situations a centralised approach that does not rely on blockchain is a better alternative due to its simplicity, scalability, and performance. We suggest that in applications where decentralisation and transparency are essential, developers can advantageously combine the two approaches into hybrid solutions where some operations are enforced by enforcers deployed on--blockchains and the rest by enforcers deployed on trusted third parties.

研究动机与目标

• 解决纯区块链智能合约在性能、可扩展性、成本与表达能力方面的局限性。
• 证明集中式执行机制在许多现实世界应用中是一种可行且通常更优的替代方案。
• 提出一种混合模型，结合链上与链下执行机制，以在信任、性能与功能之间实现最佳权衡。
• 提供一个实用的框架，用于在去中心化与集中式执行组件之间划分合约逻辑。

提出的方法

• 作者提出一种混合执行架构，其中关键合约操作（例如支付、最终结算）在区块链上执行以确保不可篡改性与信任，而非关键或性能敏感的操作则通过集中式合约检查器（CCC）在链下执行。
• CCC 作为可信第三方，负责执行数据可用性、通知时机与请求速率限制等操作，确保正确性的同时避免链上开销。
• 系统使用有限状态机（FSM）模型来表示合约状态与状态转换，链上与链下组件分别独立执行其对应的条款。
• 该架构支持链上与链下组件之间的直接与间接通信，链下 CCC 可通过 JSON-RPC API 与区块链交互。
• 该方法允许开发人员使用声明式、基于规则的语言编写链下逻辑（以提升表达能力），同时使用命令式区块链语言（如 Solidity）编写链上逻辑。
• 通过一个涉及物联网传感器数据的实际数据交易用例对混合模型进行了评估，合约条款被建模为可执行的操作。

实验结果

研究问题

• RQ1 集中式与去中心式智能合约执行在性能、可扩展性与成本方面存在哪些权衡？
• RQ2 在哪些应用场景中，集中式执行方式比基于区块链的方式更为合适？
• RQ3 如何有效协调链上与链下执行组件以避免冲突并确保一致性？
• RQ4 在链上与链下组件之间划分合约逻辑的最优策略是什么？
• RQ5 如何在混合执行架构中集成声明式与命令式合约语言？

主要发现

• 大量现实世界应用——尤其是那些涉及高频操作、严格时间约束或复杂逻辑的应用——由于区块链在性能与成本上的限制，显著受益于链下执行。
• 通过可信第三方（CCC）实现的集中式执行，为非关键合约操作（如数据可用性与请求速率控制）提供了更优的性能、可扩展性与表达能力。
• 该混合模型成功将信任关键操作（如支付）与性能敏感操作（如数据传输）解耦，实现了安全与效率的兼顾。
• 使用声明式语言编写链下逻辑可显著提升表达能力与可维护性，而像 Solidity 这类命令式语言在链上执行中仍不可或缺。
• 通过 JSON-RPC API 实现链下与链上组件的集成是可行且实用的，能够实现实时协调与故障容错。
• 该混合方法有效缓解了区块链的关键局限，如高交易费用、缓慢的最终性以及有限的计算表达能力，使智能合约更适用于广泛的企业级应用。