3 ms·
Well it was a ton of work to get ethereum out the door... Adding a couple more years to formally prove everything first sounds like the perfect way to be stuck
by drcode 9y ago
Well it was a ton of work to get ethereum out the door... Adding a couple more years to formally prove everything first sounds like the perfect way to be stuck in development limbo forever. As you say, formal methods are being applied after the fact to some degree at least.
- nextos 9y agoI think it is a common misconception that formal methods will lead to an extremely slow development cycle. That is only the case if you go for the best guarantee of correctness: Theorem Proving. There are more agile options. For example, model checking all protocols is pretty easy in comparison to theorem proving. Still a significant effort, but perhaps an order of magnitude easier.