Así que, hmm, dependemos de firmwares 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 o décadas. En un mundo tan complejo (¡y chicos, esta complejidad es culpa nuestra!), ¿cómo verificamos siquiera que estamos a salvo? Si me preguntas, la verificación nunca ha sido tan crítica ni tan imposible.