English

Transactional Smart Contracts in Blockchain Systems

Databases 2019-09-17 v1 Distributed, Parallel, and Cluster Computing
Authors: Victor Zakhary , Divyakant Agrawal , Amr El Abbadi
View on arXiv ↗ PDF ↗

Abstract

This paper presents TXSC, a framework that provides smart contract developers with transaction primitives. These primitives allow developers to write smart contracts without the need to reason about the anomalies that can arise due to concurrent smart contract function executions.

Keywords

smart contract blockchain

Cite

@article{arxiv.1909.06494,
  title  = {Transactional Smart Contracts in Blockchain Systems},
  author = {Victor Zakhary and Divyakant Agrawal and Amr El Abbadi},
  journal= {arXiv preprint arXiv:1909.06494},
  year   = {2019}
}

Related papers

View all related →
Cryptography and Security · Computer Science
Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach
Nodirbek Korchiev, Akash Pateria, Vodelina Samatova, Sogolsadat Mansouri +1
2024-11-06
Distributed, Parallel, and Cluster Computing · Computer Science
Adding Concurrency to Smart Contracts
Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017-02-16
Programming Languages · Computer Science
A true concurrent model of smart contracts executions
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020-04-28
Cryptography and Security · Computer Science
Transaction Monitoring of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
2022-07-11
Computers and Society · Computer Science
A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange
Henry Kim, Marek Laskowski
2018-01-09
Logic in Computer Science · Computer Science
Monitoring the Future of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
2024-01-23
Software Engineering · Computer Science
An Overview on Smart Contracts: Challenges, Advances and Platforms
Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Weili Chen +3
2019-12-24
Cryptography and Security · Computer Science
A Systematic Literature Review on Smart Contracts Security
Harry Virani, Manthan Kyada
2022-12-19
Computers and Society · Computer Science
Blockchain-based Smart Contracts - Applications and Challenges
Yining Hu, Madhusanka Liyanage, Ahsan Mansoor, Kanchana Thilakarathna +2
2019-06-11
Logic in Computer Science · Computer Science
Multi: a Formal Playground for Multi-Smart Contract Interaction
Martán Ceresa, César Sánchez
2022-07-15
Cryptography and Security · Computer Science
Towards Cross-Blockchain Smart Contracts
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski
2021-06-29
Cryptography and Security · Computer Science
An empirical analysis of smart contracts: platforms, applications, and design patterns
Massimo Bartoletti, Livio Pompianu
2018-06-21
Distributed, Parallel, and Cluster Computing · Computer Science
The Smart Contract Model
Yackolley Amoussou-Guenou, Maurice Herlihy, Sucharita Jayanti, Maria Potop-Butucaru +1
2025-02-11
Quantum Physics · Physics
Smart contracts meet quantum cryptography
Andrea Coladangelo
2019-07-04
Cryptography and Security · Computer Science
Towards Secure and Trusted-by-Design Smart Contracts
Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci-Piergiovanni
2024-03-26
Computers and Society · Computer Science
NECTAR: Non-Interactive Smart Contract Protocol using Blockchain Technology
Alexandra Covaci, Simone Madeo, Patrick Motylinski, Stéphane Vincent
2018-03-14
Cryptography and Security · Computer Science
How Do Smart Contracts Benefit Security Protocols?
Rujia Li, Qin Wang, Qi Wang, David Galindo
2022-04-21
Computers and Society · Computer Science
On and Off-Blockchain Enforcement Of Smart Contracts
Carlos Molina-Jimenez, Ellis Solaiman, Ioannis Sfyrakis, Irene Ng +1
2018-05-03
Software Engineering · Computer Science
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu +1
2021-04-20
Cryptography and Security · Computer Science
BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez +1
2025-01-30
Distributed, Parallel, and Cluster Computing · Computer Science
Smart Contracts on the Move
Enrique Fynn, Alysson Bessani, Fernando Pedone
2020-04-24
Cryptography and Security · Computer Science
Parallel and Asynchronous Smart Contract Execution
Jian Liu, Peilun Li, Raymond~Cheng, N. Asokan +1
2023-06-09
Software Engineering · Computer Science
Smart Contracts for SMEs and Large Companies
C. G. Liu, P. Bodorik, D. Jutla
2025-05-29
Software Engineering · Computer Science
Smart Contracts Formal Verification: A Systematic Literature Review
Rene Davila, Everardo Barcenas, Rocio Aldeco-Perez
2025-10-22
Cryptography and Security · Computer Science
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo +2
2023-04-19
R2 v1 2026-06-23T11:15:06.444Z