Granted, but that is less the issue.
(and BTW SCIP can also deterministically verify what those nodes are running)

In this thread we are sort of assuming that it works, the issue is more about what happens when it works.


At another level "Computational Integrity Verification" is sort of a CompSci holy grail.  Things like "The end of virus", "perfect chip testing", and lots of other breakthroughs will come from this, essentially it hails the end of analog (and there is a whole lot of that in computer engineering)  It is not a small thing.


So in one sense, Bitcoin is the very best thing that it can be applied to and should be first.
However... we have to recognize that it is entirely experimental.  And it does a lot.
It is Robert Oppenheimer level impact on the world of computing.