Smart Contract Languages: a comparative analysis

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, Zunino, Roberto
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914296620908544
author Bartoletti, Massimo
Benetollo, Lorenzo
Bugliesi, Michele
Crafa, Silvia
Sasso, Giacomo Dal
Pettinau, Roberto
Pinna, Andrea
Piras, Mattia
Rossi, Sabina
Salis, Stefano
Spanò, Alvise
Tkachenko, Viacheslav
Tonelli, Roberto
Zunino, Roberto
author_facet Bartoletti, Massimo
Benetollo, Lorenzo
Bugliesi, Michele
Crafa, Silvia
Sasso, Giacomo Dal
Pettinau, Roberto
Pinna, Andrea
Piras, Mattia
Rossi, Sabina
Salis, Stefano
Spanò, Alvise
Tkachenko, Viacheslav
Tonelli, Roberto
Zunino, Roberto
contents Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to developers, each with its distinctive features, strengths, and weaknesses. In this paper, we examine the smart contract languages used in major blockchain platforms, with the goal of providing a comprehensive assessment of their main properties. Our analysis targets the programming languages rather than the underlying architecture: as a result, while we do consider the interplay between language design and blockchain model, our main focus remains on language-specific features such as usability, programming style, safety and security. To conduct our assessment, we propose an original benchmark which encompasses a wide, yet manageable, spectrum of key use cases that cut across all the smart contract languages under examination.
format Preprint
id arxiv_https___arxiv_org_abs_2404_04129
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Smart Contract Languages: a comparative analysis
Bartoletti, Massimo
Benetollo, Lorenzo
Bugliesi, Michele
Crafa, Silvia
Sasso, Giacomo Dal
Pettinau, Roberto
Pinna, Andrea
Piras, Mattia
Rossi, Sabina
Salis, Stefano
Spanò, Alvise
Tkachenko, Viacheslav
Tonelli, Roberto
Zunino, Roberto
Cryptography and Security
Programming Languages
Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to developers, each with its distinctive features, strengths, and weaknesses. In this paper, we examine the smart contract languages used in major blockchain platforms, with the goal of providing a comprehensive assessment of their main properties. Our analysis targets the programming languages rather than the underlying architecture: as a result, while we do consider the interplay between language design and blockchain model, our main focus remains on language-specific features such as usability, programming style, safety and security. To conduct our assessment, we propose an original benchmark which encompasses a wide, yet manageable, spectrum of key use cases that cut across all the smart contract languages under examination.
title Smart Contract Languages: a comparative analysis
topic Cryptography and Security
Programming Languages
url https://arxiv.org/abs/2404.04129