回答情况：
提问时间：
问题标签：
我的问题是，Ethereum目前如何为zk-SNARKs的验证提供便利，而且，在这方面还计划采取什么进一步的步骤？就我个人而言，我怀疑由于Ethereum契约可以进行任意计算，用于执行zk-SNARKs的二次算术程序(QAP)一般会因应用程序的不同而大相径庭，因此提供更高级别的支持是不可行的。
浏览 0修改于2018-04-19得票数 5
我一直在读一些关于加密算法的文章。我遇到了这两个algorithms.My用例，它是处理加密数据的能力，我的数据将是字符串数据。我看到同态加密只适用于数字数据。是否必须使用zk和同态加密，或者两者中的一种可以使用？
用哪个用例？
浏览 0提问于2020-05-06得票数 0
回答已采纳
我可以用Zk-SNARKS来证明给定的秘密值比另一个公共值大吗？例如，证明secret_value >10。如果是这样的话，这样的电路会是什么样子呢？
我使用的是snarks.js，它使用电路文件。
浏览 0提问于2018-12-31得票数 3
回答已采纳
我知道，我们可以验证，给定一个私有输入a和一个公共输入b，我们可以验证a大于b。但是，如果我想保持这两个输入都是保密的呢？
背景是一个密封的拍卖，我们需要核实谁的私人投标人有最高的出价。我还没有看到任何如何实现这一目标的例子，但希望这里有人能帮助我朝着正确的方向前进。
浏览 0修改于2021-06-13得票数 1
回答已采纳
我的理解是，Zk-SNARKs (和一般的零知识证明)可以用来证明多项式时间计算有一定的输出，同时隐藏对该计算的一个或多个输入。
例如，假设您有一个字符串h，它是一个固定哈希函数的输出。从理论上看，这似乎是可能的，因为如果f是多时间的，那么f(x)=y仍然是NP语句(尽管我可能错了)--但我想知道，在今天的Zk-SNARKs中，这在实践中是否可行。
浏览 0提问于2018-07-10得票数 7
零知识不交互知识证明(zk snarks)与零知识范围证明(zkrp)的区别是什么？
浏览 0提问于2018-07-27得票数 3
在ZK中，电路扮演什么角色？它是在验证者和验证者的机器上执行的吗？如果是这样的话，您将如何编写程序来检查一个值是否大于另一个值？
浏览 0修改于2018-12-23得票数 2
回答已采纳
那么，为什么在zk-SNARKs (和类似的)中，我们谈论知识的论点，其中，如果知识抽取器也存在，那么它的稳健性仅仅是计算性质(即a，只有来自计算有界的证明程序的安全)？我是不是遗漏了什么？
浏览 0修改于2021-11-08得票数 1
回答已采纳
在Vitalik关于SNARKs 二次算法程序:从零到英雄的文章中，他写道
请注意，以上是一种简化；“在现实世界中”，加法、乘法、减法和除法不是用规则数，而是用有限域元素进行的。我假设块链中使用SNARKs来隐藏和验证事务。然而，块链事务可能涉及非整数数量(发送者正在发送一个小数)，那么涉及有限字段中的非整数数字的私有(见证)&公共输入是如何实现的呢？
浏览 0修改于2023-02-09得票数 2
回答已采纳
来自Vitalik Buterin的博客- 二次算术程序:从零到英雄。最后，我们得到t:A.s * B.s — C.s即QAP。它被一个极小多项式z= (x-1)*(x-2)*(x-3)*(x-4)除以得到h即t= h*z => h=t/z。为什么初始三次多项式被转换成QAP？我们能不能不使用一个有多个实根的方程。最后，我们得到了一个高阶多项式(QAP)除以z。
在得到QAP
浏览 0修改于2023-02-03得票数 0
回答已采纳
在这种情况下，“可信设置”的含义是什么？人们常说，zk和防弹系统不需要可信的设置。zk和防弹表如何避免需要可信的设置？
浏览 0修改于2021-04-18得票数 6
在ZK中，双线性对被用来进行“加密计算”。我想知道我们是否可以用部分同态加密或某种同态加密来代替双线性配对。请你详细说明一下为什么应该或不应该使用它们吗？
浏览 0提问于2018-12-14得票数 2
回答已采纳
(2)使用zk-SNARKs可以与发送方和收件人一起隐藏金额地址。一般来说，这三种主要的零知识证明技术的主要区别(利弊)是什么？crypto.stanford.edu/bulletproofs/https://n
浏览 0修改于2020-06-16得票数 42
1回答
您能否提供一个用zk-SNARKs进行程序验证的示例，以解释：这种新技术的含义是什么？它是如何工作的，因为目前我还没有理解zk-SNARKs和不对称密码系统可以生成的证明之间的区别，因为它们也是零知识。zk只是更普遍吗？如果是这样的话，您能提供一个示例用例来强调使用zk-SNARKs可以做什么，而zk-SNARKs却不能用非对称密码系统完成？
浏览 0修改于2018-05-21得票数 2
1回答
我在SNARKs上找到的所有例子都显示了3级或4级的多项式，但是5级以上的多项式又是怎样的呢?在计算根时，允许SNARK不受五次多项式不可解性影响的机制是什么？有没有我能读到的高次多项式的例子？
浏览 0提问于2022-07-13得票数 0
我知道LibSnark.cpp实现和其他实现，但我不是要将所有这些都放在SmartContract上，而是讨论采用Snarks结构的整个块链机制，以便处理完整的加密块和事务，以及节点的验证过程，这些节点也是用将有可能在协议级别实现这些SNARKS，以验证整个Ethereum？如果不是，为什么？
谢谢。
浏览 0修改于2018-10-11得票数 11
我认为zk-snarks是可能的，但现在我的印象是，即使是zk-snark证明也是线性大小的，w.r.t元素数。
浏览 0提问于2017-10-14得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号