2 ms·Why would you do that? Proof verification is pretty much a solved problem.by rowanG077 4y agoWhy would you do that? Proof verification is pretty much a solved problem.