嘿，区块链爱好者们！如果你正沉浸在 Layer 2 解决方案的世界，或者只是好奇表情包代币和其他加密资产如何安全地扩展，那么一定要看看 L2Beat 的最新动向。他们刚刚对 ZK Catalog 进行了重大刷新，现已更新到 2.0 版本，重点是把零知识（ZK）证明中那些“隐藏”的部分变得更透明。对不熟悉的人来说，零知识证明是加密学方法，允许一方在不泄露额外信息的前提下向另一方证明某个陈述为真——这对区块链交易的隐私性和效率非常有用。

本次更新引入了一个公开框架，专门用于评估在各种 L2 应用中使用的 ZK 证明系统的 trusted setups（可信设置）。目标是什么？揭示任何隐藏的信任假设，建立清晰标准，并把它打造成生态系统的权威参考点。无论你是在区块链上开发，还是在这些平台上交易表情包币，理解这些底层机制都能帮助你判断表面热度背后的真实安全性。

为什么 trusted setups 在 ZK 系统中很重要

SNARKs（Succinct Non-interactive Arguments of Knowledge）和 STARKs（Scalable Transparent Arguments of Knowledge）如今在区块链中无处不在。这些证明系统为 zk rollups、跨链桥和应用提供动力，其安全性依赖于复杂的密码学设置。但问题在于：许多系统依赖于“trusted setups”，也就是参与者生成密码参数的仪式。如果程序执行不当，这些就可能引入信任风险——比如当过程不透明或参与不够多元时，可能出现后门风险。

L2Beat 的新 ZK Catalog 着重披露这些特性，尤其是 SNARKs 中的 common reference strings（公共参考串）。他们分析了多种 setups，并提出了一个简单的三层风险评估：

• Red（高风险）：不满足透明性或参与度的基本标准。
• Yellow（中等风险）：仪式是公开透明的，且至少有 30 次贡献。
• Green（低风险）：满足 Yellow 条件且至少有 150 次贡献。

该框架帮助用户快速评估风险。例如，最受欢迎的 setup 之一——Aztec 2019 年的 Ignition，因有 176 名参与者并被八个项目使用而被评为绿色。相反，Loopring 和 Succinct Labs 的某些 setup 被标为红色，L2Beat 正敦促这些团队改进——他们甚至主动提出提供帮助！

精选项目与其数据

目录现在收录了 12 个关键项目的详细信息，包含像 zkSync 的 Boojum、Succinct Labs 的 SP1 和 StarkWare 的 Stone 等重量级条目。它展示了若干重要指标，例如：

• Total Value Secured（TVS）：使用这些验证器的应用中锁定了多少价值。
• Trusted Setups：颜色编码的风险等级与细节。
• Verifiers：链上的智能合约数量及其验证状态——L2Beat 会检查离线生成的证明是否与链上核验一致。
• Tech Stack：如 proof systems（Plonk、Groth16）、VMs 与曲线等组件。

下面是他们公告中列出的几项顶级项目速览：

• Boojum（Matter Labs）：$1.75B TVS，使用 Plonk: bellman 和 Fflonk: zkSync，设置评级为绿色。
• SP1（Succinct）：$979.61M TVS，Plonk: gnark 和 Groth16: gnark，但 gnark 的 setup 被评为红色。
• Stone（StarkWare）：$735.06M TVS，STARK: Stone——不需要 trusted setup，因此因没有额外信任假设而获得特别提及。

其他值得注意的还有 Consensys 的 Linea、Scroll、RISC Zero、Zircuit、Polygon Zero 的 zkProver、zkSync Lite、Loopring、Aztec v1 和 Intmax。如果你关注表情包代币，注意很多托管热门币的 L2 都依赖这些 ZK 系统来在不牺牲安全性的前提下实现快速且低成本的交易。

链上验证器与概要页更新

L2Beat 的重点之一是监控链上验证器。他们核实离线生成的证明是否与在以太坊或其他底层链上被校验的内容完全一致，以防出现不匹配导致的漏洞。

他们还调整了主概要页：在 rollups 表格中把 “Type” 列替换为 “Proof System”。对于 ZK rollups，这一栏会直接链接到 ZK Catalog 的条目；对于 optimistic rollups，则指向状态验证的细节。这让在众多 L2 之间导航更顺畅，尤其在你要筛选用于发行或交易表情包币的平台时更为方便。

社区反馈与下一步

L2Beat 倡导开放性——他们在论坛上发布了一个 讨论帖，征求对其评估框架的反馈。如果你发现有问题或有建议，欢迎参与讨论。

别忘了亲自浏览完整的 ZK Catalog。他们正在为每个 prover 添加详尽页面，涵盖技术栈、setups 和 verifiers。随着区块链技术的发展，这类工具对于保持信息灵通和确保安全至关重要——无论你是开发者、交易者，还是寻找下一个 L2 风口的表情包币爱好者。

你怎么看这次更新？它会改变你评估 L2 项目的方式吗？在下面的评论区分享你的看法吧！