撰文:nairolf & Sensei Wu
编译:Tia,Techub News
兄弟,别再 ZK 这个,ZK 那个了。Starknet 每月只有 8 个用户,这是一次失败的空投,而且没人关心 ZK Rollups。好吧,让我们放慢速度,毕竟,这项技术非常棒。
来,我们先简单地了解零知识证明(ZK)到底是什么。
举个例子,约翰喜欢画美丽的老虎,但不敢把他的画给他的朋友们看,因为他非常害羞! 👉👈
他的朋友怀疑他是否拥有这项技能,因为他们从来没有见过他画画,但约翰心里有一个计划。
一场大型老虎绘画比赛即将举行。获得参赛资格的前提是必须画出一只神奇的老虎。
如果约翰获得了参赛资格,他的朋友们就会知道他会画老虎。即使他们没看到约翰画画,但也会相信约翰会画画。
于是,约翰参加了比赛,画了一只老虎,并且给评委留下了深刻的印象。结果就是他的朋友们终于相信他了,这家伙原来真的会画老虎。
这其实就和 zk-proofs 很像。我们不用直接展示内容,就可以在不透露任何内容的情况下证明它。约翰的参赛资格就是他的证明。他的朋友们没有看到他画画,但他们知道他有能力画画。
正如您可能已经掌握的,zk 证明的好处之一是它们可以提供隐私。
但要知道这可不是 zk 唯一的优势。我们不会深究 zk 的细节,但请明白 zk 证明可以很快。某种程度,这是有它的道理的。比如你看我们之前的例子:约翰不必向他所有的朋友展示他是如何画老虎的,他只要出示比赛邀请函。
此外,它们的内存效率更高。与其他证明系统相比,这些证明可以用更少的工作来验证更大的计算。
但是,有一个问题:这些证据必须在某个时刻得到验证。假设詹姆斯告诉您他已拥有参加比赛的资格。然后你想检查一下这是否属实。
不幸的是,以太坊,更准确地说是 EVM,它的虚拟机(以太坊背后的大型计算机),在设计时并没有考虑到 zk-proofs。这使得验证成本非常高,有时甚至导致 zk-proofs 无法使用。
ok,这时该到 Aligned Layer 登场了。
您无需直接在以太坊上验证您的证明,而是将这些证明提交给 Aligned Layer。
Aligned Layer 专门用于验证证明。将 Aligned 视为一个由专用验证者组成的网络,随时准备确认您提交的证明是否正确。
Aligned 在这里扮演了以太坊的角色。但不用担心,他们使用 EigenLayer 的再质押来维持与以太坊相同级别的安全性。与以太坊相同的安全性,但不受 EVM 的限制。
因此,Aligned 会验证您的证明。下一步是将验证结果发布到以太坊。是的,我说的是「这次验证的结果」。都已经验证过了,为什么还要验证第二次呢?
现在,您仍然拥有可以发布在某处的数据(也称为证明)。好吧, Aligned 也会将其发布在以太坊或 AltDA(如 Celestia)上(你的选择)。
而且,使用 Aligned Layer 验证证明的过程会更便宜。是的,会使成本降低 10 倍。
并且也会更快一些。您不必等待您的证明在以太坊上得到验证;您已经收到来自 Aligned Layer 的第一个(软)确认。
不再受到 EVM 的限制,许多新的潜在用例,以及使 zk-proofs 成为主流的目标:Aligned Layer 将成为零知识领域最突出的参与者之一。但 Aligned Layer 并不是唯一的一个。

Nebra 是基于以太坊的通用 zk-proof 聚合协议。
在以太坊上验证 zk-proof 的成本非常昂贵。借助 Nebra,您可以将这些成本降低五倍。
Nebra 提出,「为什么我们不在链下验证大量 ZK 证明,将它们打包成一个大包,然后在链上仅验证单个聚合证明?这样,我们维护了以太坊的安全性,同时降低了每单位生成的成本。」
此外,Nebra 是通用的。这意味着证明可以来自任何来源。无论是由 zkRollups、zkCoprocessor、zkML 还是任何其他,Nebra 都接受这些证明。
Nebra 也是无需许可的,这意味着任何项目都可以使用它,而无需先询问团队,从而允许大规模使用该技术。
多个项目已经在利用 Nebra,例如 Worldcoin 和 Brevis(一种全新的 ZK 协处理器)。不确定什么是协处理器?查看我们之前的文章。
还有一个项目也有同样的功效。

Succinct 是一个为任意区块链生成 zk 证明的层。是的,任何区块链。其目标是成为生成 zk-proofs 的基础层。
您可能想知道他们是如何做到的(好吧,也可能不想);不管怎样,让我解释一下。 Succinct 作为证明者网络运行。这些证明者在 Succinct 网络上生成 zk 证明,然后将证明发送给客户。
为了确保为这些客户提供最优惠的价格,Succinct 层分为两部分:一个证明者为每个请求提供最优惠的价格的市场;以及一个聚合系统,可扩展每个生成的证明以降低单位成本。
从本质上讲,Succinct 就像您雇用的为您处理证明工作的承包商。想象一下,你不会画 meme(可能是没有时间培养这项技能);其实雇一个人来帮你做就可以了。Succinct 和这的原理是相同的,只是将这用于证明。


