これは、受信したクレームを並行して処理することで実現され、結合されたクレームを証明する前にすべての個別のクレームを受信する必要があった以前のスケーラビリティの障壁を回避します。現在、SHARP は数千のトランザクションの正当性を証明できるだけでなく、複数の STARK 証明を対応する STARK バリデーターで検証することもできます。これにより、複数の上流の証明の有効性を示す単一の証明を生成できます。
STARK ベースの再帰的証明生成を活用することで、このテクノロジーはイーサリアム ネットワークのスケーラビリティと効率を大幅に向上させます。
原文表示
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
StarkWare が共有プルーファー SHARP を発売: ガス料金をさらに削減するにはどうすればよいですか?
作者: スターウェア
翻訳と校正: Starknet 中国語コミュニティ
注目の概要
延長ツアー
イーサリアムのスケーリングはイノベーションの旅であり、スケーラビリティをさらに向上させるソリューションを常に探しています。 2020 年 6 月、StarkWare は STARK に基づく初の L2 拡張ソリューションである StarkEx を発売しました。 2020 年 9 月に、STARK 証明の効率を最大化するように設計された最初のプログラミング言語である Cairo 言語が発表されました。 Cairo は、一般的なコンピューティングと同様に、あらゆるビジネス ロジックや任意の計算ステートメントの高速かつ安全にコード化された証明への道を開きます。この革新により、新しい開発者の波が StarkWare エコシステムに加わりました。
開発者は StarkEx のスケーラビリティ、セキュリティ、効率性を望んでいますが、ほとんどのプロジェクトには STARK 証明を満たすのに十分なトランザクション アクティビティがありません。同様に、ユーザーは依然として、イーサリアムネットワークの混雑によるガス料金の上昇という予測不可能さに悩まされています。
こうしてシャープは誕生しました。
シャープとは何ですか?
SHARP (SHARed Prover) は、集約された Cairo プログラムの STARK 証明を生成するように設計された強力なシステムです。 Cairo は、単一の証明でさまざまなコード ロジックに対応できる汎用の計算プログラミング言語です。 SHARP はオフチェーンでトランザクションのバッチを処理し、その計算証明をオンチェーンで証明し、すべてのトランザクションのコストを 1 つの証明に償却します。生成された統合 STARK プルーフは、チェーン上の Solidity バリデーターコントラクトによって検証され、SHARP がスループットを向上させ、ガスコストを削減し、レイテンシーを最小限に抑えることができます。
たとえば、SHARP は、NFT ミントから Starknet ネットワーク オペレーティング システムまでを含む、まったく異なるプログラムやロジックからの Cairo コードを処理できます。 SHARP はカイロで書かれたものであれば認証でき、さまざまなプログラムを 1 つの証明に集約できます。 SHARP によってもたらされた効率により、メインネット上で数千のトランザクションを 1 つのプルーフにパッケージ化することができます。オンチェーンでプルーフを処理するコストは、バッチ内のすべてのトランザクションにわたって償却されるため、より多くのトランザクションがパッケージ化されるほど、トランザクションあたりのガスコストは低くなります。
これを例で説明すると、次のようになります。
あなたとあなたの妹が、新しい電話、マグカップ、T シャツなど、両親へのプレゼントを買い物しているとします。各ギフトは異なるオンライン小売業者から購入され、異なるサイズと形状のパッケージで、異なる日付にそれぞれのご自宅に配送されます。あなたの計画は、それぞれのギフトを包装して両親に郵送することです。
しかし、郵便局はトラブルに見舞われました。小箱と中箱はなくなり、任意のサイズを収納できる大箱のみが残ります。これにより、次の 2 つの選択肢が残ります。
オプション 1: 各ギフトは個別に包装され、大きな箱に入れて郵送されます。これにより、1 つのギフトの発送が早くなる可能性がありますが、3 つの別々の箱に梱包し、3 つの別々の荷物を送るために郵便局に 3 回行く必要があります。したがって、この方法は時間の節約にもならず、費用対効果も高くありません。
オプション 2: すべてのギフトを 1 つの大きな箱に入れて郵送します。これは、3 つのボックスではなく 1 つのボックスだけを処理すればよいことを意味します。
この例では、SHARP がオプション 2 であり、リソースの効率的な利用とよりスムーズな時間管理が可能になります。
シャープ
SHARP は StarkWare エコシステムのために生まれましたが、有効に実行されたカイロ プログラムを認証できます。時間とコストを効率的に節約できるシャープは、革新的な証明方法を必要とするあらゆる人にとってのソリューションとなります。
再帰的シャープ
SHARP は創業以来、いくつかの効率改善を行ってきました。これらの中で最も強力なのは、線形モデルから再帰モデルへの移行です。
再帰的証明では、SHARP は、証明を埋めるためにクレームのバッチを収集し、クレームのバッチの処理を証明するのではなく、到着した各クレームを証明します。これは、計算自体よりもはるかに速く、計算の主張を検証するための時間効率の高い方法です。
これは、受信したクレームを並行して処理することで実現され、結合されたクレームを証明する前にすべての個別のクレームを受信する必要があった以前のスケーラビリティの障壁を回避します。現在、SHARP は数千のトランザクションの正当性を証明できるだけでなく、複数の STARK 証明を対応する STARK バリデーターで検証することもできます。これにより、複数の上流の証明の有効性を示す単一の証明を生成できます。
再帰的実装後、SHARP は受信したクレームを即座に証明します。証明自体を反復したり、再帰的証明に結合したりすることができます。この再帰的な証明プロセスは最後まで実行され、最終的な証明はオンチェーンの Solidity バリデーターコントラクトに送信されます。これは入れ子になったスキーマのようなものです。Cairo プログラムが上流のプルーフを検証し、それが新しいプルーフを生成し、STARK バリデータがその有効性を確認します。
前の例えで言えば、郵便局は当初、標準的な箱サイズが 1 つだけしか提供していませんでしたが、再帰的な SHARP は、それぞれが 1 つの品物に特別に割り当てられた、さまざまなサイズの小さな箱を提供することで画期的な進歩をもたらしました。箱はそれぞれの特定の商品のサイズに正確に合わせて作られているわけではありませんが、この革新的なアプローチにより、ギフトは小さな箱に梱包されて届くため、未使用スペースに対する不必要な料金が不要となり、遅延が軽減されます。 3 つのギフトがすべて到着するのを待ってから 1 つの大きな箱に梱包するのではなく、小さな箱をラッピングして、すべてのプレゼントの準備ができたらすぐに発送することができます。
次のステップ: 動的レイアウト
StarkWare チームは現在、SHARP サービスのカスタマイズとして動的レイアウトを開発中です。動的なレイアウトを使用すると、証明者は特定のロジックごとに必要なリソースを計算し、それに応じてカスタマイズされた証明を生成します。
再び郵便局に例えると、動的レイアウトはカスタム ボックスのアイデアとして見ることができます。これらのカスタム ボックスは、各ギフトの形状に完全にフィットするように作られているため、必要な正確なサイズの料金のみをお支払いいただき、不必要な料金を回避できます。同様に、動的レイアウトでは、各ロジックとそれに必要な特定のコンピューティング リソースに対してカスタム プルーフが作成されるため、使用したコンピューティングの料金のみを支払うことが保証されます。 SHARP はカイロで書かれたものであれば正確な証明を行うことができます。
StarkWare チームは、この適応性と効率の向上を SHARP の次のリリースで導入したいと考えています。動的レイアウトの目標は、ガスコストを大幅に削減することです。
STARK ベースの再帰的証明生成を活用することで、このテクノロジーはイーサリアム ネットワークのスケーラビリティと効率を大幅に向上させます。