フェリックス、ペンシルバニア州ニュースa16z Crypto は、Lasso と Jolt という 2 つの SNARK 関連テクノロジーを発表しました。その中で、Lasso は証明者のコストを大幅に増加させる可能性のある新しいルックアップ パラメータであり、Jolt (Just One Lookup Table) はイーサリアム仮想マシンと互換性のあるロールアップ用に設計されたフレームワークであり、Lasso メソッドを使用して SNARK VM を構築する新しい方法です。 Lasso と Jolt は、Web3 でのアプリケーションのスケーリングと構築を大幅に高速化することができ、これらを組み合わせることで、広く導入されているツールチェーンのパフォーマンスを一桁以上向上させることができる SNARK 設計への新しいアプローチを実現します。また、開発者エクスペリエンスが向上し、より便利になり、監査も容易になります。 Lasso と Jolt は、パフォーマンス、開発者エクスペリエンス、監査可能性という 3 つの主要な懸念事項に対処します。### **パフォーマンスの高速化**Lasso は、証明者が以前の作品よりも少ない、より小さな値を約束する新しい検索パラメータです。 a16z 暗号の研究チームは、Lasso は SNARK 証明者の全体的な速度を大幅に向上させることができ、Halo2 ツールチェーンなどのツールと比較してパフォーマンスを 10 倍向上させることができるため、より高速な ZK ロールアップの開発に役立つと述べています。最適化完了後は約40倍の性能向上が見込まれます。したがって、チームは、Lasso の証明者テクノロジーが、主要なイーサリアム L2 スケーリング ソリューションで採用されている既存のすべてのゼロ知識 SNARK 証明者テクノロジーよりも優れたパフォーマンスを発揮すると信じています。Jolt は、よりシンプルなツールと軽量のルックアップ中心の回路を可能にするためにイーサリアム財団のバリー ホワイトハットによって元々提案されたビジョンである「ルックアップ特異点」を実装しています。チームは、Jolt が既存の zkVM と同等以上のパフォーマンスを達成し、さらに重要なことに、より合理化されアクセスしやすい開発者エクスペリエンスを提供することを期待しています。### **より便利な開発者エクスペリエンス**Lasso は、既存のアプローチよりも開発者にとって使いやすく、監査可能な zkVM 実装へのパスを提供します。SNARK 設計へのこれまでのアプローチでは、CPU 命令を回路として定式化し、手動で最適化していました。これは、ドメイン固有の言語の専門知識が必要な、低レベルでエラーが発生しやすいタスクでした。対照的に、さまざまな言語エコシステムの開発者は、Lasso を比較的簡単に使用できるはずです。これは、Lasso では命令がサブテーブル分解によって定義されるためです。その「大きな」ルックアップ テーブルは、多数の小さな「サブテーブル」で構成されます。さらに重要なことは、このような分解は高級プログラミング言語で簡潔に記述できることです。たとえば、命令は Rust のわずか 50 行で実装できます。さらに、異なる命令セット内の多くの命令は概念的には同じであり、大量のコードを繰り返すことができます。たとえば、WASM、EVM、RISC-V はすべて、同じ基本的な算術演算、ビット単位の演算、および比較演算を指定します。### **レビューが簡単**Lasso によって開発者のエクスペリエンスが簡素化されるため、以前の方法よりも監査が容易になります。多くの SNARK が今日のブロックチェーン上ですでに莫大な価値を獲得しているため、zkVM の監査可能性は特に価値があります。 Lasso は Rust で命令ロジックを実装し、命令セット間でのコードの重複を促進するため、監査対象の領域を比較的小さくて読みやすいコード ベースに集中させます。現在、Jolt を完全に実装するために必要な作業に加えて、次のような多くのタスクが進行中または他の開発者による完了を待っています。* KZG の多線形バリアント (PST、Zeromorph など)、Dory、Ligero、Brakedown、Sona などのさまざまな多項式コミットメント スキームの実装/統合* Quarks 論文のセクション 6 に記載されている製品パラメータの最適化を実現します。* より広範なベンチマークとエラー処理* SNARK 再帰を利用して効率的なオンチェーン証明検証を実現
Lasso と Jolt、a16z によって発売された新しい SNARK ベースのゼロ知識証明ツール
フェリックス、ペンシルバニア州ニュース
a16z Crypto は、Lasso と Jolt という 2 つの SNARK 関連テクノロジーを発表しました。その中で、Lasso は証明者のコストを大幅に増加させる可能性のある新しいルックアップ パラメータであり、Jolt (Just One Lookup Table) はイーサリアム仮想マシンと互換性のあるロールアップ用に設計されたフレームワークであり、Lasso メソッドを使用して SNARK VM を構築する新しい方法です。 Lasso と Jolt は、Web3 でのアプリケーションのスケーリングと構築を大幅に高速化することができ、これらを組み合わせることで、広く導入されているツールチェーンのパフォーマンスを一桁以上向上させることができる SNARK 設計への新しいアプローチを実現します。また、開発者エクスペリエンスが向上し、より便利になり、監査も容易になります。 Lasso と Jolt は、パフォーマンス、開発者エクスペリエンス、監査可能性という 3 つの主要な懸念事項に対処します。
パフォーマンスの高速化
Lasso は、証明者が以前の作品よりも少ない、より小さな値を約束する新しい検索パラメータです。 a16z 暗号の研究チームは、Lasso は SNARK 証明者の全体的な速度を大幅に向上させることができ、Halo2 ツールチェーンなどのツールと比較してパフォーマンスを 10 倍向上させることができるため、より高速な ZK ロールアップの開発に役立つと述べています。最適化完了後は約40倍の性能向上が見込まれます。したがって、チームは、Lasso の証明者テクノロジーが、主要なイーサリアム L2 スケーリング ソリューションで採用されている既存のすべてのゼロ知識 SNARK 証明者テクノロジーよりも優れたパフォーマンスを発揮すると信じています。
Jolt は、よりシンプルなツールと軽量のルックアップ中心の回路を可能にするためにイーサリアム財団のバリー ホワイトハットによって元々提案されたビジョンである「ルックアップ特異点」を実装しています。チームは、Jolt が既存の zkVM と同等以上のパフォーマンスを達成し、さらに重要なことに、より合理化されアクセスしやすい開発者エクスペリエンスを提供することを期待しています。
より便利な開発者エクスペリエンス
Lasso は、既存のアプローチよりも開発者にとって使いやすく、監査可能な zkVM 実装へのパスを提供します。
SNARK 設計へのこれまでのアプローチでは、CPU 命令を回路として定式化し、手動で最適化していました。これは、ドメイン固有の言語の専門知識が必要な、低レベルでエラーが発生しやすいタスクでした。対照的に、さまざまな言語エコシステムの開発者は、Lasso を比較的簡単に使用できるはずです。
これは、Lasso では命令がサブテーブル分解によって定義されるためです。その「大きな」ルックアップ テーブルは、多数の小さな「サブテーブル」で構成されます。さらに重要なことは、このような分解は高級プログラミング言語で簡潔に記述できることです。たとえば、命令は Rust のわずか 50 行で実装できます。さらに、異なる命令セット内の多くの命令は概念的には同じであり、大量のコードを繰り返すことができます。たとえば、WASM、EVM、RISC-V はすべて、同じ基本的な算術演算、ビット単位の演算、および比較演算を指定します。
レビューが簡単
Lasso によって開発者のエクスペリエンスが簡素化されるため、以前の方法よりも監査が容易になります。多くの SNARK が今日のブロックチェーン上ですでに莫大な価値を獲得しているため、zkVM の監査可能性は特に価値があります。 Lasso は Rust で命令ロジックを実装し、命令セット間でのコードの重複を促進するため、監査対象の領域を比較的小さくて読みやすいコード ベースに集中させます。
現在、Jolt を完全に実装するために必要な作業に加えて、次のような多くのタスクが進行中または他の開発者による完了を待っています。