Live data from Hacker News

Deleting $300M by messing around with Ethereum contracts

hackernoon.com

1–10 of 45 posts

Re: Deleting $300M by messing around with Ethereum contracts

#6
The author mentions that turing complete contracts will have bugs in them eventually. While currently that happens, we do have formal verification methods in computer science. And thats exactly what people are trying to apply on Ethereum: Formally verified smart contracts. https://blog.ethereum.org/2016/06/19/thinking-smart-contract...

Re: Deleting $300M by messing around with Ethereum contracts

#7
Laic here: Could we not keep Solidity Turing complete as it is and just build a restricted framework on top that will be audited and not Turing complete and just encourage regular programmers to use the framework and its predefined audited functions instead for day to day contracts? Occasionally new tools could be developed in Solidity that will be carefully audited and aded as safe to the regulated framework.

Re: Deleting $300M by messing around with Ethereum contracts

#10

I just hope that poor guy can still sleep instead of lying awake at night, listening for the soft tapping of the assassins' padded steps on his bedroom floor. I can imagine someone out there is pretty unhappy with him.

on the bright side, that someone won't have any money left to pay assassins.
Post reply on HN