You might be interested in this: https://en.wikipedia.org/wiki/Verifiable_computing