# Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft

arXiv: https://arxiv.org/abs/1812.05444 · HTML: https://mlsanity.com/paper/1812.05444/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 23 Oct 2018.

## Built on by (most cited first, 1 of 1)

- [Evidential Transactions with Cyberlogic](https://mlsanity.com/paper/2304.00060/) (2023)

## Abstract (arXiv)

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.