153k Ether Stolen in Parity Multi-Sig Attack

Re:153k Ether Stolen in Parity Multi-Sig Attack by youdontknowtho on Wednesday July 19, 2017 @09:05PM (#14809320)

I like your point about language complexity. Can you point to a language that would fit the simple and verified criteria? I don't really follow the subject, so it would be interesting reading.

[ Parent | on HN ]

Re:153k Ether Stolen in Parity Multi-Sig Attack by munin on Wednesday July 19, 2017 @10:21PM (#14809612)

You could take inspiration from a system like Dafny or F-* and write your contracts with the assistance of a type system and compiler that generated proofs that your contracts satisfied some postcondition given a precondition. People have already written moderately complicated applications like operating systems in these languages, so there's some evidence they could be applied to contracts on the blockchain.

[ Parent | on HN ]

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 ]