Met ZK-cryptografie is het bewijzen van AI-uitvoer: → Snel (geen herhalingen van volledige berekeningen) → Efficiënt (compacte cryptografische bewijzen) → Schaalbaar (schaalt met moderne modellen) Lagrange's DeepProve maakt dit alles mogelijk voor AI-systemen die worden gebruikt in defensie, luchtvaart en daarbuiten.