一文了解 3 个将零知识证明推向主流的项目

作者：nairolf、Sensei Wu 来源：substack 翻译：善欧巴，

ZK这个，ZK那个，兄弟请别再说这些了。Starknet只有8个月度用户，这是一次失败的空投，没有人关心ZK Rollups。好吧，让我慢慢来，哈哈。这项技术真的很棒。

我们先从简单的开始，理解一下什么是零知识证明，或者说ZK证明。举个例子！

John喜欢画美丽的老虎，但他不敢把画展示给朋友们看。他很害羞！

他的朋友们怀疑他的技能。他们从未见过他画画！但John有一个计划。即将举办一场大型的老虎绘画比赛。要参赛，你必须画出一幅令人惊叹的老虎画。

如果John参赛并通过资格审查，他的朋友们就会知道他能画老虎。他们虽然没看到他画画，但最终会相信他。

John参加了比赛，画了一只老虎，赢得了评委的赞赏。他的朋友们终于相信了他！这个人真的能画老虎。太棒了！

这就像zk证明。不是直接展示某物，而是证明它而不透露任何细节。John的证明就是他的资格审查。他的朋友们没看到他画画，但他们知道他能画。

你可能已经明白了，zk证明的一个好处是它们提供了隐私。

但这不是唯一的优势。我们不会深入细节，但请记住，zk证明也更快。这其实很有道理。如果我们回到例子中，John不需要一个一个地向朋友们展示他如何画老虎。他只需要出示他的参赛邀请。

此外，zk证明更节省内存。这些证明可以比其他证明系统更轻松地验证更大的计算量。

但，有一个问题：这些证明必须在某个时候被验证。假设James告诉你他被接受参加比赛了。很好，但你想确认这是真的吗？

不幸的是，Ethereum，更确切地说是EVM，它的虚拟机（Ethereum背后的大计算机），并不是为zk证明设计的。这使得验证成本非常高，有时会使zk证明无法使用。

这时Aligned Layer就出现了。

Aligned

你无需直接在Ethereum上验证你的证明，而是提交这些证明到Aligned Layer。

你可能会想知道什么？好吧，Aligned Layer专门验证证明。将Aligned视为一网络的专门验证者，随时准备确认你提交的证明是正确的。

Aligned在这里扮演Ethereum的角色。但别担心，他们使用EigenLayer的再质押来维护与Ethereum相同的安全级别。与Ethereum相同的安全性，却没有EVM的限制。酷吧？

所以，Aligned验证你的证明。下一步是将验证结果发布到Ethereum上。是的，我说的是“验证结果”。它已经被验证了，为什么要第二次验证？

现在，你仍然有你的数据，也就是证明，需要发布到某个地方。好吧，Aligned会将其发布到Ethereum或类似Celestia的AltDA。由你选择。

通过Aligned Layer验证证明的过程变得便宜得多。我们谈的是超过10倍的成本降低，真的！

这也稍微快一些。你不必等待你的证明在Ethereum上被验证；你已经从Aligned Layer收到第一次（软）确认。

不再受EVM的限制，很多新的潜在用例，以及让zk证明成为主流的目标：Aligned Layer将成为零知识领域最重要的参与者之一。但它不是唯一的一个。

Nebra

Nebra 是一个基于以太坊的通用零知识证明聚合协议。听起来有点疯狂，对吧？让我解释一下。

在以太坊上验证零知识证明非常昂贵。使用 Nebra，你可以将这些成本降低五倍。

Nebra 提出：“为什么我们不在链下验证大量的零知识证明，将它们批量打包成一个大捆，然后在链上只验证一个聚合证明呢？这样，我们既保持了以太坊的安全性，又降低了每单位生成的成本！”很聪明，对吧？

此外，Nebra 是通用的。这意味着证明可以来自任何来源。无论是 zkRollups、zkCoprocessor、zkML 还是其他任何来源，Nebra 都接受这些证明。

Nebra 也是无许可的，这意味着任何项目都可以在不必先向团队申请的情况下使用它，从而使这项技术能够大规模应用。

已经有几个项目在利用 Nebra，比如 Worldcoin 和一个全新的 ZK Coprocessor——Brevis。不知道什么是 Coprocessor？请查看我们之前的文章。

而这就是结束了……等一下，你甚至不相信这就是结束？

Succinct

Succinct 是一个为任何区块链生成零知识证明的层。没错，是任何区块链。它的目标是成为生成零知识证明的基础层。令人印象深刻，对吧？

你可能想知道他们是怎么做到的——或者也许你并不想知道；无论如何，让我解释一下。Succinct 作为一个验证者网络运行。这些验证者在 Succinct 网络上生成零知识证明，然后将证明发送给客户。

为了确保客户获得最优惠的价格，Succinct 层分为两部分：一个市场，验证者在这里为每个请求提供最优惠的价格，以及一个聚合系统，通过缩放每个生成的证明来降低单位成本。简单吧！

本质上，Succinct 就像是你雇佣的承包商，专门为你处理证明工作。想象一下，如果你不会画表情包或者没有时间去学这项技能，那么你可以雇人来替你完成。Succinct 就是这样的，只不过是为了证明而存在。

这篇文章有点长！但正如谚语所说，“大创新需要大篇幅”。可以确定的是：零知识证明有巨大的潜力。虽然我们离广泛采用还有些距离，但今天介绍的这些项目正在帮助缩小这一差距。