一文了解将零知识证明带入主流的 3 个项目
本文介绍了三个有趣的项目，重点介绍了zk证明的概念及其隐私和高效的优势。其中，Layer和Nebra是两个旨在降低验证zk证明成本的项目，通过软确认、链下验证和聚合等方式实现最优惠的价格。这些项目有助于推动zk证明的广泛应用，发挥其在零知识领域的重要作用。
原文标题：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会验证你的证明。下一步是将验证结果发布到以太坊。是的，我说的是“这次验证的结果”。已经验证过了，为什么还要再验证一次呢？
关于【一文了解将零知识证明带入主流的 3 个项目】的延伸阅读
加密杂谈：对RaaS和Eigenlayer的一些看法
本文讨论了加密货币领域的热门话题，包括Rollup技术、Restaking、LRT、AVS和Eigenlayer。作者认为目前情况并不乐观，团队进展缓慢，Rollup部署过多也不利。对于Restaking、LRT、AVS和Eigenlayer的不满，存入ETH数量巨大，但空投效果不佳。团队发布庞大白皮书，但工作原理和概念仍不清楚。Eigenlayer决定暂不启用惩罚机制，但是否有必要为每个新兴协议提供近十亿美元的用户Restaking ETH并面临风险？惩罚机制将在不到一年内启用，操作者是否意识到Restaking风险？或许会有其他平台蚕食Eigenlayer的市场份额。
详解 OP Stack Rollup 流程及对应代码
Optimism Bedrock是当前版本的OP Stack，提供了启动生产质量的Optimistic Rollup区块链的工具。它包括op-batcher和op-proposer两个服务，负责从sequencer读取交易内容并rollup到链上，以及将交易状态rollup到合约。文中介绍了如何使用recordL1Tip和l1Tip来获取最新的L1BlockRef，以及如何收集和提交交易数据。每个事务仅使用一帧，如果通道已满，则仅返回剩余帧，直到成功发送到L1。sendTransaction将交易发送到一层，并更新交易发送状态。FetchNextOutputInfo获取L2上的区块output，NextBlockNumber获取下一批次需要提交的区块区间，SyncStatus获取L2块的状态和块信息，OutputAtBlock根据块高获取output，sendTransaction使用output构建stateRoot提交交易到一层链。
现在，你仍然有你的数据，也就是证明，可以发布到某个地方。嗯，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证明具有巨大的潜力。我们离广泛采用还有一段距离，但是像我们今天介绍的项目正在帮助弥合这一差距。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：火星财经，如有侵权请联系删除。转载或引用请注明文章出处！
