Denne monografien fokuserer på verifiserbar databehandling (VC), et viktig område innen kryptografi. VC omfatter interaktive bevis (IPs) og argumenter som gir en provessor muligheten til å forsikre en verifier om at vedkommende har utført en ønsket beregning korrekt. Boken tar for seg ulike begreper knyttet til matematiske bevis og deres anvendelser innen informatikk og kryptografi. Kort sagt, et bevis er en metode for å overbevise noen om gyldigheten av en påstand, mens et 'bevis-system' er en prosedyre for å avgjøre hva som utgjør et overbevisende bevis. Introduksjonen av interaktive bevis og argumenter på 1980-tallet representerte en betydelig utvidelse av hva som kan betraktes som et 'bevis' for at en påstand er sann. Tradisjonelt har bevis vært statiske objekter som enkelt kan kontrolleres steg for steg for nøyaktighet. I kontrast tillater interaktive bevis interaksjon mellom provessor og verifier, i tillegg til en minimal, men ikke-null sannsynlighet for at et ugyldig bevis kan passere verifiseringen. Argumenter, men ikke interaktive bevis, gjør det også mulig å håndtere situasjoner som tidligere var utenfor rekkevidde for tradisjonelle bevismetoder.
