Passamos de "Não seja mau" (Google) para "Não pode ser mau" (Bitcoin). O Padrão da Prova nos leva ao "Não pode ser falso" (STARKs).