Så, hmm, vi förlitar oss på firmware vi inte kan inspektera, kompilatorer vi inte bygger, slutna LLM:er, proprietära enklaver, fjärruppdateringar osv. Varje lager är ett mål och fler kommer att ansluta sig under de kommande åren/decennierna. I en värld så här komplex (och den här komplexiteten är vår egen skapelse!), hur verifierar vi ens att vi är säkra? Om du frågar mig har verifiering aldrig varit mer kritisk eller omöjlig.