Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Towards Principled Compilation of Ethereum Smart Contracts (SoK)

Abstract : A blockchain is a tamper-proof distributed transaction registry; first popularized by Bitcoin [1], it has now been extended to support storage of arbitrary state and computations in-ledger. Ethereum [2] and its smart contract model have proven to be a very popular choice for this task, routinely managing assets valued in the billions. However, development of such contracts has been anything but easy. While formally specified, the Ethereum execution platform is based on a low-level machine, quite similar to assembly; semantics for contract operations such as call are quite complex, and the need for resource management creates unanticipated modes of failure. The dominant day-today programming platform for Ethereum is Solidity [3], an Object-Oriented language that identifies contracts with objects. While reasoning about Solidity programs is much easier than for their bytecode counterparts, it is not extent of challenges either, and moreover, Solidity lacks a source-level semantics, which forces developers to reason over output bytecode again. In this short paper we explore the main barriers to lift in order to achieve a principled compilation strategy for Solidity. We will review the standard concepts on verified and secure compilation, and frame them in the context of the Ethereum platform.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal-mines-paristech.archives-ouvertes.fr/hal-02434176
Contributeur : Claire Medrala <>
Soumis le : jeudi 9 janvier 2020 - 17:28:55
Dernière modification le : jeudi 24 septembre 2020 - 16:36:04
Archivage à long terme le : : samedi 11 avril 2020 - 12:39:26

Fichier

A-719 (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Emilio Jesús Gallego Arias. Towards Principled Compilation of Ethereum Smart Contracts (SoK). 10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019, Jun 2019, Iles Canaries, Spain. ⟨10.1109/NTMS.2019.8763856⟩. ⟨hal-02434176⟩

Partager

Métriques