Så, hmm, vi er avhengige av fastvare vi ikke kan inspisere, kompilatorer vi ikke bygger, lukkede LLM-er, proprietære enklaver, fjernoppdateringer osv. Hvert av disse lagene er et mål, og flere vil bli med i årene eller tiårene som kommer. I en så kompleks verden (og folkens, denne kompleksiteten er vår egen skapelse!), hvordan kan vi i det hele tatt verifisere at vi er trygge? Hvis du spør meg, har verifisering aldri vært mer kritisk eller umulig.