Zero Knowledge Proofs, Zero Knowledge, Zksnark, Crytocurrency, Zkp.
We get a proof system after putting an IOP (which, if you remember, is just an idealized model) through a cryptographic compiler. Cryptographic compilers remove idealized assumptions of communication and utilize cryptographic primitives such as hash functions or elliptic curves to move an IOP into