Transactional Smart Contracts in Blockchain Systems

09/14/2019
by   Victor Zakhary, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/18/2019

Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

Tezos is a blockchain launched in June 2018. It is written in OCaml and ...
research
01/22/2021

Probabilistic Framework For Loss Distribution Of Smart Contract Risk

Smart contract risk can be defined as a financial risk of loss due to cy...
research
05/17/2019

Concurrency Protocol Aiming at High Performance of Execution and Replay for Smart Contracts

Although the emergence of the programmable smart contract makes blockcha...
research
02/14/2019

Smart contracts meet quantum cryptography

We put forward the idea that classical blockchains and smart contracts a...
research
04/06/2021

Bandcoin: Using Smart Contracts to Automate Mobile Network Bandwidth Roaming Agreements

We propose a new way to share licensed spectrum bandwidth capacity in mo...
research
02/22/2021

SigVM: Toward Fully Autonomous Smart Contracts

This paper presents SigVM, a novel blockchain virtual machine that suppo...
research
08/05/2021

Protocol-based Smart Contract Generation

The popularity of smart contracts is on the rise, yet breaches in reliab...

Please sign up or login with your details

Forgot password? Click here to reset