quindi, hmm, ci affidiamo a firmware che non possiamo ispezionare, compilatori che non costruiamo, LLM chiusi, enclave proprietarie, aggiornamenti remoti, ecc. Ognuno di questi strati è un obiettivo e altri si uniranno nei prossimi anni/decenni. In un mondo così complesso (e ragazzi, questa complessità è frutto della nostra creazione!), come possiamo anche verificare di essere al sicuro? Se me lo chiedi, la verifica non è mai stata così critica o così impossibile.