Pasamos de "No seas malvado" (Google) a "No puedes ser malvado" (Bitcoin). El Estándar de Demostración nos lleva a "No puede ser falso" (STARKs).