Komputasi yang dapat diverifikasi adalah komputasi yang dapat diverifikasi dengan rasa manis yang dibutuhkannya. Sama seperti Anda tidak perlu memeriksa setiap benih untuk mengetahui bahwa buah beri itu manis, Anda dapat mengetahui bahwa buktinya benar tanpa mengetahui rahasia dalam kode ;)