Hercule：以规范作为基础表示并推理区块链上声明式合约
多智能体系统
2021-04-20 v1
摘要
当前用于商业合约的区块链方法基于智能合约，即部署在区块链上的软件程序，被自动执行以实现合约。然而，智能合约缺乏灵活性，并干涉相关方的自治。我们提出 Hercule，一种以反映商业合约的方式声明式地指定区块链应用的方法。Hercule 通过监管规范来表示合约，这些规范捕捉相关方彼此之间的期望。它根据区块链中的事件计算规范（因而也是合约）的状态。Hercule 的新颖性与意义在于，它将声明式合约在半结构化数据库上操作化，而后者是诸如 Hyperledger Fabric 和 Ethereum 等实用区块链的底层表示。具体而言，它利用此类存储的 map-reduce 能力来计算规范状态。我们证明，我们在 Hyperledger Fabric 上的实现每秒可处理数千个事件，足以满足许多应用。
引用
@article{arxiv.2104.08355,
title = {Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain},
author = {Samuel H. Christie and Amit K. Chopra and Munindar P. Singh},
journal= {arXiv preprint arXiv:2104.08355},
year = {2021}
}