Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
This addresses the challenge of integrating non-reliable external data into smart contracts for blockchain applications, offering a formal accountability model.
The paper tackles the problem of unreliable external events triggering blockchain transactions by introducing Pluralize, a formal logical framework that uses first-order logic and an authority algebra to establish agent accountability, enabling formal proofs of accountability that are locally executable by each agent.
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.