Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
Cryptography and Security
2018-12-14 v1 Logic in Computer Science
Abstract
The paper presents Pluralize a formal logical framework able to extend the execution of blockchain transactions to events coming from external oracles, like external time, sensor data, human-made declarations, etc. These events are by essence non-reliable, since transaction execution can be triggered by information whose veracity cannot be established by the blockchain. To overcome this problem, the language features a first-order logic and an authority algebra to allow formal reasoning and establish accountability of agents for blockchain-enabled transactions. We provide an accountability model that allows to formally prove the accountability of agents by a formal proof locally executable by each agent of the blockchain.
Keywords
Cite
@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}
}