1/ Normalmente, quando um modelo diz "aqui está o resultado", você tem que confiar que ele foi executado corretamente. Com a Prova de Inferência, o sistema produz uma prova criptográfica de que o cálculo realmente aconteceu.

2/ Não é "confia em mim, mano". Não é "aqui estão os logs". Apenas: este modelo foi executado, com esta entrada, e aqui está a prova.