Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach

TL;DR

This paper introduces a declarative transaction framework for blockchains that simplifies transaction programming, improves usability, robustness, and performance, and is validated through formal modeling and real-world implementation.

Contribution

It proposes a novel declarative transaction approach that enhances blockchain transaction expressiveness and efficiency over traditional smart contracts.

Findings

Declarative transactions reduce complexity compared to smart contracts.

The approach improves performance metrics in blockchain transactions.

Implementation on BigchchainDB demonstrates practical benefits.

Abstract

Blockchains are being positioned as the "technology of trust" that can be used to mediate transactions between non-trusting parties without the need for a central authority. They support transaction types that are native to the blockchain platform or user-defined via user programs called smart contracts. Despite the significant flexibility in transaction programmability that smart contracts offer, they pose several usability, robustness, and performance challenges. This paper proposes an alternative transaction framework that incorporates more primitives into the native set of transaction types (reducing the likelihood of requiring user-defined transaction programs often). The framework is based on the concept of declarative blockchain transactions whose strength lies in the fact that it addresses several of the limitations of smart contracts simultaneously. A formal and implementation framework is presented, and a subset of commonly occurring transaction behaviors are modeled and implemented as use cases, using an open-source blockchain database, BigchchainDB, as the implementation context. A performance study comparing the declarative transaction approach to equivalent smart contract transaction models reveals several advantages of the proposed approach.