Adding concurrency to smart contracts
نویسندگان
چکیده
منابع مشابه
Adding Concurrency to Smart Contracts
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the sma...
متن کاملPersistent SR: Adding persistence to concurrency
The integration of concurrency and distribution into persistent programming languages has been long deferred and is proving sufficiently diflicult to still constitute an open research issue. By contrast other lines of language development have ignored persistence and focused on concurrency and distribution. In this paper we look at the problem from the other side and investigate the feasibility...
متن کاملAdding Concurrency to the Oberon System
The Oberon system, developed by Niklaus Wirth and J urg Gutknecht is unusual in that, although it has a "single process multitasking" window user interface, it does not support concurrent execution of programs. This approach yields a simple design and works surprisingly well, but it does have limitations of practical importance. In this report we describe a project, Concurrent Oberon, which in...
متن کاملAdding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will reflect a particular model of concurrency, or libraries of types and routines can be written with different libraries implementing different models. This paper examines the two approaches, for object-oriented and non-o...
متن کاملAdding Contracts to Java with Handshake
Contracts describe an agreement between the writer and the user of a class. Their use enhances programmer productivity and program reliability, especially in library code. Handshake provides contracts for Java classes and interfaces in the form of class invariants and method preand postconditions. Using Handshake, a programmer can add contracts to classes and interfaces without needing access t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Distributed Computing
سال: 2019
ISSN: 0178-2770,1432-0452
DOI: 10.1007/s00446-019-00357-z