Re:Ethereum Sharding FAQ
by drcode on Wednesday April 25, 2018 @05:36PM
(#16926430)
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.
[ Parent
| on HN ]
I 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.