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

撰文：NAIROLF、SENSEI WU

编译：Kate，火星财经

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

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

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

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

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

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

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

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

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

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

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

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

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

Aligned Laye小白导航r 来了。

不是直接在以太坊上验证你的证明，而是将这些证明提交给 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 证明具有巨大的潜力。我们离广泛采用还有一段距离，但是像我们今天介绍的项目正在帮助弥合这一差距。

文章来源于互联网:一文了解将零知识证明带入主流的 3 个项目

相关推荐: 何一致美国法官信件全文：一个更真实的赵长鹏是怎样的？

今天，是责任感让他选择面对庭审，但他绝对不应该和那些邪恶的杀人、抢劫、欺诈的人视作同类。 注：4月24日，美国司法部表示币安创始人兼前首席执行官赵长鹏应在监狱服刑三年（36个月），根据给出的理由显示，美国司法部律师认为赵长鹏帮助币安违反联邦制裁和洗钱法，并称其…