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

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Korchiev, Nodirbek, Pateria, Akash, Samatova, Vodelina, Mansouri, Sogolsadat, Anyanwu, Kemafor
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866910685356621824
author Korchiev, Nodirbek
Pateria, Akash
Samatova, Vodelina
Mansouri, Sogolsadat
Anyanwu, Kemafor
author_facet Korchiev, Nodirbek
Pateria, Akash
Samatova, Vodelina
Mansouri, Sogolsadat
Anyanwu, Kemafor
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2411_02597
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach
Korchiev, Nodirbek
Pateria, Akash
Samatova, Vodelina
Mansouri, Sogolsadat
Anyanwu, Kemafor
Cryptography and Security
Databases
Distributed, Parallel, and Cluster Computing
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.
title Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach
topic Cryptography and Security
Databases
Distributed, Parallel, and Cluster Computing
url https://arxiv.org/abs/2411.02597