IP=CZK吗？ #106

Unanswered

kurtpan666 asked this question in Q&A（提问题在隔壁~）

kurtpan666
Jul 17, 2023
Maintainer

即，是否所有能被交互式证明系统证明的问题都可以被（计算）零知识地证明？

这篇88年的论文：Everything Provable is Provable in Zero-Knowledge 是否真的给了上述问题以肯定回答？

Replies: 1 comment

kurtpan666
Jul 19, 2023
Maintainer Author

PSPACE在ZK里面！！怎么似乎没人关心？

0 replies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment