UTxO- vs account-based smart contract blockchain programming paradigms

03/31/2020
by   Lars Brünjes, et al.
0

We implement two versions of a simple but paradigmatic smart contract: one in Solidity on the Ethereum blockchain platform, and one in Plutus on the Cardano platform, giving annotated code excerpts, with full source code also attached. We get a clearer view of the Cardano programming model in particular by introducing a simple but novel mathematical abstraction which we call idealised Cardano. For each version of the contract, we trace how the architectures of the underlying platforms and their mathematics affects the natural programming styles and natural classes of errors. We prove some simple but novel results about alpha-conversion and observational equivalence for the Cardano platform, and explain why Ethereum does not have them. We conclude with a wide-ranging and detailed discussion in the light of the examples, mathematical model, and mathematical results so far.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/26/2019

Mandala: A Smart Contract Programming Language

Smart contracts on a blockchain behave precisely as specified by their c...
research
05/04/2022

Secure Decentralized Online Gaming with Lending Functionalities

We present a decentralized online gaming platform implemented as a Decen...
research
11/21/2019

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

As a blockchain platform that has developed vigorously in recent years, ...
research
03/01/2022

Practical Mitigation of Smart Contract Bugs

In spite of their popularity, developing secure smart contracts remains ...
research
05/13/2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Ethereum has emerged as the most popular smart contract development plat...
research
05/13/2019

Ques-Chain: an Ethereum Based E-Voting System

Ethereum is an open-source, public, blockchain-based distributed computi...
research
10/10/2021

Securing music sharing platforms: A Blockchain-Based Approach

From online education and trading, all aspects of our lives are affected...

Please sign up or login with your details

Forgot password? Click here to reset