大多数 zkVM 在纸面上看起来很不错。 SP1 是为现实世界而构建的。 Succinct 没有使用 Risc0、zkSync 或 Polygon 的 zkVM，原因很充分。 SP1 不是一个抄袭者。 它是一个从零开始构建的 zkVM，旨在为下一代无信任基础设施提供动力。 这很重要的原因如下： 为什么要构建一个新的 zkVM？ @SuccinctLabs 本可以选择现有的 zkVM。Risc0、Cairo，甚至 zkEVM。 但他们没有，原因如下： 大多数 zkVM 的通用性不足 许多 zkVM 不支持开箱即用的递归 一些与自定义 DSL（例如，Cairo）紧密耦合 其他的缺乏透明度或深深嵌入更大的汇总堆栈中 Succinct 需要更多的东西： → 一个可以在任何地方运行任何程序并高效证明的 zkVM。 这就是 SP1。 SP1 是什么？ SP1 是一个高性能、模块化的 zkVM，使用 Rust 构建，支持： - 通用计算 - 高效递归 - 证明可移植性到其他链 而且至关重要的是，具有开源灵活性 它是围绕几个核心理念从第一原则设计的： • ZK 需要可访问。 • 证明生成必须在链之间可组合和可验证。 • 开发者不应该需要学习密码学来使用 ZK。 SP1 基于一个自定义的 ISA（指令集架构），而不是 EVM 的复制，使其性能更高、可扩展性更强。 而且它已经被用于支持跨链轻客户端、EigenLayer AVS 等。 SP1 有什么不同？ 与其他 zkVM 相比，SP1 在几个重要方面脱颖而出： 为现实世界证明而设计 不是为零知识游戏或汇总竞争而优化，而是为多链验证而优化。 极其模块化 您可以修改 SP1，交换组件，并插入不同的证明曲线或递归策略。 Rust 原生开发者体验 在安全、高效的 Rust 中编写 ZK 程序，而不是奇特的 DSL。 内置对递归证明的支持 对于在链上验证许多链下事件的可扩展性和可组合性至关重要。 为什么现在这很重要 加密货币的未来是多链的。 这意味着更多的轻客户端、更多的桥接和更多的共享证明系统。 但在一个链上安全地证明另一个链的状态需要优化的不仅仅是吞吐量，还有灵活性和可移植性的 zkVM。 SP1 正是这样做的。 → 它不仅仅是一个 ZK 原语——它是无信任互操作性的证明引擎。 在下一篇文章中，我们将分解 Succinct Prover Network：它如何在链下运行 ZK 计算，以及这为开发者和链解锁了什么。 标记可能对此感兴趣的 Gigachads 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_