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

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

29 points by abhutra 8 years ago | 4 comments

sciyoshi 8 years ago |

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

ecesena 8 years ago |

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

Geee 8 years ago |

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

hdhzy 8 years ago | |

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