1/ Normalmente, quando um modelo diz "aqui está o resultado", você precisa confiar que ele rodou corretamente. Com a Prova de Inferência, o sistema produz provas criptográficas de que o cálculo realmente aconteceu.

2/ Não "confia em mim, mano". Não "aqui estão os troncos". Só: esse modelo rodou, com essa entrada, e aqui está a prova.