3 ms·
Even if it's orders of magnitude slower, that should be okay, because you're not going to be using it for the hard job of finding a solution, only for the easy
by rwallace 12y ago
Even if it's orders of magnitude slower, that should be okay, because you're not going to be using it for the hard job of finding a solution, only for the easy job of verifying the solution once found. (I don't know much about Ethereum, so I don't know whether it has any arbitrary limits that would be a problem, but it should be okay.)
- infruset 12y agoWell, suppose what you want to check is a proof of the Riemann conjecture in Coq, this might take some substantial time. So whether it is fast could be relevant.