Well there you go, Wikipedia confirms that IP = PSPACE, and furthermore that if some assumptions hold about one-way functions, then zero knowledge IP = IP = PSP

Well there you go, Wikipedia confirms that IP = PSPACE, and furthermore that if some assumptions hold about one-way functions, then zero knowledge IP = IP = PSPACE. Thanks for your correction. https://en.wikipedia.org/wiki/IP_(complexity) https://en.wikipedia.org/wiki/IP_(complexity)