4 ms·
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
by munin 9y ago
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.
- deleted 9y ago[deleted]
- pimeys 9y agoThere 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 https://news.ycombinator.com/item?id=12130282
- posterboy 9y agoidris is not exactly simple, is it?