什么是zkSNARK？它们是如何工作的？

Question

从我对这个概念的简要了解来看，zkSNARK似乎是一种零知识密码学的形式。

zkSNARKs能为以太在餐桌上带来什么？

我看过像这这样的项目，但仍然无法理解它在平台上的适用性。

Answer 1

我不会进入密码硬细节，因为我对它不太了解，它需要正确解释页和页。但让我们试试！

ZKSnarks也被称为:零知识简洁、非交互的知识论证，是一种快速计算的零知识证明，它允许你在不提供任何信息的情况下演示事物，甚至不需要proover和验证者之间的交互。

让我们看看一个例子。

1. 说鲍勃想向亚历克斯证明他知道什么问题的答案。
2. 鲍勃，将从一个TEE (信任执行环境)一个价值S和一个CRS。
3. 如果Bob知道Alex所要求的问题的解决方案，他将能够演示几个多项式函数之间的可分性。
4. 如果有正确的解决方案，验证器实现的配对减法运算的输出为1，否则为0。

太..。很难概括，但看起来是这样的：

• 任何数学问题都可以总结在电路上(例如编译C代码)。
• 通过提取二次算术程序(QAP)的多体函数，对电路进行变换。
• 同时，也可以看作是一个计算模型。

有了所有这一切，我们就能够建立怒气，让我们在不获取解决方案的知识和验证者与验证者之间没有交互作用的情况下，验证一个证明。

下面是所涉及的数学的可视化表示：

为什么这一切对以太来说都很有趣？

因为节点将能够在不知道任何信息的情况下验证块的正确性(例如，不需要双倍开销)。这就像一个密码专家的梦想，评估一个声明，而不知道它的任何信息。这意味着所有的地址、平衡和更多的信息都将被完全加密，但是节点仍然可以评估(超级快，因为snarks是简洁的证明)而不知道任何信息。

Snarks和Ethereum的问题是，Snarks在Zcash上工作，因为只有事务。在只支持事务的块链上实现这些Snarks更简单。但在以太的案件中，与SmartContracts有关..。实现ZKSnarks要困难得多(我不知道具体原因，但我猜EVM存在问题)。

希望它有帮助，如果让人困惑的话，很抱歉，但很难解释。

Answer 2

zkSNARKs将提供私人交易或机密交易的可能性。

虽然它背后的数学和密码学是相当复杂的，但您可以在这篇文章是由赛斯写的。中的Ethereum上下文中找到它的概述。