Transactional Smart Contracts in Blockchain Systems
Victor Zakhary, Divyakant Agrawal, Amr El Abbadi

TL;DR
This paper introduces TXSC, a framework that offers transaction primitives to simplify smart contract development by managing concurrency issues in blockchain systems.
Contribution
The paper presents a novel framework, TXSC, enabling developers to write concurrent smart contracts without handling anomalies.
Findings
TXSC effectively manages concurrency in smart contracts.
Developers can write safer smart contracts with TXSC.
Improves reliability of blockchain smart contract execution.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Digital Platforms and Economics · FinTech, Crowdfunding, Digital Finance
