作者: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就出现了。
你无需直接在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 是通用的。这意味着证明可以来自任何来源。无论是 zkRollups、zkCoprocessor、zkML 还是其他任何来源,Nebra 都接受这些证明。
Nebra 也是无许可的,这意味着任何项目都可以在不必先向团队申请的情况下使用它,从而使这项技术能够大规模应用。
已经有几个项目在利用 Nebra,比如 Worldcoin 和一个全新的 ZK Coprocessor——Brevis。不知道什么是 Coprocessor?请查看我们之前的文章。
而这就是结束了……等一下,你甚至不相信这就是结束?
Succinct 是一个为任何区块链生成零知识证明的层。没错,是任何区块链。它的目标是成为生成零知识证明的基础层。令人印象深刻,对吧?
你可能想知道他们是怎么做到的——或者也许你并不想知道;无论如何,让我解释一下。Succinct 作为一个验证者网络运行。这些验证者在 Succinct 网络上生成零知识证明,然后将证明发送给客户。
为了确保客户获得最优惠的价格,Succinct 层分为两部分:一个市场,验证者在这里为每个请求提供最优惠的价格,以及一个聚合系统,通过缩放每个生成的证明来降低单位成本。简单吧!
本质上,Succinct 就像是你雇佣的承包商,专门为你处理证明工作。想象一下,如果你不会画表情包或者没有时间去学这项技能,那么你可以雇人来替你完成。Succinct 就是这样的,只不过是为了证明而存在。
这篇文章有点长!但正如谚语所说,“大创新需要大篇幅”。可以确定的是:零知识证明有巨大的潜力。虽然我们离广泛采用还有些距离,但今天介绍的这些项目正在帮助缩小这一差距。
来源:金色财经