 |
HAL-CNRSCNRS scientific publications |
 |
- Home
- Submit
- Search
-
CNRS Laboratory Collections
-
By Delegation
- DR 01 - Ile de France Villejuif
- DR 02 - Paris Centre
- DR 04 - Ile de France Gif sur Yvette
- DR 05 - Ile de France Meudon
- DR 06 - Centre Est
- DR 07 - Rhône Alpes
- DR 08 - Centre Limousin Poitou Charentes
- DR 10 - Alsace
- DR 11 - Alpes
- DR 12 - Provence et Corse
- DR 13 - Occitanie Est
- DR 14 - Occitanie Ouest
- DR 15 - Aquitaine
- DR 16 - Paris Michel Ange
- DR 17 - Bretagne et Pays de la Loire
- DR 18 - Hauts de France
- DR 19 - Normandie
- DR 20 - Côte d’Azur
-
By Institute
- IN2P3 - Institut de Physique Nucléaire et de Physique des Particules
- INC - Institut de Chimie
- INP - Institut de Physique
- INEE - Institut Ecologie et Environnement
- INSB - Institut des Sciences Biologiques
- INS2I - Institut des Sciences de l'Information et de leurs Interactions
- INSHS - Institut des Sciences Humaines et Sociales
- INSIS - Institut des Sciences de l'Ingénierie et des Systèmes
- INSMI - Institut des Sciences Mathématiques et de leurs Interactions
- INSU - Institut des Sciences de l'Univers
- DGDS - Direction Générale Déléguée à la Science
-
By Delegation
-
Browse
- Browse by author
- By doctype
- Browse by domain
-
By Delegation - Laboratory Collections
- DR 01 - Ile de France Villejuif
- DR 02 - Paris Centre
- DR 04 - Ile de France Gif sur Yvette
- DR 05 - Ile de France Meudon
- DR 06 - Centre Est
- DR 07 - Rhône Alpes
- DR 08 - Centre Limousin Poitou Charentes
- DR 10 - Alsace
- DR 11 - Alpes
- DR 12 - Provence et Corse
- DR 13 - Occitanie Est
- DR 14 - Occitanie Ouest
- DR 15 - Aquitaine
- DR 16 - Paris Michel Ange
- DR 17 - Bretagne et Pays de la Loire
- DR 18 - Hauts de France
- DR 19 - Normandie
- DR 20 - Côte d’Azur
-
By Institute - Laboratory Collections
- IN2P3 - Institut de Physique Nucléaire et de Physique des Particules
- INC - Institut de Chimie
- INP - Institut de Physique
- INEE - Institut Ecologie et Environnement
- INSB - Institut des Sciences Biologiques
- INS2I - Institut des Sciences de l'Information et de leurs Interactions
- INSHS - Institut des Sciences Humaines et Sociales
- INSIS - Institut des Sciences de l'Ingénierie et des Systèmes
- INSMI - Institut des Sciences Mathématiques et de leurs Interactions
- INSU - Institut des Sciences de l'Univers
- DGDS - Direction Générale Déléguée à la Science
- Documentation
- My tools
- OA in practice
Conference papers
Blockchain Abstract Data Type
Emmanuelle Anceaume
1
Antonella del Pozzo
2
Romaric Ludinard
3
Maria Potop-Butucaru
4
Sara Tucci-Piergiovanni
2
1
CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Emmanuelle Anceaume 1
Mail : Site :
Author IdHAL : emmanuelle-anceaume
Antonella del Pozzo 2
Author
Romaric Ludinard 3
Mail :
Author IdHAL : rludinard ORCID : https://orcid.org/0000-0002-4997-4813
Maria Potop-Butucaru 4
Mail :
Author
Sara Tucci-Piergiovanni 2
Author
1
CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition (France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D1 - SYSTÈMES LARGE ÉCHELLE (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
2
LIST - Laboratoire d'Intégration des Systèmes et des Technologies (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
3
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
4
NPA - Networks and Performance Analysis (France)
- LIP6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France)
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France)
Abstract : The presented work continues the line of recent distributed computing community efforts dedicated to the theoretical aspects of blockchains. This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them. Our work is based on an original oracle-based construction that, along with new consistency definitions, captures the eventual convergence process in blockchain systems. The paper presents as well some results on implementability of the presented abstractions and a mapping of representative existing blockchains from both academia and industry in our framework.
Complete list of metadatas
https://hal-cnrs.archives-ouvertes.fr/hal-02380364
Contributor : Emmanuelle Anceaume <>
Submitted on : Tuesday, November 26, 2019 - 1:06:33 PM
Last modification on : Wednesday, April 8, 2020 - 3:53:30 PM
Contributor : Emmanuelle Anceaume <>
Submitted on : Tuesday, November 26, 2019 - 1:06:33 PM
Last modification on : Wednesday, April 8, 2020 - 3:53:30 PM
File
mainSPAA-hal.pdf
Files produced by the author(s)
Identifiers
- HAL Id : hal-02380364, version 1
- DOI : 10.1145/3323165.3323183
Collections
CNRS | UNIV-RENNES1 | CEA | CEA-UPSAY | SUP_CIDRE | CENTRALESUPELEC | INRIA | DRT | UNIV-RENNES | LIST | IRISA | UNIV-PARIS-SACLAY | UR1-UFR-ISTIC | SORBONNE-UNIVERSITE | LIP6 | SU-SCIENCES | INSTITUT-TELECOM
Citation
Emmanuelle Anceaume, Antonella del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Blockchain Abstract Data Type. SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2019, Phoenix, Arizona, United States. pp.349-358, ⟨10.1145/3323165.3323183⟩. ⟨hal-02380364⟩
Metrics
Record views
159
Files downloads
