dus, hmm, we vertrouwen op firmware die we niet kunnen inspecteren, compilers die we niet bouwen, gesloten-source LLM's, propriëtaire enclaves, externe updates, enz. Elk van deze lagen is een doelwit en er zullen er in de komende jaren/decennia meer bij komen. In een wereld die zo complex is (en jongens, deze complexiteit hebben we zelf gecreëerd!), hoe verifiëren we überhaupt dat we veilig zijn? Als je het mij vraagt, is verificatie nog nooit zo cruciaal of zo onmogelijk geweest.