IZK

Interactive Zero-Knowledge (IZK) proof is another type of zero-knowledge proof system, in which the proof consists of a multi-round protocol between the prover and verifier. They are also called designed verifier zero-knowledge protocols. They are complements of zk-SNARKs/zk-STARKs.

IZK enjoys the following benefits, and we believe it will become a key building block for Web3 applications with the advantages including:

• Scalable for large statements.
• Cheap computation and memory cost.
• No trusted setup.

With the requirement of "more interactions" -- the prover and the verifier execute multiple rounds of communications. The interactions are quite like the ones in MPC (Secure Multi-Party Computation), for which in fact the cutting-edge IZK algorithms are built from MPC.