CZK = IP

CZK is equal to IP.

Statement

Migrated verbatim from computational-zero-knowledge § Known relationships:

• And, in fact CZK actually equals IP = PSPACE — BGG+90

Notes

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

class: free because a containment between complexity classes is proved by any argument at all; the reduction-class axis does not discriminate here, and unstated would wrongly suggest the information is missing.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• THE CHAIN DOES NOT DECOMPOSE AS RECORDED: the OWF hypothesis is silently dropped; BGG+90 needs bit commitments, hence one-way functions, and as a standalone unconditional equality CZK = IP is FALSE.
• TYPING LOSS: the equality reads as a one-way inclusion once split.
• Duplicates line 27 sub-edge 1.