At least for some problems, you need very little trust. For example, you don&#x27;t have to trust software for sorting your stuff, because checking that something is correctly sorted is very easy. There is an entire field of algorithms that produce answer that are easy to check, it&#x27;s called Certifying Algorithms.<p>Unfortunately that doesn&#x27;t really work if you have to trust your software _not_ to do tasks that you don&#x27;t want done, like sending your personal stuff to a third party.