así que, hmm, dependemos de firmware que no podemos inspeccionar, compiladores que no construimos, LLMs de código cerrado, enclaves propietarios, actualizaciones remotas, etc. Cada una de estas capas es un objetivo y más se unirán en los próximos años/décadas. En un mundo tan complejo (¡y chicos, esta complejidad es obra nuestra!), ¿cómo podemos siquiera verificar que estamos a salvo? Si me preguntas, la verificación nunca ha sido más crítica o más imposible.