Lagrange (LA)

ランク #1115

Lagrange (LA) は、ロールアップやその他の検証可能なアプリケーションを実現するための証明を生成する、ゼロ知識（ZK）に焦点を当てたネットワークです。この提案は、さまざまな用途を、スケールした証明生成の連続したレイヤーで接続することで、ネットワークが証明できる範囲を拡張します。

ZK 技術：Prover Network と証明レイヤー

Lagrange は、ZKロールアップ向けの証明生成をサポートするために、ZK Prover Network を拡張しました。さらに、ネットワークは、ZK Coprocessor や State Committee などの既存の能力を追加し、ロールアップ、アプリ、コプロセッサ、相互運用性のための証明が生成できるようにしています。

ZK Coprocessor：ストレージのデータに基づく正しい計算

ZK Coprocessor は、任意のストレージスロットおよび任意のブロック区間に対する正しい計算の証明を生成できると説明されています。フローは、どのスロットとどのブロック範囲をデータセットに含めるかを定義し、その後、並列に実行される計算を指定することを含みます。

証明の生成後、当該証明は、スマートコントラクトの情報から導出されたブロックヘッダーに照らして、データの包含と集約された計算の双方が有効であることを検証します。

目的：ロールアップの採用と有用性を高める

以前、Lagrange は、エコシステムのさまざまなオペレーターによって運用される、生産対応の ZK prover network を立ち上げました。拡張により、ネットワークはロールアップの中核的な課題に取り組み、ZK の採用と有用性を広げようとしています。