Fiat-Shamir启发式算法的零知识性

Question

我读过关于菲亚特-沙米尔启发式的文章，它将知识的交互证明转化为知识的非互动性证明。如果我把它应用于知识的零知识证明，在我看来，我似乎会摧毁模拟器，从而摧毁零知识。

菲亚特-沙米尔启发式会破坏零知识吗？如果是的话，就有可能绕开这条路？

链接到菲亚特-沙米尔启发式。

Answer 1

在随机预言模型中，证明了菲亚特-沙米尔变换保持了某些零知识族(知识的证明)协议(如西格玛协议) -参见第5节(第93，第00，FKMV12 12)的稳健性和零知识。用一个具体的散列函数实例化随机预言是一个困难得多的前景，但是最近在这个方向上也有一些工作--例如，最近从LWE构建的NIZK依赖于Fiat变换PS19的这样一个实例化。

零知识通常很容易显示--在非交互环境中，争论的正确性通常会导致问题。

BR93：Bellare和Rogaway：随机预言是实用的:一种设计有效协议的范式 FKMV12：Faust等人。关于菲亚特-沙米尔变换的非延展性

PS00：Pointcheval和Stern：数字签名和盲签名的安全论据

PS19：Peikert和Sheihan 来自(平原( LWE的NP的非交互零知识).