1/ Normaalisti, kun malli sanoo "tässä on tulos", täytyy luottaa siihen, että se toimi oikein. Päättelytodistuksen avulla järjestelmä tuottaa kryptografisen todistuksen siitä, että laskenta todella tapahtui.

2/ Ei "luota minuun, kaveri". Ei "tässä ovat lokit". Vain: tämä malli toimi tällä syötteellä, ja tässä on todiste.