整合性検証: Starknet の超高スケーラビリティに向けた大きな一歩

オリジナル翻訳: TinTinLand

コア視点

• Herodotus によって開発された整合性検証ツール。これにより、開発者は Starknet 上の他の場所で実行された Cairo プログラムを検証できます。

• 整合性検証機能は、Ethereum 決済前に Starknet に証明圧縮の追加レイヤーを導入することでレイヤー 3 のスケーリングを可能にし、コストを削減します。

• L3 スケーリングは、Starknet のスケーラビリティを向上させるためのいくつかのオプションの 1 つであり、整合性検証の追加コスト削減のメリットを享受できる完全にカスタマイズ可能なアプリチェーンの構築への扉を開きます。

• その他のユースケースでも、保管証明検証やゼロ知識機械学習など、Starknet 上の整合性検証ツールの検証機能の恩恵を受けることができます。

導入

2 年前、StarkWare はフラクタル スケーリングとレイヤー 3 の概念を導入しました。これにより、開発者はレイヤー 2 ネットワークよりも低コストで完全にカスタマイズ可能なアプリケーション チェーンを構築できます。現在、ストレージ プルーフのイノベーターである Herodotus が、この機能を Starknet に導入するための最初の大きな一歩を踏み出しています。

StarkWare のサポートを受けて、Herodotus は整合性検証ツールをリリースしました。これにより、開発者は Starknet 上で Stone の証明を検証できます。この新しい検証ツールを使用すると、開発者は Ethereum 上で Starknet の実行を検証するのと同じ方法で、Starknet 上の他の場所で実行された Cairo プログラムを検証できます。

L3アプリケーションチェーンへの扉を開く

整合性検証ツールの最も強力な機能の 1 つは、開発者が低コストで Starknet 上に特殊なチェーン (アプリケーション チェーン) を構築できることです。

これには、Starknet の上に、トランザクションを実行し、その有効性を証明する証明にまとめることができるレイヤーを構築する必要があります。L2 でのこれらの証明の検証では、整合性検証ツールが役立ちます。この新しい検証ツールを使用すると、Stone (および今後登場する Stwo) を使用して生成された証明を Starknet で検証できるため、アプリケーション チェーンで実行されたトランザクションを検証できます。

Starknet アプリチェーンは依然として Ethereum 上に構築されているため、Starknet 自体と同様に、そのネットワークのセキュリティを継承します。ただし、Starknet 上のアプリチェーンには、追加の利点もあります。

• カスタマイズ: 全体的に、AppChain は開発者にパブリック L2 で既に実現しているよりも大きな柔軟性を提供し、アプリケーションのあらゆる側面をカスタマイズする能力を最大限に高めます。たとえば、ブロック サイズ、レイテンシ、データ可用性パターンをカスタマイズしたり、パブリック L2 がサポートしていない機能を実装したりすることもできます。

• 超高スケーラビリティ: アプリケーション チェーンが L3 として構築されると、Starknet は Ethereum で検証する前に証明をさらに圧縮します。このようなアプリケーション チェーンは別のコスト削減の恩恵を受け、高頻度の DeFi トランザクション、サプライ チェーン管理、フル チェーン ゲームなどのより複雑なユース ケースを開発することが経済的に実現可能になります。

• 混雑を避ける: アプリケーション チェーンは、より安定したトランザクション環境 (ゲームなどのリアルタイム アプリケーションにとって重要) を提供し、ブロックチェーンが広く採用されたときにパブリック L2 で発生する可能性のあるネットワーク輻輳を回避します。

• スケーラブルな認証のその他の利点

全体像を見ると、Cairo はチューリング完全な言語であるため、整合性検証ツールは Cairo プログラムの実行を検証し、Starknet 上のあらゆる計算を安価に検証できます。この追加のコスト削減レイヤーは多くのユースケースにメリットをもたらします。アプリケーション チェーン以外の 2 つの顕著な例としては、ストレージ証明とゼロ知識機械学習 (ZKML) があります。

ストレージ証明により、第三者を信頼する必要なく、過去の任意の時点でのブロックチェーンの状態を経済的に検証することが可能になります。興味深いことに、整合性検証ツールの背後にあるチームである Herodotus は最近、ジェネシス ブロックから始まる Ethereum の信頼できない証明を提供することで、ストレージ証明をさらに一歩進めました。STARK 証明はストレージ証明のコストを削減し、整合性検証ツールはコストをさらに削減する道を開きます。

AIが私たちの生活に浸透するにつれ、ゼロ知識証明を使用してAIモデルの計算を検証するZKMLの概念がますます注目を集めています。

AI のように透明性が欠如していることが多い分野では、整合性検証ツールの出現がゲームチェンジャーとなる可能性があります。スケーラブルな AI 検証では、モデルがどのように「考える」か、または結論に達するかについての洞察は得られませんが、正しいモデルが実際に使用されたかどうかは検証できます。整合性検証ツールなどのツールは、AI モデルの検証をより費用対効果の高いものにすることで、ZKML をより経済的に実行可能にする可能性があります。

Herodotus は、ZKML のイノベーター Giza とのコラボレーションを発表し、整合性検証などの新しいテクノロジーの拡張を通じて、開発者が強力で安全かつ信頼できない AI アプリケーションを構築できるように支援します。

結論は

整合性検証ツールのリリースは、Starknet の超高スケーラビリティに向けた第一歩です。開発者が Starknet 上の他の場所で実行される Cairo プログラムを検証できるようにすることで、検証ツールはネットワークにまったく新しい機能をもたらします。これらの機能は、コストをさらに削減しながらカスタマイズ可能なアプリケーション チェーンを構築することから、ZKML などの新しいユース ケースを開発することまで多岐にわたります。L3 は、Starknet のスケーラビリティを強化するツールの 1 つに過ぎず、今後もさらに多くのツールが登場する予定です。

スタークネット シード グラント プログラム

より多くの開発者がStarknetエコシステムに参入し、新しいプロジェクトを効率的に開発できるようにするために、Starknetエコシステムはシードファンディングプログラムを開始しました。このプログラムは、最大US$25,000 USDCの非希釈資金報酬を提供することで、より多くの開発チームをサポートし、Starknetエコシステムの開発を強化することを目的としています。

シード助成金プログラムでは、申請と評価のプロセスが合理化されており、申請提出後約 2 週間以内に決定を下すことを目標としています。

シード資金は主に、最小限の実行可能な製品 (MVP) または概念実証 (POC) を開発済みだがまだ開始されていないプロジェクトを対象としています。次の基準を満たすプロジェクトとチームが応募できます。

• Starknet コミュニティ活動に積極的に参加しているか、Starknet ハッカソン、ビルダー プログラム、またはその他のエントリー レベル プログラムに参加したことがある。

• MVP または POC が開発されました。

• 既存の Starknet ツールと統合を使用または構築することを計画しているプロジェクト。

すべてのチームは、今後 3 か月間に資金をどのように使用するかを詳しく説明した明確な計画を提示する必要があります。Starknet コミュニティは、製品の種類に制限なく、あらゆる業界からの応募を歓迎します。

アプリケーションプロセス

• 適用する

プロジェクト申請は、申請書を提出することで行えます。今後 3 か月間に資金がどのように使用されるかを説明する明確なロードマップが必要です。

• 内部レビュー

内部委員会は、潜在的な影響、革新性、マイルストーン、コミュニティの関与、実績、Starknet エコシステムとの統合に基づいて各申請を評価します。

• 結果通知

ご申請の結果については、約 2 週間以内にお知らせする予定です。

• プロセス

KYC（顧客確認）を正常に完了し、資金提供契約に署名すると、資金を受け取ることができます。

• フォローアップ

3 か月後、財団は助成金受給者をフォローアップし、結果を評価します。助成金受給者は、このプロセスを支援するために、チームと定期的な更新情報 (ブログ投稿、ビデオ、AMA など) を共有する必要があります。

不適格な申請者

このプログラムは成熟したプロジェクトには適していません。製品が 3 か月以上オンラインになっている場合や、コア ユーザーのグループが存在する場合は、シード ファンディング プログラムの対象にはなりません。

Starknet コミュニティでは、以下の内容に関する申請は受け付けていません。

• ギャンブル

• 毒

• 銃器

• 違法取引

• 資金洗浄

• あらゆる犯罪行為

すぐに申し込む

▶️ https://forms.monday.com/forms/34e1d6aab0c5a173758aa66ee34660cf?r=apse2

よくある質問

• シード助成金制度とは何ですか?

シード グラント プログラムは、最大 $25,000 USDC の非希薄化資金報酬を提供することで、Starknet エコシステムの開発を強化するチームをサポートすることを目的としています。

• 応募資格

シード グラント プログラムは主に、最小限の実行可能な製品 (MVP) または概念実証 (POC) を開発済みだが、まだ市場に投入されていないプロジェクトを対象としています。

以下の基準を満たすプロジェクトおよびチームが応募できます。

• Starknet コミュニティ活動に積極的に参加しているか、Starknet ハッカソン、ビルダー プログラム、またはその他のエントリー レベル プログラムに参加したことがある。

• MVP または POC が開発されました。

• 既存の Starknet ツールと統合を使用または構築することを計画しているプロジェクト。

• 申請に対する返答を受け取るまでにどのくらい時間がかかりますか？ ?

申請者は 2 週間以内に返答を受け取る予定です。

• 主にどのようなプロジェクトに資金が提供されていますか?

製品の種類に制限はありません。Starknet 上に構築されたプロジェクトで要件を満たしていないものはすべて、資金援助を申請できます。

• アプリケーションアドバイス

応募する際には、プロジェクトの目標、潜在的な影響、Starknet エコシステムとの連携方法など、プロジェクトの包括的な概要を示すことが重要です。

プロジェクトの独自の価値提案と、それがエコシステム内の既存の課題をどのように解決するか、または機会にどのように対応するかを明確に説明します。

さらに、チームの専門知識、経験、貢献を詳しく説明して、なぜあなたのチームがこのプロジェクトを実現するのに最適であるかを説明します。

資金の使用についてよく考えられた計画を立てることは、資金がどのように配分されるかを明確に理解し、プロジェクトの成功につながるため、非常に重要です。

• 業界に何か制限はありますか？

あらゆる分野からの応募を歓迎しており、検討対象となるプロジェクトの種類に制限はありません。

• 25,000 個以上必要な場合はどうなりますか?

$25,000 を超える金額が必要な場合は、他の資金調達源を検討するか、当社のチームと具体的なニーズについて話し合うことをお勧めします。

シード助成金プログラムでは $25,000 を上限とした資金が提供されますが、一部のプロジェクトではより多くの資金が必要になる場合があることを理解しています。

代替案やさらなるサポートの機会についてご相談いただく場合は、お気軽にお問い合わせください。

• すでに Starknet 上に構築され、エコシステムに参加しているプロジェクトを好みますか?

どのプロジェクトでも応募できますが、Starknet との以前のコラボレーションや関与を実証できれば、プロジェクトが際立つ可能性が高まります。

🔍 QA の詳細については、元のテキストを確認してください:

https://www.starknet.io/en/ecosystem/grant

選ばれたプロジェクトの最初のバッチ

シード グラント プログラムに選ばれた最初の一連のプロジェクトが発表されました。より多くの開発者がこれらのプロジェクトの調査から独自の開発インスピレーションを見つけられることを願っています。

選ばれたプロジェクトの最初のバッチは次のとおりです。

• ブロックチェーンゲーム開発会社Underware

2023年にRob Morrisとmataleoneによって設立され、funDAOmentalとEndless Crawlerのコラボレーションにより、フルチェーンゲームと自律世界の先駆者であるベテランビルダー、アーティスト、デザイナー、ストーリーテラー、パイオニアで構成されたオンチェーンゲームスタジオです。

• ブロックチェーンゲーム「ML Village」

ML VillageはAIモデルを構築しています 市場 ボット対ボットのオンチェーンゲームに重点を置き、オンチェーン/オフチェーンの推論の証明には zkML が使用されます。

• オンラインコレクターマーケットプレイス「サンダー」

Thunder を使用すると、カード取引のスリルを体験でき、オンライン コレクションをシームレスに保護し、簡素化できます。Thunder と Starknet の提携により、収集品取引に革命が起こります。今後、取引の高速化、手数料の削減、拡張性の向上が期待されます。

• ハイブリッドオンチェーン/オフチェーン指値注文帳DEXレイヤーAkire

LayerAkira は、ネットワーク上のすべてのユーザーに高い流動性を提供し、公平性と価格の透明性を標準化することを目指して、Starknet 上に初のハイブリッド オンチェーン/オフチェーン中央指値注文帳 (CLOB) を構築しています。

• オンラインロールプレイングゲーム スターケイン

Starkane は、革新的な Dojo エンジンを基盤とし、3D グラフィックスに Unity を活用した、アニメ スタイルの完全連鎖型戦術 RPG です。ゲーマーやクリエイターが広大なゲームの世界に参加できます。

• 分散型ゲームサーバーPrimisプロトコル

Primis Protocol は、Liquid Staking を搭載した分散型ゲーム サーバーを提供し、究極のブロックチェーン ゲームの世界を実現します。そのコア ゲームには、無限の進行と戦闘、広範な開発オプション、ユーザー生成コンテンツが備わっています。Liquid Staking を使用した経済モデルと関連しており、資産の価値によってゲームの複雑さと規模が決まります。

• AIインタラクティブゲーム「テイルウィーバー」

Tale Weaver は AI とインタラクティブ ゲームを組み合わせて、プレイヤーがデジタル ストーリーテリングのルールを書き換えられるようにします。プレイヤーはストーリーに影響を与え、選択と結果の無限のサイクルの中でストーリーが展開するのを目撃することができ、オンチェーン ゲームと NFT の世界に革命を起こすことを目指しています。

• DeFi 利回りアグリゲーター STRKFarm

STRKFarm で Starknet の広大な DeFi 環境を簡単にナビゲートすることで、ユーザーは最も価値のあるプールを特定し、$STRK 報酬を最大化できます。STRKFarm は、ユーザーに Starknet の究極の収益アグリゲーターを提供し、まもなく限定の早期導入者向け NFT をリリースする予定です。

• コンプライアンス募金契約 Kamea Labs

Kamea Labs は、ユーザーが関心のある投資家にプロジェクトを紹介できる、完全準拠の自己管理型プラットフォームである Genki と提携して、資金調達の未来を構築しています。

• 分散型非管理賞金貯蓄プロトコルBountive

Bountive は、Starknet 上の分散型非管理型ボーナス貯蓄プロトコルであり、ユーザーに損失のないボーナスを提供し、ボーナス連動型貯蓄口座の概念に基づく最初の分散型ボーナス貯蓄プロトコルです。

• カイロ学習プロトコルコードジャム

CodeJam は、Web3 コースに重点を置いたオンライン教育プラットフォームです。新しい開発者が簡単に学習できるように設計されており、セットアップは不要です。Web サイトにアクセスして登録し、コーディングを学習して練習するだけです。CodeJam の目標は、Cairo を学習し、StarkNet を探求する次世代の開発者を引き付けることです。

• オープンソースウォレット Cypherock ウォレット

ハードウェア ウォレット CypherockWallet X 1 を使用すると、ユーザーのデジタル資産の安全性を確保でき、現在 $50 百万米ドル以上の資産が保護されています。

• AMMプロトコルBrownFi

BrownFi は、従来の指値注文帳にヒントを得た新しい AMM プロトコルであり、流動性プロバイダーが同様の結合曲線に従って資産をプールに割り当て、全員の利益を最大化します。

• オンチェーンテキストアドベンチャープロトコル「ORugging Trail」

これは、Archetypal Tech が立ち上げた、完全にオンチェーンのテキスト アドベンチャー ゲームです。このプロジェクトでは、まず TheOrugginTrail を Cairo に移植し、美学とテーマが重複するゲームとの構成可能性を調査します。

• 債券市場Lila Finance

LilaFinance は、固定収入 DeFi を開始します。Lila は、NFT が取引可能な形式で金融ポジションを表す分散型固定収入市場を使用し、ユーザーに透明性と効率性を高めた固定収入を提供します。

• オンチェーンゲーム Grugs Lair

これは、Rising Revenant、Blob Arena、Plagues Survivor などの Grugs Lair チームによって構築された完全なオンチェーン ゲームです。

• Web3 ゲームダッシュボード Wendash Analytics

Wendashboard Analytics は、Web3 ゲーム プロジェクト用の包括的なダッシュボードを提供し、チーム メンバーとプレーヤーにオンチェーンの統計と成功に不可欠なツールを提供します。

• コーディネーションスタック、財務、アイデンティティ、ガバナンスに焦点を当てたツールキット

CoordinationLab スタックは、インターネットネイティブ企業の効率性とスケーラビリティを向上させるために、財務、アイデンティティ、ガバナンスに重点を置いたツールキットを提供します。

• ブロックチェーン上のシューティングゲーム「StarkShoot」

StarkShoot は、興奮と革新の限界を押し広げる、画期的なマルチプレイヤーの現実世界のオンチェーン ゲーム体験です。

• 決済ゲートウェイ流入

Inflow Pay は、B2C 企業向けに法定通貨から暗号通貨へのシームレスな取引を促進し、企業がデジタル経済を簡単にナビゲートできるようにする信頼性の高い支払いゲートウェイを提供します。

この記事はインターネットから引用したものです: Integrity Verifier: Starknet の超高スケーラビリティに向けた大きな一歩

関連: チェーンリンク (LINK) は 21% 修正の瀬戸際にある

要約 Chainlinkの価格は現在、弱気反転ヘッドアンドショルダーパターンの形成を目撃しています。投資家の参加も2週間で44%減少しており、潜在的な下落を示唆しています。LINKは、現在約3939万LINKがまだ利益を上げているため、$15.56を超えるサポートを見つける可能性があります。 Chainlink（LINK）は、弱気反転パターンの出現により、近い将来に大幅な調整が見込まれています。ただし、売り手は注意する必要があります。この予想される下落は抵抗に遭遇し、調整の範囲が緩和される可能性があります。 Chainlink投資家は撤退しています Chainlinkの価格はここ数日で修正され、執筆時点ではアルトコインは$17.2で取引されています。投資家の参加の減少など、複数の要因により、このドローダウンはさらに拡大すると予想されます。…