Então, hmm, dependemos de firmwares que não podemos inspecionar, compiladores que não montamos, LLMs de código fechado, enclaves proprietários, atualizações remotas etc. Cada uma dessas camadas é um alvo e mais se juntarão nos próximos anos/décadas. Em um mundo tão complexo (e gente, essa complexidade é nossa própria criação!), como podemos sequer verificar que estamos seguros? Se você me perguntar, a verificação nunca foi tão crítica nem tão impossível.