Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen

Posted by abhutra on Tuesday November 07, 2017 @01:08PM
from the trustnodes.com dept.

http://www.trustnodes.com/2017/11/07/ethereums-parity-hacked-half-million-eth-frozen

( 4 comments | 29 points | on HN )

Re:Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen by sciyoshi on Tuesday November 07, 2017 @01:44PM (#15646224)

See also discussion at https://news.ycombinator.com/item?id=15642856

[ Parent | on HN ]

Re:Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen by ecesena on Tuesday November 07, 2017 @01:44PM (#15646222)

Discussion: https://news.ycombinator.com/item?id=15642856

[ Parent | on HN ]

Re:Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen by Geee on Tuesday November 07, 2017 @01:53PM (#15646315)

This is exactly what Cardano is trying to avoid with Haskell based smart contract language and formal verification. https://cardanodocs.com/technical/plutus/introduction/

[ Parent | on HN ]

Re:Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen by hdhzy on Tuesday November 07, 2017 @02:00PM (#15646374)

They are formally verified but pretty low level (just like Blockstream Simplicity).

For the record Bitcoin already contains a pretty simple but useful scripting language [0]. See [1] and [2] for some interesting scenarios utilizing Script.

[0]: https://en.bitcoin.it/wiki/Script

[1]: https://en.bitcoin.it/wiki/Contract

[2]: https://curiosity-driven.org/bitcoin-contracts

[ Parent | on HN ]