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.