@Starknet の最新の開発動向を調べていたところ、SNIP-36 に注目しました。 これは「In Protocol Proof Verification」と呼ばれ、最新の v0.14.4 アップグレードによりさらに注目すべきものになっています。 まず、SNIP-36 とは具体的に何をするものでしょうか？ 重い計算を必要とするアプリケーションを考えてみてください。 こうした処理をチェーン上で直接実行すると、コストが高く、リソースを大きく消費します。 SNIP-36 は、別のアプローチを導入します。 アプリケーションは、適切なロジックをオフチェーンで実行し、その実行結果の STARK 証明を生成して、その証明を Starknet に提出して検証してもらいます。 このプロセスの流れは以下の通りです： - アプリケーションは、特定の Starknet ステートに対してオフチェーンでロジックを実行します。 - STARK プローバーが、その実行が正当であることを示す証明を生成します。 - アプリケーションは、この証明と「proof_facts」と呼ばれるデータを一緒に提出します。 - Starknet のコンセンサスが証明を検証し、アプリケーションのコントラクトは、検証済みの結果を使って必要なステート変更を実行できます。 簡単に言えば、計算はオフチェーンで行われますが、その正しさは Starknet 上で検証可能です。 では、最新のアップグレードがなぜ注目されるのか？ Starknet v0.14.4 では、SNIP-36 は小さな仮想トランザクションにとどまらず、ブロックサイズに相当する大規模な計算の証明もサポートするようになりました。 指定された条件のもとで、単一の証明済みトランザクションには最大 11 億 L2 ガス分の計算が含まれる可能性があります。 つまり、アプリケーションは、通常のチェーン上実行のようにコストを支払う代わりに、計算の実行を証明することで、通常のトランザクションでは処理しすぎてしまうような負荷に対応できるようになります。 では、なぜこれが重要なのでしょうか？ 1. ZKThreads とアプリケーションのスケーリング アプリケーションは、より多くの処理をオフチェーンに移し、検証済みの結果を Starknet に戻すことができます。これにより、ZKThreads を通じたアプリケーション固有のスケーリングが可能になります。 2. プライバシー重視のアプリケーション SNIP-36 は、プライベートな入力を利用しつつ、必要な公開結果のみを公開するアプリケーションのサポートにも利用できます。 現在の実装は計算上のプライバシーを提供しますが、完全な数学的ゼロ知識プライバシー保証とは混同しないでください。 3. 開発者への柔軟性の向上 開発者は、複雑な計算を必要とするアプリケーションを構築する際に、すべての処理を通常のチェーン上実行に押し付ける必要がなくなります。 Starknet の興味深い点の一つは、より多くのトランザクションを処理することだけに焦点を当てていないことです。 複雑な計算を扱うアプリケーションが、すべての負荷をチェーン上に押し付けずに処理しやすくなるように設計されている点です。 それが SNIP-36 の魅力です。 検証可能な結果とともにより多くの計算が可能になることで、Starknet 上での構築者たちに新たな可能性が広がります。 まだ初期段階ですが、注目すべきトピックです。