Lagrange

本日、LagrangeはZK Prover Networkを拡張し、ZKロールアップのための証明生成を強化しました。これは既存のZK CoprocessorおよびState Committeeの提供に加わるものです。この新たな追加により、Lagrangeはロールアップ、アプリ、コプロセッサ、相互運用性など、あらゆるものに対する証明を可能にし、インターネット規模で誰もがすべてを証明できる無限の証明レイヤーを実現します。以前、Lagrangeは業界初の本番対応ZK Prover Networkを立ち上げ、Coinbase、Kraken、OKXなどのトップオペレーターによって運営されてきました。現在、LagrangeのZK Prover Networkは、ロールアップが直面する主要な課題に対処し、ZKの採用と実用性を推進するために拡張しています。 ZK Coprocessorは、任意のストレージスロットと任意のブロック範囲に対する正しい計算の証明を生成できます。例えば、Ethereum上のETH/USDC価格の平均を計算したいアプリケーションを考えます。開発者はまず、データセットに含めたいメモリスロットとブロック範囲（約50,400）を指定します。次に、異なるブロックにわたってストレージスロットに対して並列に実行する計算を記述します。証明が生成されると、スマートコントラクト情報から導出されたブロックヘッダに対して、ストレージの包含と集約計算の両方が有効であることを証明します。