Filters








51,325 Hits in 7.6 sec

Generic Proofs of Consensus Numbers for Abstract Data Types

Edward Talmage, Jennifer Welch
unpublished
We consider general classes of abstract shared data types, and classify types of operations on those data types by the knowledge about past operations that processes can extract from the state of the shared  ...  Our results generalize the consensus numbers known for a wide variety of specific shared data types, such as compare-and-swap, augmented queues and stacks, registers, and cyclic queues.  ...  We would also like to thank the anonymous reviewers for their helpful comments.  ... 
fatcat:cpi25rrwavfx5mjnzqgxrh2owe

Eventual Wait-Free Synchronization [article]

Tong Che
2015 arXiv   pre-print
In particular, we define the concept of eventual consensus number of an abstract data type and prove that the eventual consensus number can be used as a good characterization of the synchronization power  ...  However, their behaviors in shared memory systems are so mysterious that very little general theoretical properties of them is known.  ...  Theorem 1 The eventual consensus number induces a hierarchy of abstract data types. For any abstract data type T , we have e r m (T ) ≤ c(T ).  ... 
arXiv:1512.08258v1 fatcat:p73byhww3fbu7ecymqffhhybpu

Blockchain abstract data type

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
2019 Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming - PPoPP '19  
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  ...  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.  ...  Contribution The main contribution of the paper is a formal unified framework providing blockchain consistency criteria that can be combined with oracle models in a proper hierachy of abstract data types  ... 
doi:10.1145/3293883.3303705 dblp:conf/ppopp/AnceaumePLPP19 fatcat:roxflox7ojeereih46pzpp3o34

Blockchain Abstract Data Type [article]

Emmanuelle Anceaume, Romaric Ludinard, Sara Tucci-Piergiovanni
2018 arXiv   pre-print
This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms  ...  The paper presents as well some results on implementability ofthe presented abstractions and a mapping of representative existing blockchains fromboth academia and industry in our framework.  ...  Acknowledgment We are grateful to Mathieu Perrin and anonymous reviewers for their insightful comments on a previous version of the current paper.  ... 
arXiv:1802.09877v2 fatcat:walq6ylb7benris27ofz7mcdgy

Blockchain Abstract Data Type

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
2019 The 31st ACM on Symposium on Parallelism in Algorithms and Architectures - SPAA '19  
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  ...  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.  ...  In the following we discuss Bitcoin and Redbelly, an interested reader can find the discussions for the other systems in the supplementary materials.  ... 
doi:10.1145/3323165.3323183 dblp:conf/spaa/AnceaumePLPP19 fatcat:6jpajvl5ybca5e36qqetbkno5u

A Service-Oriented Perspective on Blockchain Smart Contracts

Florian Daniel, Luca Guida
2019 IEEE Internet Computing  
For example, Xu et al. [7] propose the use of smart contracts as software connectors for reliable, decentralized data sharing, while Weber et al. [8] propose the integration of multiple smart contracts  ...  A consensus protocol enables the nodes of the blockchain network to create trust in the state of the log and makes blockchains inherently resistant to tampering [3] .  ...  Other notable consensus protocols are proof of elapsed time (Hyperledger Sawtooth), proof of importance (NEM), proof of state (Universa Blockchain Protocol), Raft-based consensus (Quorum), stream-processing  ... 
doi:10.1109/mic.2018.2890624 fatcat:lsebaq7wffetnkng2c4gcqgzne

A Scale-out Blockchain for Value Transfer with Spontaneous Sharding [article]

Zhijie Ren, Kelong Cong, Taico V. Aerts, Bart A.P. de Jonge, Alejandro F. Morais, Zekeriya Erkin
2018 arXiv   pre-print
Then, we introduce an off-chain based scheme with a shared main chain for consensus and an individual chain for each node for recording transactions.  ...  Firstly, we give a formal definition for the value-transfer ledger and its distinct features from a generic database.  ...  The authors would also like to thank Chiel Bruin and Karol Jurasinski from Delft University of Technology for the help in implementing the scheme and the anonymous reviewers for the insightful comments  ... 
arXiv:1801.02531v2 fatcat:bv525mu2fjhgnjonskx3aimgiy

Average Consensus in Numerical Taxonomy and Some Generalizations [chapter]

Jean-Pierre Barthélemy, François Brucker
2000 Studies in Classification, Data Analysis, and Knowledge Organization  
The NP-hardness of finding a consensus dissimilarity for a pyramid (also called an indexed pseudohierarchy) is also proved in the case of one of the two possible alternatives for generalized average consensus  ...  This paper is devoted to the notion of average consensus together with some generalizations involving Lp-norms.  ...  Generally speaking, the consensus problem in classification consists of aggregating several classifications of a given type on a set X (the data) into one classification of the same type (the consensus  ... 
doi:10.1007/978-3-642-58250-9_8 fatcat:ztslzobasng57oahh5yfr64unu

Editorial

UMUT A. ACAR, JAMES CHENEY, STEPHANIE WEIRICH
2012 Journal of functional programming  
The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems  ...  , and data compression.  ...  types, abstract types, general references, and continuation objects.  ... 
doi:10.1017/s0956796812000287 fatcat:p4ar6bigqbeu7bzybatzafvwk4

Design Pattern Elicitation Framework for Proof of Integrity in Blockchain Applications

Kawther Saeedi, Monirah Dakilallah Almalki, Dania Aljeaid, Anna Visvizi, Muhammad Ahtisham Aslam
2020 Sustainability  
Next, it provides a demonstration of the Proof of Integrity (PoI) pattern elicited from two different applications on the blockchain.  ...  The present study is one of the first investigations to inquire into design patterns for blockchain application.  ...  There are a number of consensus algorithms, which can be of three types, including a computation-based, a communication-based, and a hybrid type.  ... 
doi:10.3390/su12208404 fatcat:cieoh6xp5jdr3i6tzxlfnyxeue

A diversified and correct-by-construction broadcast service

Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, Robert L. Constable
2012 2012 20th IEEE International Conference on Network Protocols (ICNP)  
We use the Nuprl proof assistant to specify the service, prove correctness, and synthesize the code. The paper includes initial performance results.  ...  Our broadcast service allows for diversity in space, whereby the participants in the broadcast protocol run different code, as well as in time, whereby the protocol itself is changed periodically.  ...  High-level specifications are stated in terms of "high-level abstract data structures" [31] which get refined to concrete data structures.  ... 
doi:10.1109/icnp.2012.6459943 dblp:conf/icnp/RahliSRBC12 fatcat:owwh66ejcbhupazqvzlx2gfo3u

The Interblockchain Communication Protocol: An Overview [article]

Christopher Goes
2020 arXiv   pre-print
The protocol realises this by specifying the sufficient set of data structures, abstractions, and semantics of a communication protocol which once implemented by participating ledgers will allow them to  ...  IBC is designed for interoperation between heterogenous ledgers arranged in an unknown, dynamic topology, operating with varied consensus algorithms and state machines.  ...  Ports are not generally intended to be human-readable identifiers -just as DNS name resolution and standardised port numbers for particular applications exist to abstract away the details of IP addresses  ... 
arXiv:2006.15918v1 fatcat:mi6t3d42ubhrxirc2wirut6iai

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer

Robert L. Constable
2012 2012 27th Annual IEEE Symposium on Logic in Computer Science  
All generations of constructive type theory researchers since this beginning have had leaders from all three disciplines.  ...  Much of the seminal modern work creating these type theories and their proof assistants was presented in LICS proceedings, and LICS could be a natural home for future work in this flourishing area which  ...  We can protect protocols by formally generating a large number of logically equivalent variants, stored in an attack response library.  ... 
doi:10.1109/lics.2012.9 dblp:conf/lics/Constable12 fatcat:z2eihraz4zgjpk6mtc7asghyr4

A Multi-Transaction Mode Consortium Blockchain

Jiarui Zhang
2018 International Journal of Performability Engineering  
It extends the user type (not only the PC user), the storage type (not only local storage) and the storage content (not only the block data).  ...  MTMCB optimizes transaction verification, consensus decision, block generation, block storage, comparative verification and block linking mechanism.  ...  Acknowledgements This work was supported in part by Talent Fund Project of Hefei University (No. 14RC08) as well as the Ministry of Science and Technology of P.R China Innovation Fund for Technology based  ... 
doi:10.23940/ijpe.18.04.p19.765784 fatcat:3egxa756n5dofdi7yramtc63li

Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes

Achour Mostefaoui, Michel Raynal
2016 IEEE Transactions on Parallel and Distributed Systems  
Then the paper presents two consensus algorithms, which are reductions of multivalued consensus to binary consensus.  ...  The presentation of all the abstractions and their algorithms is done incrementally.  ...  Acknowledgments The authors want to thank the referees for their constructive comments. This work has been partially supported by the French ANR projects DISPLEXITY and DISCMAT.  ... 
doi:10.1109/tpds.2015.2427797 fatcat:jr25i6wzsvaclo7xrb7cwvd7ci
« Previous Showing results 1 — 15 out of 51,325 results