Pluralize：一种用于高级智能合约起草的可信框架
密码学与安全
2018-12-14 v1 计算机科学中的逻辑
摘要
本文提出 Pluralize，一个形式化逻辑框架，能够将区块链交易的执行扩展到来自外部预言机的事件，如外部时间、传感器数据、人工声明等。这些事件本质上不可靠，因为交易执行可能由区块链无法确立其真实性的信息触发。为克服该问题，该语言具备一阶逻辑和权限代数，以允许形式化推理并确定区块链启用交易中代理的责任。我们提供了一种责任模型，允许通过区块链每个代理本地可执行的形式化证明来正式证明代理的责任。
引用
@article{arxiv.1812.05444,
title = {Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft},
author = {Zaynah Dargaye and Antonella Pozzo and Sara Tucci-Piergiovanni},
journal= {arXiv preprint arXiv:1812.05444},
year = {2018}
}