Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions
The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.
- 1.Ethereum. https://www.ethereum.org
- 3.Hern, A.: \$300m in cryptocurrency accidentally lost forever due to bug, November 2017. Appeared at The Guardian https://www.theguardian.com/technology/2017/nov/08/cryptocurrency-300m-dollars-stolen-bug-ether
- 4.Mix. Ethereum bug causes integer overflow in numerous ERC20 smart contracts (update) (2018). Appeared at HardFork https://thenextweb.com/hardfork/2018/04/25/ethereum-smart-contract-integer-overflow/
- 5.Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. White Paper (2009) https://bitcoin.org/bitcoin.pdf
- 6.Qureshi, H.: A hacker stole \$31M of Ethereum – how it happened, and what it means for Ethereum (2017). Appeared at FreeCodeCamp https://medium.freecodecamp.org/a-hacker-stole-31m-of-ether-how-it-happened-and-what-it-means-for-ethereum-9e5dc29e33ce