Re:Ethereum Sharding FAQ
by rickycook on Wednesday April 25, 2018 @06:31PM
(#16926928)
well, that would be tooling though. you wouldn’t say that x86 is missing formal methods therefor you shouldn’t use it right...
solidity, etc sure maybe... but at that point, releasing early is probably a good thing so that you can get a whole community working on things and getting ideas and collaboration from a large group of people
*edit: unless you mean like geth, or some minimal reference client should be formally proven
Re:Ethereum Sharding FAQ
by tfha on Thursday April 26, 2018 @01:22AM
(#16929029)
Well, a lot of x86 actually does get proven using formal methods. Clearly not all of it, but we've realized that was a bad plan, and that we should go back to formally verifying all of our hardware.
solidity, etc sure maybe... but at that point, releasing early is probably a good thing so that you can get a whole community working on things and getting ideas and collaboration from a large group of people
*edit: unless you mean like geth, or some minimal reference client should be formally proven