Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen
1–5 of 5 posts
Re: Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen
#2Discussion: https://news.ycombinator.com/item?id=15642856
Re: Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen
#3See also discussion at https://news.ycombinator.com/item?id=15642856
Re: Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen
#4This is exactly what Cardano is trying to avoid with Haskell based smart contract language and formal verification. https://cardanodocs.com/technical/plutus/introduction/
Re: Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen
#5This is exactly what Cardano is trying to avoid with Haskell based smart contract language and formal verification. https://cardanodocs.com/technical/plutus/introduction/
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