AI is pas een paar korte jaren aanwezig. Maar in die tijd hebben modellen bijna volledig in het duister geopereerd. Inferenties zonder bewijzen. Modellen met weinig tot geen verantwoordelijkheid. Vertrouwen zonder verificatie. Met ZK-bewijzen komt er een einde aan die tijd.