4 ms·
> IP is currently believed to be a subset of PSPACE. IP is _known_ to be _equal_ to PSPACE
by tooltower 5y ago
> IP is currently believed to be a subset of PSPACE.
IP is _known_ to be _equal_ to PSPACE
- Kranar 5y agoWell 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)