News for hackers. Stuff that matters.
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

There are no comments on this comment yet.