ほとんどの zkVM は紙の上では見栄えがします。 SP1 は現実世界向けに構築されました。 Succinct が Risc0、zkSync、または Polygon の zkVM を使用しませんでしたが、それには十分な理由があります。 SP1 は模倣品ではありません。 これは、次世代のトラストレスインフラを強化するために構築されたゼロから構築されたzkVMです。 それが重要な理由は次のとおりです。 なぜ新しいzkVMを構築するのか? @SuccinctLabs既存の zkVM を選択することもできます。Risc0、Cairo、さらには zkEVM でも使用できます。 しかし、彼らはそうしなかったので、その理由は次のとおりです。 ほとんどの zkVM は汎用性が十分ではありません 多くの人は、すぐに使用できる再帰をサポートしていません カスタムDSLと緊密に結合されているものもあります(例:Cairo) 透明性に欠けているか、より大きなロールアップ スタックに深く組み込まれているものもあります 簡潔には、さらに何かが必要でした。 → あらゆるプログラムをどこでも実行し、効率的に証明できるzkVM。 それがSP1です。 SP1とは? SP1 は、Rust で構築されたパフォーマンスの高いモジュール式 zkVM であり、以下をサポートします。 - 汎用計算 - 効率的な再帰 - 他のチェーンへのポータビリティの証明 そして重要なオープンソースの柔軟性 これは、いくつかのコア アイデアを中心に第一原則に基づいて設計されています。 • ZK にアクセスできる必要があります。 • 証明の生成は、チェーン間で構成可能で検証可能である必要があります。 • 開発者はZKを使用するために暗号化を学ぶ必要はありません。 SP1 は、EVM のコピーではなくカスタム ISA (命令セット アーキテクチャ) に基づいて構築されているため、パフォーマンスと拡張性が大幅に向上しています。 また、クロスチェーン ライト クライアント、EigenLayer AVS などの電源供給にすでに使用されています。 SP1 の違いは何ですか? 他の zkVM と比較して、SP1 はいくつかの大きな点で際立っています。 実世界での実証用に設計 ゼロ知識ゲームやロールアップ競争には最適化されておらず、マルチチェーン検証に最適化されています。 非常にモジュール化されている SP1 を変更したり、コンポーネントを入れ替えたり、さまざまな証明曲線や再帰戦略に差し込んだりすることができます。 Rustネイティブの開発者エクスペリエンス ZK プログラムは、エキゾチックな DSL ではなく、安全で効率的な Rust で記述します。 再帰的証明の組み込みサポート オンチェーンで多くのオフチェーン イベントを検証する際のスケーラビリティと構成可能性にとって重要です。 なぜこれが今重要なのか 暗号通貨の未来はマルチチェーンです。 つまり、より多くのライトクライアント、より多くの橋梁、そしてより多くの共有証明システムが実現するということです。 しかし、あるチェーンの状態を別のチェーンで安全に証明するには、スループットだけでなく、柔軟性と移植性のために最適化されたzkVMが必要です。 SP1 はまさにそれを行います。 → これは単なるZKプリミティブではなく、トラストレスな相互運用の背後にある証明エンジンです。 次の投稿では、簡潔な証明者ネットワークを詳しく説明します: オフチェーンで ZK 計算を実行する方法と、これにより開発者とチェーンに何が解き放たれますか。 これ👇に興味があるかもしれないギガチャッドのタグ付け - @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_