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

火星财经
媒体专栏
热度: 18939

本文介绍了三个有趣的项目,重点介绍了zk证明的概念及其隐私和高效的优势。其中,Layer和Nebra是两个旨在降低验证zk证明成本的项目,通过软确认、链下验证和聚合等方式实现最优惠的价格。这些项目有助于推动zk证明的广泛应用,发挥其在零知识领域的重要作用。

摘要由 Mars AI 生成
本摘要由 Mars AI 模型生成,其生成内容的准确性、完整性还处于迭代更新阶段。

原文标题:3 Must-Know Projects Bringing Zero-Knowledge Proofs to the Mainstream

原文作者:NAIROLF & SENSEI WU

原文来源:substack

编译: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证明具有巨大的潜力。我们离广泛采用还有一段距离,但是像我们今天介绍的项目正在帮助弥合这一差距。

声明:本文为入驻“MarsBit 专栏”作者作品,不代表MarsBit官方立场。
转载请联系网页底部:内容合作栏目,邮件进行授权。授权后转载时请注明出处、作者和本文链接。未经许可擅自转载本站文章,将追究相关法律责任,侵权必究。
提示:投资有风险,入市须谨慎,本资讯不作为投资理财建议。
免责声明:本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况,及遵守所在国家和地区的相关法律法规。