研究

（広告）

KaspaのvProgsを探る：スケーラブルで検証可能なアプリケーションのためのフレームワーク

vProgs は、ネットワークの高いスループットを維持しながら dApp をサポートするオフチェーン実行ツールを Kaspa に装備します。

UC Hope

2025 年 9 月 12 日

（広告）

KaspaのBlockDAGアーキテクチャの背景 Kaspa vProgs とは何ですか?vProgsのコア技術機能ベルリンでのカスパ体験カンファレンス課題と実装のタイムライン結論よくある質問

カスパ最初の草稿を公開した vProgs イエローペーパー 11年2025月XNUMX日。この文書は、ゼロ知識証明によって保護され、Kaspaのレイヤ1ネットワーク.

このフレームワークは、ネットワークの高いブロック生成率を維持しながら、分散型アプリケーションをサポートすることを目指しています。 @DailyKaspaによるX投稿これは、ベルリンで開催される Kaspa Experience カンファレンスの前日に行われ、開発者とコミュニティメンバーがプロジェクトのロードマップについて話し合う予定です。

KaspaのBlockDAGアーキテクチャの背景

Kaspaは、次のような線形ブロックチェーンとは異なる動作をする。 Bitcoin or EthereumブロックDAGを採用することで、複数のブロックが並列に相互参照できるようになり、マイニング中に孤立ブロックが発生する可能性を低減します。この設計は、ヨナタン・ソムポリンスキー氏が開発したGHOSTDAGプロトコルに基づいており、セキュリティを損なうことなくより高いブロックレートに対応するためにナカモトコンセンサスを拡張しています。

現在、カスパ 10秒あたりXNUMXブロックを処理ブロック処理能力は毎秒32ブロック、長期的には100ブロックまで向上させる計画です。承認は通常10～10,000秒以内に行われ、主な制限はオンチェーン処理ではなくネットワークレイテンシです。これにより、理論上のスループットは毎秒3トランザクションを超え、シャーディング実装前のレイヤー7におけるビットコインの毎秒15～30トランザクション、またはイーサリアムの毎秒1～XNUMXトランザクションをはるかに上回ります。

ネットワークはプルーフ・オブ・ワーク（PoW）のコンセンサスに基づいており、マイナーは計算パズルを解いてブロックを追加します。取引手数料とブロック報酬は、 KASトークンKaspaネットワークのネイティブ暗号通貨です。Kaspaは2021年に、ベンチャーキャピタルからの資金提供を避け、公平な分配モデルを採用してローンチされました。これは、コミュニティ主導の開発に貢献しています。

Kaspaは主に決済とデータ決済のベースレイヤーとして機能し、代替トークン用のKRC-20などの標準規格を組み込んできました。vProgs提案までは、スマートコントラクトのネイティブサポートが不足しており、基本的な操作はよりシンプルなスクリプトに依存していました。

有望なプロジェクトを発見...

有望なプロジェクト...

（広告）

記事は続きます…

Kaspa vProgs とは何ですか?

vProgsは検証可能なプログラムの略で、メインチェーン外で複雑なロジックを実行し、その結果がKaspaのレイヤー1で検証できることを保証するシステムを導入しています。各vProgは自己完結型のユニットとして機能し、プログラムが動作するのと同様に、独自の状態と遷移ルールを管理します。サンルームただし、ゼロ知識証明の検証が追加されます。

ゼロ知識証明により、証明者は基礎となるデータを開示することなく計算の正しさを証明できます。vProgsでは、これらの証明は定期的にレイヤー1に送信され、オフチェーンアクティビティの整合性を確認します。このアプローチにより、メインチェーンは軽量化され、実行ではなく検証に重点が置かれます。これは、Kaspaのスピードと効率性への重点と合致しています。

イエローペーパー草案（バージョン0.0.1）では、vProgは「主権を持ちながらも構成可能な」アプリケーションを実現すると説明されています。主権とは、各vProgが読み取りおよび書き込み権限を含む内部操作を独立して制御することを意味します。構成可能性とは、あるvProgが別のvProgからデータを読み取ることを可能にし、アプリケーション間トランザクションなどの相互作用を容易にしますが、書き込みは競合を回避するため、元のvProgに制限されます。

vProgsの開発は、2025年XNUMX月のKaspaの研究フォーラムの議論スレッドに遡り、そこで貢献者たちは同期構成における課題これには証明の遅延やリソース共有などが含まれます。ドラフトにはこれらのセッションからのフィードバックが反映されていますが、アカウント作成プロセスやデータプルーニングのメカニズムなど、多くの要素はまだ改良段階にあります。

vProgsのコア技術機能

vProgs の機能は、高スループット環境での依存関係と効率性を処理するように設計されたいくつかのメカニズムによって支えられています。

校正ステッチ: プルーフステッチングは、相互接続された vProg からの複数のゼロ知識証明を単一のコミットメントに結合し、それをレイヤー 1 に送信します。これにより、ロールアップベースのシステムで一般的な中間遅延なしに結果が同時に解決される、アプリケーション間のアトミックトランザクションがサポートされます。

条件付き証明バッチ条件付き証明バッチは、関連するトランザクションをまとめて証明するため、計算オーバーヘッドを削減します。例えば、複数のスワップを含むDeFiシナリオでは、バッチ処理によって必要な個別の証明の数を削減できます。

計算DAG: Computation DAGは、KaspaのblockDAG構造を反映した依存関係グラフをアプリケーション層に形成します。vProg間のデータフローを追跡することで、参照情報の可用性を維持し、並列処理中でも実行順序を維持します。このグラフは、依存する操作を順序付けすることで過負荷を防ぎます。

リソースメータリングリソースメータリングは、コスト管理のための制御機能を導入します。内部的には、各vProgは独自のレイヤー2ガスモデルを使用して計算を行います。レイヤー1では、ScopeGasがvProg間のインタラクションを計測し、データの依存関係に基づいて料金を請求することで、スパムや過剰なリソース使用（あるアプリケーションが別のアプリケーションの入力要件をフラッディングするなど）を抑制します。

経済モデルvProgsの経済モデルは、パーミッションレスな証明者（証明を生成・提出するノード）に依存しており、証明者はユーザーから手数料を受け取ります。ライブネス（適時証明の保証）は、証明者が協力する楽観的モードと、アプリケーションが独立して実行される主権的モードの2つのモードで機能します。この仕組みにより、中央集権的なコーディネーターに依存せずに、参加を奨励できます。

プライバシー機能プライバシー機能はゼロ知識証明から自然に生まれ、機密取引やオラクルなどのアプリケーションにおいて暗号化された状態を可能にします。このフレームワークは、検証可能な出力をKaspaの高速な確認時間に結び付けることで、マイクロペイメントから企業のデータ決済まで、幅広いユースケースをサポートします。

ベルリンでのカスパ体験カンファレンス

vProgsの発表は、カスパ体験13年2025月500日にベルリンのアトリエ・ガーデンズで開催されるコミュニティカンファレンス「KAS」。この150日限定イベントはチケット50枚限定で、価格はXNUMXドルに加え、アフターパーティー料金XNUMXドルです。支払いはKASトークンで行います。これは、飲食物やグッズなどのイベントロジスティクスにおける暗号通貨の実用化の早期例となります。

アジェンダには、GHOSTDAGの進歩に関するSompolinsky氏をはじめとするコア開発者による基調講演、スマートコントラクト統合に関するパネルディスカッション、そして実用的な実装に焦点を当てたワークショップが予定されています。ハッカソンではプロトタイピングを奨励し、Kaspa Art Expoではネットワークの創造的な活用例を展示します。vProgsに関する専用セッションはスケジュールに記載されていませんが、イベントのプレス資料では、KaspaのプログラマブルレイヤーがDeFiおよび決済システムの基盤として強調されており、新しいフレームワークに関する非公式な議論が行われることが示唆されています。

マイナー、マーチャント、開発者などから選ばれた参加者は、Kaspaの分散型精神を強調した環境でネットワーキングを行います。このカンファレンスは、オンラインフォーラムやTelegramチャンネルを基盤とした、プロジェクト初の大規模な対面式集会となります。

課題と実装のタイムライン

vProgsの実装には、ゼロ知識システムに共通するハードルが伴います。証明生成は依然として計算負荷が高く、Kaspaのブロック速度は高速であるにもかかわらず、遅延が発生する可能性があります。開発者は、Ethereum仮想マシンなどの環境からの移植を容易にするために、仮想マシンの互換性に対処する必要があります。

フォーラムの貢献者は、あるvProgの活動が他のvProgに影響を与える外部性を軽減するためのガスシェアリングモデルをシミュレートしました。計算DAGにおけるデータの可用性は、集中化リスクを回避するために慎重な設計が必要です。

2025月の議論におけるタイムラインでは、ドラフトに対するコミュニティからのフィードバックを受けて、XNUMX年第XNUMX四半期までにテストネットを展開する予定でした。メインネットへの完全な統合は監査とパフォーマンスベンチマークに依存し、プルーニングとアカウントメカニズムは将来の改訂で予定されています。

流動性をレイヤー間で分散させる可能性のあるEthereumのロールアップや、スループットの限界をテストするSolanaのオンチェーン実行と比較して、vProgsは検証可能な計算をプルーフ・オブ・ワークのベースレイヤーに直接統合することを目指しています。これにより、分散性を維持しながら、並列ブロック生成を活用します。

結論

vProgs は、構成可能性のためのプルーフステッチング、依存関係管理のための計算 DAG、リソース制御のための ScopeGas など、ゼロ知識証明によって検証されたオフチェーン実行用のツールを Kaspa に装備します。

これらの要素により、数秒ごとにブロックを確認するネットワーク上でアプリケーションがスケーラブルに動作できるようになり、レイヤー 1 のセキュリティを損なうことなく、DeFi からデータ決済までさまざまなユースケースをサポートします。

ソース：

Kaspa Daily X vProgsの記事: https://x.com/DailyKaspa/status/1966149209968505132
vProgs イエローペーパードラフト v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf
同期コンポーザビリティに関する Kaspa 研究フォーラムのスレッド: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
ベルリンでのカスパ体験: https://experience.kaspa.events/

よくある質問

Kaspa の blockDAG とは何ですか? また従来のブロックチェーンとどう違うのですか?

KaspaのblockDAGは、ブロックの並列生成と参照を可能にし、ビットコインが10分ごとに10ブロックを生成するのに対し、XNUMX秒あたりXNUMXブロックの高速化を実現します。この構造は、GHOSTDAGプロトコルを使用することで、高いセキュリティを維持します。

vProgs ではゼロ知識証明はどのように機能しますか?

vProgsのゼロ知識証明により、入力を明かすことなく、オフチェーン計算をKaspaのレイヤー1上で検証できます。証明者はこれらの証明を定期的に提出することで、メインチェーンの効率性を維持しながら状態の整合性を確保します。

vProgs はいつ Kaspa のメインネットで起動しますか?

イエローペーパーの草案では、4年第2025四半期までにテストネットを展開することを目標としており、その後、コミュニティの意見に基づく監査と改良を経てメインネットを展開する予定です。

免責事項

免責事項：この記事で述べられている見解は、必ずしもBSCNの見解を表すものではありません。この記事で提供される情報は、教育および娯楽目的のみであり、投資アドバイスまたはいかなる種類のアドバイスとして解釈されるべきではありません。BSCNは、この記事で提供される情報に基づいて行われた投資決定について一切責任を負いません。記事を修正する必要があると思われる場合は、BSCNチームに電子メールでご連絡ください。 [メール保護].

著者

UC Hope

UCは物理学の学士号を取得しており、2020年から暗号資産の研究者として活動しています。暗号資産業界に入る前はプロのライターとして活動していましたが、ブロックチェーン技術の高い可能性に惹かれて起業しました。CryptopolitanやBSCNなどに寄稿しており、中央集権型金融（CFI）、分散型金融（DFI）、アルトコインなど、幅広い分野を専門としています。

（広告）