回答情况：
提问时间：
问题标签：
1回答
在实际应用中，需要证明电路总是具有较大的尺寸，可能有近十亿个门，当将这种电路转换为QAP时，会产生一个很大的多项式，这是一个高成本的使用zkSNARK。
浏览 0修改于2020-09-25得票数 0
回答已采纳
我正在阅读由Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf编写的对zkSnark的解释。
浏览 0修改于2021-10-10得票数 2
回答已采纳
我有几个关于如何使用zk的问题。因为使用的基本逻辑是：从电路中产生一个R1CS，对于第一部分，该问题是否有特定的定义或特征，所有可以验证的问题都能转化为电路，并使用zk生成证明吗？此外，如何通过编程或使用数学方法将问题简化为一个电路？
浏览 0修改于2021-01-11得票数 5
回答已采纳
我想在客户端为zkSnarks生成校对，因此需要一个javascript库来帮助读取电路和生成校对。我在这里找到了一个看起来很有前途的组合：https://github.com/iden3/circom (用于创建电路)和javascript中使用的相应库：https://github.com/iden3/snarkjs如果还有其他图书馆能为我服务的话，我很乐意知道。
浏览 0提问于2019-02-08得票数 2
我读到，假设将zCash/zkSNARK与Ethereum集成在一起，就可以隐藏事务的发送方、接收方和值。
我的问题是，是否也可以隐藏事务中发送的其他数据，比如要执行的函数的名称及其参数。
浏览 0提问于2016-11-03得票数 2
回答已采纳
从我对这个概念的简要了解来看，zkSNARK似乎是一种零知识密码学的形式。我看过像这这样的项目，但仍然无法理解它在平台上的适用性。
浏览 0修改于2018-05-31得票数 12
回答已采纳
在CGPR (链接到纸上)第3.5节中，考虑到电路尺寸为|C|，验证器的成本为O(|C| \log(|C|))。
在我看来，得到的QAP中的多项式度应该是O(|C|)。证明费用不是O(|C|)吗？我是不是错过了几步？
浏览 0修改于2022-02-03得票数 1
回答已采纳
作为密码学和zk的初学者，我目前正在研究论文“zk-SNARK为什么和如何工作”。虽然在这种协议中，证明器的灵活性是有限的，但它仍然可以使用任何其他方法来伪造一个证明，而不需要实际使用s提供的幂加密，例如，如果证明器声称仅使用2次幂s^3和s^1就有一个令人满意的多项式，那么在现有协议中是无法验证的。
我想我已经很好地理解了前面的章节。在这一具体的章节中，作者介绍了强同态加密，然后给出了一个zk(例如？)协议，其中验证器向验证器提供加密的秘密值的能力，然后验证器使验证者确信具有多项式p的验证器，而t是其的一部分。但我不明白为什么只使用s^3和s^1，
浏览 0修改于2022-06-16得票数 2
cmiiw，zkSNARK意味着计算可以由单个节点进行验证，因此并不是由网络上的每个节点- 链接执行，并且正在完成工作，以便将此特性包含在主网络中。
浏览 0提问于2017-11-05得票数 1
我正在阅读R1CS & QAP - https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649上Vitalin Buterin的页面。A=\begin{pmatrix} 0&1&0&0&0&0 \\ 0&0&0&1&0&0 \\ 0&1&0&0&1&0 \\ 5&0&0&
浏览 0修改于2021-10-28得票数 1
回答已采纳
爱丽丝能否向查理透露解密的信息，并向他提供一个零知识证明(例如，zkSNARK)，即解密的消息文本确实是他截获的解密消息？
她能不泄露她的私钥吗？
浏览 0提问于2020-02-19得票数 1
回答已采纳
我正在研究一些简单的例子，以了解ZK是如何工作的。pk, vk = G (C, lambda)C (x, w) { return (sha256 (w) == x); }我认识s的一个字符串，他的哈希是x。我可以证明给你看，而不用透露S。
如何为这个简单的用例实际构建一个zk证明算法？(在这篇文章的注释之后，如何获得证明/验证密钥和函数的方法，给出了在生成后将被丢弃的lambda“浪费”？)
浏览 0修改于2018-02-05得票数 4
我正在阅读由Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf编写的对zkSnark的解释。
浏览 0提问于2021-10-15得票数 0
我的理解是，当前的令牌契约不使用zkSNARK来隐藏余额或发送/接收信息。希望这样做的契约需要将zkSNARK的功能显式地编码到其中，以便隐藏内容。现在，zkSNARK的代码并不容易编写，用户也不容易与之交互。它也很贵。我认为这就是为什么目前有可能，但目前还没有做到的原因。
有人能证实这一切吗？
浏览 0修改于2018-10-05得票数 1
块链上是否有其他由zkSNARK屏蔽的东西，并且可以具有非整数值，或者在块链上使用zkSNARK的所有东西都是整数值？
浏览 0修改于2023-02-09得票数 2
回答已采纳
1回答
然而，特别是在最近的zkSNARK论文中，我看到量词的顺序颠倒了(例如，参见Spartan S中的定义2.5 )。这里，知识产权是以\forall P^*的形式存在的，存在\mathcal{E} .密码2003
S Srinath .Spartan:高效通用的zkSNARK，没有可信的设置。CRYPTO 2020
浏览 0提问于2022-11-03得票数 2
在准备在zkSnark中使用的逻辑时，首先需要将代码“扁平化”，以便将其编写为一系列约束。
我发现很难找到这样做的例子。
浏览 0修改于2020-04-16得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号