Penger, strømnett, fabrikker, medisinske journaler, valg er alle bare programvare som kan hackes, feilkonfigureres eller stille endres. KI oversvømmer disse systemene med syntetisk støy. Nullkunnskapsbevis er den første virkelige måten å bevise hva datamaskiner faktisk gjør på. Bevis gjør vilkårlig beregning om til kryptografiske fakta: små objekter som sier «denne prosessen kjørte korrekt på disse dataene», uten å eksponere selve dataene. ZK gjør datamaskiner om til sannhetsmaskiner.