Smart contracts are blockchain programs that often handle valuable assets.
Cryptography and Security Software Engineering
To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tools using two new datasets: i) a dataset of 69 annotated vulnerable smart contracts that can be used to evaluate the precision of analysis tools; and ii) a dataset with all the smart contracts in the Ethereum Blockchain that have Solidity source code available on Etherscan (a total of 47, 518 contracts).
Software Engineering
We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2. 0 beacon chain.
Cryptography and Security 68W15
Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed to solve this issue.
Cryptography and Security Social and Information Networks
Recently, two attacks were presented against Proof-of-Stake (PoS) Ethereum: one where short-range reorganizations of the underlying consensus chain are used to increase individual validators' profits and delay consensus decisions, and one where adversarial network delay is leveraged to stall consensus decisions indefinitely.
Cryptography and Security
Decentralization has been widely acknowledged as a core virtue of blockchains.
Cryptography and Security Databases
In this paper, we present ChaosETH, a chaos engineering approach for resilience assessment of Ethereum blockchain clients.
Software Engineering Cryptography and Security
Participation in permissionless blockchains results in competition over system resources, which needs to be controlled with fees.
Computer Science and Game Theory Cryptography and Security Dynamical Systems 91A80, 91-10, 91B26
The specificity of Caterpillar is that the state of each process instance is maintained on the (Ethereum) blockchain and the workflow routing is performed by smart contracts generated by a BPMN-to-Solidity compiler.
Software Engineering
EIP-1559 utilizes an algorithmic update rule with a constant learning rate to estimate a base fee.
Computer Science and Game Theory Multiagent Systems Social and Information Networks Dynamical Systems 91A80, 91-10, 91B26
