Mudámos de "Não ser mau" (Google) para "Não pode ser mau" (Bitcoin). O Padrão de Prova leva-nos a "Não pode ser falso" (STARKs).