Defensiesystemen ondergaan een structurele verschuiving. Software, autonomie en AI zijn nu ingebed in surveillance, missieplanning, communicatie en command-and-control. Deze systemen ondersteunen beslissingen niet alleen meer, ze nemen ze.

2/ Naarmate de operationele verantwoordelijkheid verschuift naar software, verandert de standaard voor vertrouwen. Prestaties alleen zijn niet langer voldoende. Missiesystemen moeten in staat zijn om correctheid, integriteit en naleving aan te tonen, allemaal met machinesnelheid en onder vijandige omstandigheden.

3/ Traditionele verzekeringsmodellen schalen niet naar deze realiteit. Pre-deployment testen gaat uit van statisch gedrag. Post-missie beoordeling gaat uit van tijd om te onderzoeken. Geen van beide werkt wanneer AI-gedreven beslissingen onmiddellijk door live systemen worden verspreid.

4/ Dit is waar cryptografische verificatie essentieel wordt. In plaats van aan te nemen dat een AI-model correct heeft gehandeld, kunnen systemen wiskundig bewijs genereren dat berekeningen zijn uitgevoerd op geautoriseerde invoer, goedgekeurde logica hebben gevolgd en operationele beperkingen hebben gerespecteerd.

5/ Voor verdediging is dit geen compliancefunctie -- het is een systeemvereiste. Avionica-ondersteuning, sensorfusie, C4ISR-analyse, autonome verkenning en missieplanning vereisen allemaal outputs die geverifieerd kunnen worden, niet slechts vertrouwd.

6/ Verificatie verandert ook de dynamiek van coalities. Cryptografische bewijzen stellen partners in staat om uitkomsten te valideren zonder ruwe telemetrie, modelgewichten of geclassificeerde gegevens te delen -- waardoor interoperabiliteit mogelijk is zonder soevereiniteit in gevaar te brengen.

7/ Even belangrijk is de integriteit van de levenscyclus. Van ontwikkeling tot implementatie en na-actie beoordeling, creëren bewijzen een tamper-evident record van hoe systemen zich gedroegen -- ter ondersteuning van certificering, controleerbaarheid en naleving van de regels voor betrokkenheid.

8/ Autonomie wordt onvermijdelijk in moderne defensie. De echte vraag is of die autonomie verantwoordelijk kan blijven onder druk. De toekomstige defensie-stack zal niet alleen worden gedefinieerd door wat systemen kunnen doen, maar ook door wat ze kunnen bewijzen dat ze hebben gedaan.