大多數 zkVM 在理論上看起來很棒。 SP1 是為了現實世界而建造的。 Succinct 沒有使用 Risc0、zkSync 或 Polygon 的 zkVM，這是有充分理由的。 SP1 不是抄襲者。 它是一個從零開始構建的 zkVM，旨在支持下一代無信任基礎設施。 這為什麼重要： 為什麼要構建一個新的 zkVM？ @SuccinctLabs 本可以選擇現有的 zkVM。Risc0、Cairo，甚至 zkEVM。 但他們沒有，這是為什麼： 大多數 zkVM 不夠通用 許多不支持開箱即用的遞歸 一些與自定義 DSL（例如，Cairo）緊密耦合 其他缺乏透明度或深深嵌入更大的 rollup 堆棧中 Succinct 需要更多： → 一個可以在任何地方運行任何程序並高效證明的 zkVM。 這就是 SP1。 SP1 是什麼？ SP1 是一個高效的、模塊化的 zkVM，使用 Rust 構建，支持： - 通用計算 - 高效的遞歸 - 證明可移植性到其他鏈 而且至關重要的是開源靈活性 它是基於幾個核心理念從第一原則設計的： • ZK 需要可訪問。 • 證明生成必須是可組合的，並且可以跨鏈驗證。 • 開發者不應該必須學習密碼學才能使用 ZK。 SP1 是基於自定義 ISA（指令集架構）構建的，而不是 EVM 的副本，使其性能更高且可擴展性更強。 而且它已經被用來支持跨鏈輕客戶端、EigenLayer AVS 等。 SP1 有什麼不同？ 與其他 zkVM 相比，SP1 在幾個重要方面脫穎而出： 為現實世界的證明而設計 不是為零知識遊戲或 rollup 競爭而優化，而是為多鏈驗證而優化。 極其模塊化 您可以修改 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_