I think this only makes sense to use when it's very many users are interested in the output, because generating such a proof can be orders of magnitude costlier than just running the code.