Zero Knowledge Proofs, Zero Knowledge, Zksnark, Crytocurrency, Zkp.
Oracle Proofs (IOP) Interactive Oracle Proofs are an information theoretic model that operate on a number of idealized assumptions such as unbounded computation ability of the prover/verifier or that the prover/verifier must operate on without communicating with other parties during the execution