zk-SNARKs的以太易化

Question

有很多关于利用zk将隐私特性引入的讨论。我的问题是，Ethereum目前如何为zk-SNARKs的验证提供便利，而且，在这方面还计划采取什么进一步的步骤？

我知道，拜占庭，第一个大都会硬叉，包括一些改变(见EIP 198，EIP 212 (197)和EIP 213 (196)，并与ELI5 5:拜占庭的变化比较)形式的预编译合同，允许在zk验证中使用的操作，例如，椭圆曲线加法和配对。我还意识到了ZoKrates，一个独立的程序，它能够将一个程序(似乎是一组有限的程序)编译成另一个程序，它可以生成一个非交互式的零知识证明和一个智能契约来进行在线验证。不幸的是，我没能找到任何关于它的文档。

我想知道除了这些EIP之外，是否还有其他的东西，对zk验证的支持是否会保持在这个水平上？就我个人而言，我怀疑由于Ethereum契约可以进行任意计算，用于执行zk-SNARKs的二次算术程序(QAP)一般会因应用程序的不同而大相径庭，因此提供更高级别的支持是不可行的。

Answer 1

据我所知，ZoKrates + Byzantium预编译是目前可用的最通用的解决方案。最近，他们还在ZoKrates中增加了对ZoKrates的支持，极大地提高了适用性。

有关ZoKrates的教程和文档，请参见https://zokrates.github.io/introduction.html

有关更高级的示例，请参见ZKDai，它基本上与ZoKrates重新组合了ZCash特性。

除此之外，还有其他针对特殊情况的解决方案，如荷兰国际集团( ING )生产的阿兹特克或ZK距离证明。

ZK-SNARKS的公开挑战仍然是：

• 可信设置(有毒废物)
• 上链验证费用(~1,500万气体/验证)
• 无链保护创建(RAM消耗可以很容易地达到双GB /验证)

Answer 2

以下是有关此问题的最新最新更新：

• 伊斯坦布尔https://eips.ethereum.org/EIPS/eip-1679使与zkSNARKS相关的一切变得更便宜
• EY实现了批量证明https://github.com/EYBlockchain/nightfall，其中多个ZKP可以在链上与cost(N) << N * cost(1)验证.
• EY起草了一份标准的https://eips.ethereum.org/EIPS/eip-1922，用于识别和与ZKP验证器链上合同进行交互。