Ethreums Parity Hacked. Half Million Ether(150M USD) Frozen (trustnodes.com) 29 points by abhutra 8y ago ↗ HN
[–] Geee 8y 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 8y 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
[–] hdhzy 8y 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
4 comments
[ 894 ms ] story [ 943 ms ] threadFor 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