【长推】ZK，在复活？

Chainfeeds 导读：

说到 ZK，很多人会觉得是很遥远，似乎是什么古老的东西，其实 ZK 的发展并没有太久，只能说加密叙事变化太快了，而技术的发展有其时间周期，这二者之间存在偏差。

文章来源：

https://x.com/DaPangDunCrypto/status/1891714007469523342

文章作者：

DaPangDun

观点：

DaPangDun：1）Succinct：这个项目提出了 SP1（Succinct Processor 1），这是一个基于 STARKs 的零知识虚拟机（zkVM），支持 Rust 语言，主要用于提供高效的证明生成服务，并且兼容 EVM 链的验证。其表示 SP1 的目标是比现有的 zkVM 在性能上提高一个数量级，对于某些程序已实现高达 28 倍的速度提升。主要定位在需要高效 ZK 证明的场景。前几日开放了测试网，测试网中用户可以通过参与其中的多个环节生成证明的方式获得积分，且领取时有随机倍率的加成，不过消耗的是真实的主网 USDC。 2）RISC Zero：开发了基于 RISC-V 的 zkVM，支持通用计算，推出了 Bonsai（证明服务平台）和 Zeth（zkEVM）相关产品。主要定位在需要通用计算的场景。其与其他生态的联动一直在做，比如 Eigenlayer、eclipse、BTC 网络等等，普通用户看起来没有多少参与机会。 3）Lita：其推出了 Valida zkVM，使用的是 ZK-STARKS，关注于快速、高效的 ZK 证明生成，支持 C 和 Rust 语言，强调性能与可访问性。主要定位在需要快速生成证明的场景。其技术一直在更新，不过对外的频率比较低，也看不到什么参与的机会。 4）Nexus：开发了 Nexus zkVM，着重于模块化、并行化设计，提高性能和扩展性，支持 Rust 语言，目标是构建「可验证的互联网」。主要定位在需要搞扩展性的验证场景。其第二阶段的测试网将于 2 月 18 日太平洋时间上午 9:00 开始，至 2 月 21 日下午 4 点结束。目前这个项目的热度很不错，有关注的可以参与。 5）Brevis：以 Brevis V2 和 Pico zkVM 为核心，专注于智能合约的扩展，通过 ZK 协处理器处理完整的链上数据。主要定位在智能合约需要处理大量链上数据的场景。目前也没有看到如何参与的机会，不过可以关注其发展，我看到其与 Ai Agent 之间的联动。 6）Delphinus：以 zkWASM 为特征，允许开发者用多种语言编写程序并生成零知识证明，注重于跨平台和易用性。主要定位在 WebAssembly 环境中进行 ZK 计算的场景。其正在进行第三期的测试网节点验证活动，这也是主网上线前最后一次节点验证活动，早期的参与者共享最多 3% 的项目代币空投奖励。