大多数 zkVM 在纸面上看起来都很棒。 SP1 是为现实世界构建的。 Succinct 没有使用 Risc0、zkSync 或 Polygon 的 zkVM，这是有充分理由的。 SP1 不是模仿者。 这是一个全新的 zkVM，旨在为下一代无需信任的基础设施提供动力。 这就是为什么这很重要： 为什么要构建新的 zkVM？ @SuccinctLabs可以选择现有的 zkVM。Risc0、Cairo，甚至 zkEVM。 但他们没有，原因如下： 大多数 zkVM 的通用性还不够 许多不支持开箱即用的递归 有些与自定义 DSL 紧密耦合（例如，Cairo） 其他的缺乏透明度或深深嵌入到更大的 rollup 堆栈中 简洁需要更多的东西： → 一个可以在任何地方运行任何程序并有效证明它的 zkVM。 这就是 SP1。 ...