机构名称：
¥ 1.0
在这里，我们要求一些不同的东西：我们希望供奉献者说服verifier供供者知道一些东西。供者说服verifier的x∈X还不够，因此y = f（x）。应确信verifier fifier知道这种解决方案x。我有时会在此处称x为“证人”。甚至开始构建这样的证明系统，我们首先必须回答一个哲学上的问题：“知道某事？”意味着什么？更具体地说，图灵机器“知道某事”是什么意思？在希望构建“知识证明”之前，我们需要定义知识。在这种情况下，加密摄影师为“知识”提出了非常聪明，非常自然的定义。这是事后显而易见的那些定义之一，但在您看到它之前一点都不明显。这个想法是要说一个供者“知道x”，如果它是类似的定义，可能同样适用于定义人类知识。在足够剧烈的相互作用下，可以从摊子中提取X。特别是，我们会说，如果有一种有效的算法，可以从任何贵族p ∗中“提取”证人x，从而使verifier具有良好的可能性“提取”证人x，我们会说一个交互式证明具有知识。为简单起见，我们将自己限制在供者发送第一个消息的三个移动协议中。我们会说，该协议是否可以从这对接受的成绩单中提取证人，可以满足知识的声音。这些有时称为“ Sigma协议”。在这三个移动协议中，我们可以考虑运行P ∗ for-ward以获取一个接受的成绩单（V，C，Z），然后将P ∗重新打开，直到Verifirer向其发出挑战的那一刻，然后在另一个挑战中再次进行挑战，以获得第二个笔录（V，C c'，z'）。
基于晶格的签名
主要关键词
相关文件推荐
