Glider from the game of Life, rising from the left

Unity

Archives

Blogroll

Topic: #formal-verification

Smart Contracts with Bugs

2018-03-06⊺15:35:08-06:00

In a search of 970,898 live “smart” contracts on the Ethereum blockchain, using a new tool for formal verification, some researchers found 34,200 that have serious bugs resulting in (a) money (well, Ether cryptocurrency) held in escrow becoming permanently inaccessible to all parties; (b) money becoming available on demand to any Ethereum user; or (c) any Ethereum user being able to terminate the contract (again leaving all escrowed money inaccessible). Many of the buggy contracts were duplicates, but there were 2,365 non-duplicate bugs in the contracts examined.

“Finding the Greedy, Prodigal, and Suicidal Contracts at Scale”
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor, arXiv, February 16, 2018
https://arxiv.org/pdf/1802.06038.pdf

#cryptocurrency #formal-verification #smart-contracts

Hashtag index

This work is licensed under a Creative Commons Attribution-ShareAlike License.

Atom feed

John David Stone (havgl@unity.homelinux.net)

created June 1, 2014 · last revised December 10, 2018