大多數 zkVM 在紙面上看起來都很棒。 SP1 是為現實世界而構建的。 Succinct 沒有使用 Risc0、zkSync 或 Polygon 的 zkVM,這是有充分理由的。 SP1 不是模仿者。 它是一個全新的 zkVM,旨在為下一代無需信任的基礎設施提供動力。 這就是為什麼這很重要: 為什麼要構建新的 zkVM? @SuccinctLabs本可以選擇現有的 zkVM。Risc0、Cairo,甚至 zkEVM。 但他們沒有,原因如下: 大多數 zkVM 都不夠通用 許多不支援開箱即用的遞歸 有些與自訂 DSL 緊密耦合(例如,Cairo) 其他的則缺乏透明度或深深嵌入到更大的 rollup 堆疊中 簡潔需要更多的東西: → 一個可以在任何地方運行任何程序並有效證明它的 zkVM。 這就是 SP1。 ...