Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
forthcoming example below we will observe the extra power is the ability to rewind the prover P. Rewinding is a technique which reflects the core idea of programs: One can execute a program multiple times (think of calling a function) and it outputs the deterministic outcome, if one controls the