News for hackers. Stuff that matters.

A comment on 153k Ether Stolen in Parity Multi-Sig Attack. Parent comment

Re:153k Ether Stolen in Parity Multi-Sig Attack by pimeys on Thursday July 20, 2017 @04:21AM (#14810837)
There is some research using dependent types in the Idris language to build safe smart contracts. The earlier discussion (quite limited sadly):

https://news.ycombinator.com/item?id=12130282

[ Parent | on HN ]
Re:153k Ether Stolen in Parity Multi-Sig Attack by posterboy on Thursday July 20, 2017 @03:08PM (#14815402)
idris is not exactly simple, is it?
[ Parent | on HN ]