问电路在ZK-SNARKS中的作用是什么？
EN

Cryptography用户

提问于 2018-12-21 16:14:04

回答 1查看 1.7K关注 0票数 2

在ZK中，电路扮演什么角色？它是在验证者和验证者的机器上执行的吗？如果是这样的话，您将如何编写程序来检查一个值是否大于另一个值？

回答已采纳

发布于 2018-12-21 18:38:31

从技术上讲，双方都不需要对电路进行评估。

双方共享电路C、输出值y和潜在的一些输入值x_1\dots,x_\ell的描述。验证器向验证者证明他们知道额外的秘密输入s_1,\dots,s_n，这样，如果要对输入x_1\dots,x_\ell,s_1,\dots,s_n上的电路C进行评估，结果将是y。也就是说，

C(x_1\dots,x_\ell,s_1,\dots,s_n)=y.

知识属性的论证保证了验证者必须真正知道所述输入才能使验证者信服。零知识属性保证验证者从交换中学不到任何东西，除了上面的陈述是真实的。特别是，验证者不了解有关s_1,\dots,s_n的任何信息。

票数 5

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

原文链接：

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

复制

相似问题

问电路在ZK-SNARKS中的作用是什么？EN