Verifiable computing

Verifiable computing is like a way to make sure that the computer is doing what it's supposed to do. Let's say that you wanted to make sure that the computer was doing math correctly. With verifiable computing, you can ask the computer to show you that it is doing math correctly by showing you all of the steps it is taking to get the answer. That way, you can be sure that the answer you get is correct.