Back to Search
Start Over
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
- Publication Year :
- 2018
-
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.
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1812.05444
- Document Type :
- Working Paper