问不基于多项式的实用概率证明系统
EN

Cryptography用户

提问于 2019-09-09 05:24:16

回答 1查看 61关注 0票数 1

我所知道的所有实用的概率证明/论证系统都是基于有限域上的多项式恒等式检验。这些构造包括QAP、斯塔克斯、GKR和许多变体。特别是，它们都依赖于施瓦茨-齐佩尔引理，因此它们都发生在多项式设置中。

有些构造不是在多项式设置下发生的，例如基于扩展图的五氯苯酚。但是，无论是渐进的还是实际的，它们都是不切实际的。

是否有些构造不是在多项式设置下发生的，但仍然具有潜在的实用性？

回答已采纳

发布于 2019-09-09 08:48:48

你可以看一下Groth-Sahai证明系统，它是实用的，并且已经被很好的研究过，而且它对Schwarz-Zippel引理不可靠。但这取决于你想要证明的方程的形式。

票数 0

页面原文内容由Cryptography提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://crypto.stackexchange.com/questions/73164

复制

相似问题

问不基于多项式的实用概率证明系统EN