então, hmm, dependemos de firmware que não podemos inspecionar, compiladores que não construímos, 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 pessoal, essa complexidade é obra nossa!), como podemos até verificar se estamos seguros? Se me perguntarem, a verificação nunca foi tão crítica ou tão impossível.