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

撰文：NAIROLF、SENSEI WU

编译：Kate，火星财经

你准备好探索零知识证明的奇妙世界了吗？在本文中，我们将介绍三个有趣的项目，并以前所未有的方式解释 zk 证明。

ZK 这个，ZK 那个，兄弟，别再这样了。Starknet 每月只有 8 个用户，这是一次失败的空投，没有人关心 ZK 的 rollup。好吧，慢一点。这项技术非常棒。

让我们从了解零知识或 ZK 证明到底是什么开始。例子！

约翰喜欢画漂亮的老虎，但不敢把他的画给朋友们看。他是害羞的！👉👈

他的朋友怀疑他的技能。他们从没见过他画画！但是约翰有一个计划。有一场大型老虎绘画比赛即将举行。为了晋级，你必须画一只神奇的老虎。

如果约翰参赛并获得参赛资格，他的朋友们就会知道他能画老虎。他们不会看到他画画，但他们最终会相信他。

约翰参加了比赛，画了一只老虎，给评委留下了深刻的印象。他的朋友们终于相信他了！这家伙会画老虎。

这就像 zk 证明一样。不是直接展示，而是在不透露任何东西的情况下证明它。约翰的证明是他的资格。他的朋友们没见过他画画，但他们知道他会。

正如你可能已经掌握的那样，zk 证明的一个好处是它们提供的隐私。

但这并不是唯一的优势。我们不会深入研究细节，但请记住，zk 证明也更快。这是有道理的。如果我们再回顾一下我们的例子，约翰不需要一个一个地向他所有的朋友展示他是如何画老虎的。他只是出示了参加比赛的邀请函。

此外，它们的内存效率更高。与其他证明系统相比，这些证明可以以更少的工作量验证更大的计算。

但是，有一个问题：这些证明必须在某个时候得到验证。假设詹姆斯告诉你他被比赛录取了。很好，但你想确认一下是不是真的，对吧？

不幸的是，以太坊，更准确地说是 EVM，它的虚拟机 ( 以太坊背后的大型计算机 ) 在设计时并没有考虑到 zk 证明。这使得验证成本非常高，有时会导致 zk 证明无法使用。

Aligned Layer 来了。

不是直接在以太坊上验证你的证明，而是将这些证明提交给 Aligned Layer。

Aligned Layer 专门负责验证证明。可以把 Aligned 想象成一个由专门的验证者组成的网络，随时准备确认你提交的证明是正确的。

Aligned 在这里扮演以太坊的角色。但不要担心，他们使用 EigenLayer 的再质押来保持与以太坊相同的安全级别。与以太坊相同的安全性，没有 EVM 的限制。很酷，对吧？

因此，Aligned 会验证你的证明。下一步是将验证结果发布到以太坊。是的，我说的是「这次验证的结果」。已经验证过了，为什么还要再验证一次呢？

现在，你仍然有你的数据，也就是证明，可以发布到某个地方。嗯，Aligned 会将其发布在以太坊或像 Celestia 这样的 AltDA 上。你的选择。

使用 Aligned Layer，验证证明的过程变得更便宜。我们说的是 +10 倍的成本削减，是的！

这也更快一些。你不必等待你的证明在以太坊上得到验证；你已经收到了第一个来自 Aligned Layer 的软确认。

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

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

在以太坊上验证 zk 证明是非常昂贵的。有了 Nebra，你可以将这些成本降低五倍。

Nebra 提议：「我们为什么不在链下验证大量 ZK 证明，将它们批处理成一个大的包，然后只验证一个聚合的链上证明？通过这种方式，我们在保持以太坊安全性的同时降低了每单位生成的成本！」聪明，对吧？

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

Nebra 也是无需许可的，这意味着任何项目都可以使用它，而无需事先征得团队的同意，从而使这项技术得以大规模利用。

一些项目已经利用了 Nebra，比如 Worldcoin 和 Brevis( 一种全新的 ZK 协处理器 )。不确定协处理器是什么？查看我们之前的文章。

就这样结束了......等一下，你不相信这就是结局吗？

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

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

为了确保为这些客户提供最优惠的价格，Succinct 层由两部分组成：一个市场，证明者为每个请求提供最优惠的价格，以及一个聚合系统，该系统可扩展每个生成的证明以降低单位成本。简单易行！

从本质上讲，Succinct 就像一个承包商，你雇佣他来为你处理证明。想象一下，你不能画一个 meme，或者没有时间去发展这个技能；那就雇个人来帮你吧。Succinct 是一样的，只是为了证明。

正如谚语所说，「大创新等于大文章」( 哈哈，这是我瞎编的，抱歉！) 有一件事是肯定的：zk 证明具有巨大的潜力。我们离广泛采用还有一段距离，但是像我们今天介绍的项目正在帮助弥合这一差距。