Kaspaは2025年9月11日にそのvProgsイエローペーパーの初版を発表しました。この文書は、オフチェーン計算をゼロ知識証明によって保護し、Kaspaのレイヤー1ネットワークに接続された検証可能なプログラム、つまりvProgsのプロトコルについて詳述しています。
このフレームワークは、ネットワークの高いブロック生成率を維持しながら、分散型アプリケーションをサポートすることを目的としています。この発表は、@DailyKaspaによるX投稿を通じて共有され、ベルリンで開催されるKaspa Experience会議の1日前に行われました。この会議では、開発者やコミュニティメンバーがプロジェクトのロードマップについて議論します。
Kaspaは、BitcoinやEthereumといった線形ブロックチェーンとは異なる方法で運営されています。ブロックDAGを採用しており、これにより複数のブロックが並行して互いを参照できるため、マイニング中に孤立ブロックを必要とすることが減ります。この設計は、Yonatan Sompolinskyによって開発されたGHOSTDAGプロトコルに基づいており、高いブロックレートを維持しつつセキュリティを損なうことなく、ナカモトコンセンサスを拡張しています。
現在、Kaspaは1秒あたり10ブロックを処理しており、これを1秒あたり32ブロックに増やし、長期的には100ブロックにする計画です。確認は通常1秒から10秒の間に行われますが、主な制限はオンチェーン処理ではなくネットワークの遅延です。これにより、理論的なスループットは1秒あたり10,000件を超え、Bitcoinの1秒あたり3から7件やEthereumのLayer 1での1秒あたり15から30件を大きく上回ります。
このネットワークはプルーフ・オブ・ワークコンセンサスに依存しており、マイナーは計算パズルを解いてブロックを追加します。取引手数料とブロック報酬は、Kaspaネットワークのネイティブ暗号通貨であるKASトークンで支払われます。Kaspaは2021年に公正な配布モデルで立ち上がり、ベンチャーキャピタルの資金調達を避けたため、コミュニティ主導の開発に寄与しています。
Kaspaは主に支払いとデータの決済のためのベースレイヤーとして機能しており、代替可能なトークンのためのKRC-20のような標準を組み込んでいます。vProgs提案まで、スマートコントラクトのネイティブサポートが欠けており、基本的な操作のためによりシンプルなスクリプティングに依存していました。
vProgs（検証可能なプログラムの略）は、主要なチェーンの外で複雑なロジックを実行し、結果がKaspaのレイヤー1で検証できることを保証するシステムを導入します。各vProgは自己完結型のユニットとして機能し、自身の状態と遷移ルールを管理します。これはSolanaのプログラムが機能する方法に似ていますが、追加のゼロ知識証明検証が行われています。
ゼロ知識証明は、証明者が基になるデータを開示することなく、計算の正確性を示すことを可能にします。vProgsでは、これらの証明は定期的にレイヤー1に提出され、オフチェーン活動の整合性を確認します。このアプローチは、メインチェーンを軽量に保ち、実行ではなく検証に焦点を当てることで、Kaspaのスピードと効率の強調と一致します。
イエローペーパーのドラフト、バージョン0.0.1は、vProgが「主権的でありながらコンポーザブル」なアプリケーションを可能にすると説明しています。主権性は、各vProgが内部操作を独立して制御することを意味し、読み取りおよび書き込みの権限を含みます。コンポーザビリティは、あるvProgが別のvProgからデータを読み取ることを可能にし、クロスアプリケーショントランザクションのような相互作用を促進しますが、書き込みは発信元のvProgに制限され、競合を避けます。
vProgsの開発は、2025年8月のKaspaの研究フォーラムでの議論スレッドに遡ります。その中で、貢献者たちは、証明の遅延やリソースの共有を含む同期的なコンポーザビリティにおける課題に取り組みました。この草案は、これらのセッションからのフィードバックを取り入れていますが、アカウント作成プロセスやデータプルーニングメカニズムを含む多くの要素はまだ改良中です。
vProgsの機能性を支えるいくつかのメカニズムが存在し、高スループット環境における依存関係と効率性を処理するように設計されています:
プルーフステッチング: プルーフステッチングは、相互接続されたvProgからの複数のゼロ知識証明を単一のコミットメントに結合し、それをLayer 1に提出します。これにより、結果が同時に決済されるアプリケーション間のアトミックトランザクションがサポートされ、ロールアップベースのシステムで一般的な中間遅延が発生しません。
条件付き証明バッチ: 条件付き証明バッチは、関連するトランザクションをグループ化して集合的な証明を行うもので、計算コストを削減します。たとえば、複数のスワップを含むDeFiシナリオでは、バッチ処理により必要な個別の証明の数が減少します。
計算DAG: 計算DAGはアプリケーション層で依存関係グラフを形成し、KaspaのblockDAG構造を反映しています。vProg間のデータフローを追跡し、参照された情報が利用可能であり、並列処理の中で実行順序が維持されることを保証します。このグラフは、依存する操作をシーケンス化することでオーバーロードを防ぐのに役立ちます。
リソースメータリング: リソースメータリングはコストを管理するための制御を導入します。内部的に、各vProgは計算のために独自のLayer 2ガスモデルを使用します。Layer 1では、ScopeGasはクロスvProgインタラクションを測定し、スパムや過剰なリソース使用を抑制するためにデータ依存に基づいて料金を請求します。たとえば、あるアプリケーションが別のアプリケーションの入力要件を洪水のように満たす場合です。
経済モデル: vProgsの経済モデルは、許可のない証明者に依存しています。証明者は証明を生成し提出するノードであり、ユーザーから手数料を得ます。生存性、つまりタイムリーな証明の保証は、証明者が協力する楽観的なモードと、アプリケーションが独立して実行される主権的なモードの2つのモードを通じて機能します。この設定は、中央集権的なコーディネーターに依存せず、参加を促進します。
プライバシー機能: プライバシー機能は、ゼロ知識証明から自然に生まれ、機密取引やオラクルなどのアプリケーションで暗号化された状態を可能にします。このフレームワークは、マイクロペイメントから企業データの決済まで、さまざまなユースケースをサポートし、カスパの高速確認時間に検証可能な出力をアンカーします。
vProgsの発表は、2025年9月13日にベルリンのアトリエガーデンで予定されているコミュニティカンファレンス「Kaspa Experience」と一致しています。この1日のイベントは、150ドルのチケットを500枚限定で販売し、50ドルのアフターパーティー料金がかかります。支払いはKASトークンで行う必要があり、食品、飲料、商品などのイベントロジスティクスにおける暗号通貨の早期の実世界での適用を示しています。
議題には、SompolinskyによるGHOSTDAGの進展に関する基調講演、スマートコントラクト統合に関するパネル、実践的な実装に焦点を当てたワークショップが含まれています。ハッカソンではプロトタイピングを奨励し、ネットワークの創造的な利用を展示するKaspaアートエキスポも開催されます。スケジュールには専用のvProgsセッションはないものの、イベントのプレス資料ではKaspaのプログラム可能なレイヤーがDeFiや決済システムの基盤として強調されており、新しいフレームワークに関する非公式な議論が示唆されています。
参加者は、マイナー、商人、開発者から集まり、Kaspaの分散型精神を強調する環境でネットワーキングを行います。カンファレンスは、オンラインフォーラムやTelegramチャンネルでのコラボレーションを基にしたプロジェクトの初めての大規模な対面イベントを代表しています。
vProgsの実装には、ゼロ知識システムに共通するハードルが伴います。証明生成は計算集約的であり、Kaspaの高いブロック速度にもかかわらず、潜在的にレイテンシを引き起こす可能性があります。開発者は、Ethereum Virtual Machineのような環境からのポーティングを容易にするために、仮想マシンの互換性に対処する必要があります。
フォーラムの寄稿者たちは、あるvProgの活動が他に影響を与える外部性を緩和するために、ガスシェアリングモデルをシミュレートしました。計算DAGにおけるデータの可用性は、中央集権リスクを回避するために注意深い設計を必要とします。
8月の議論からのタイムラインは、草案に対するコミュニティのフィードバックに続いて、2025年の第4四半期にテストネットの展開を示しました。完全なメインネット統合は監査とパフォーマンスベンチマークに依存し、プルーニングとアカウントメカニクスは将来の改訂に予定されています。
Ethereumのロールアップと比較して、流動性をレイヤー間で分散させる可能性があるのに対し、Solanaのオンチェーン実行はスループットの限界をテストしますが、vProgsは検証可能な計算をプルーフ・オブ・ワークのベースレイヤーに直接統合しようとしています。これにより、分散化を維持しつつ、並列ブロック生成を活用します。
vProgsはKaspaに、ゼロ知識証明によって検証されたオフチェーン実行のためのツールを提供します。これには、コンポーザビリティのための証明ステッチング、依存関係管理のための計算DAG、およびリソース制御のためのScopeGasが含まれます。
これらの要素は、数秒ごとにブロックを確認するネットワーク上でアプリケーションがスケーラブルに動作できるようにし、Layer 1のセキュリティを損なうことなく、DeFiからデータ決済までのユースケースをサポートします。
ソース:
256k 人気度
35k 人気度
36k 人気度
38k 人気度
KaspaのvProgsを探る: スケーラブルで検証可能なアプリケーションのためのフレームワーク
Kaspaは2025年9月11日にそのvProgsイエローペーパーの初版を発表しました。この文書は、オフチェーン計算をゼロ知識証明によって保護し、Kaspaのレイヤー1ネットワークに接続された検証可能なプログラム、つまりvProgsのプロトコルについて詳述しています。
このフレームワークは、ネットワークの高いブロック生成率を維持しながら、分散型アプリケーションをサポートすることを目的としています。この発表は、@DailyKaspaによるX投稿を通じて共有され、ベルリンで開催されるKaspa Experience会議の1日前に行われました。この会議では、開発者やコミュニティメンバーがプロジェクトのロードマップについて議論します。
KaspaのBlockDAGアーキテクチャの背景
Kaspaは、BitcoinやEthereumといった線形ブロックチェーンとは異なる方法で運営されています。ブロックDAGを採用しており、これにより複数のブロックが並行して互いを参照できるため、マイニング中に孤立ブロックを必要とすることが減ります。この設計は、Yonatan Sompolinskyによって開発されたGHOSTDAGプロトコルに基づいており、高いブロックレートを維持しつつセキュリティを損なうことなく、ナカモトコンセンサスを拡張しています。
現在、Kaspaは1秒あたり10ブロックを処理しており、これを1秒あたり32ブロックに増やし、長期的には100ブロックにする計画です。確認は通常1秒から10秒の間に行われますが、主な制限はオンチェーン処理ではなくネットワークの遅延です。これにより、理論的なスループットは1秒あたり10,000件を超え、Bitcoinの1秒あたり3から7件やEthereumのLayer 1での1秒あたり15から30件を大きく上回ります。
このネットワークはプルーフ・オブ・ワークコンセンサスに依存しており、マイナーは計算パズルを解いてブロックを追加します。取引手数料とブロック報酬は、Kaspaネットワークのネイティブ暗号通貨であるKASトークンで支払われます。Kaspaは2021年に公正な配布モデルで立ち上がり、ベンチャーキャピタルの資金調達を避けたため、コミュニティ主導の開発に寄与しています。
Kaspaは主に支払いとデータの決済のためのベースレイヤーとして機能しており、代替可能なトークンのためのKRC-20のような標準を組み込んでいます。vProgs提案まで、スマートコントラクトのネイティブサポートが欠けており、基本的な操作のためによりシンプルなスクリプティングに依存していました。
**Kaspa vProgsとは何ですか?
vProgs（検証可能なプログラムの略）は、主要なチェーンの外で複雑なロジックを実行し、結果がKaspaのレイヤー1で検証できることを保証するシステムを導入します。各vProgは自己完結型のユニットとして機能し、自身の状態と遷移ルールを管理します。これはSolanaのプログラムが機能する方法に似ていますが、追加のゼロ知識証明検証が行われています。
ゼロ知識証明は、証明者が基になるデータを開示することなく、計算の正確性を示すことを可能にします。vProgsでは、これらの証明は定期的にレイヤー1に提出され、オフチェーン活動の整合性を確認します。このアプローチは、メインチェーンを軽量に保ち、実行ではなく検証に焦点を当てることで、Kaspaのスピードと効率の強調と一致します。
イエローペーパーのドラフト、バージョン0.0.1は、vProgが「主権的でありながらコンポーザブル」なアプリケーションを可能にすると説明しています。主権性は、各vProgが内部操作を独立して制御することを意味し、読み取りおよび書き込みの権限を含みます。コンポーザビリティは、あるvProgが別のvProgからデータを読み取ることを可能にし、クロスアプリケーショントランザクションのような相互作用を促進しますが、書き込みは発信元のvProgに制限され、競合を避けます。
vProgsの開発は、2025年8月のKaspaの研究フォーラムでの議論スレッドに遡ります。その中で、貢献者たちは、証明の遅延やリソースの共有を含む同期的なコンポーザビリティにおける課題に取り組みました。この草案は、これらのセッションからのフィードバックを取り入れていますが、アカウント作成プロセスやデータプルーニングメカニズムを含む多くの要素はまだ改良中です。
vProgsのコア技術的特徴
vProgsの機能性を支えるいくつかのメカニズムが存在し、高スループット環境における依存関係と効率性を処理するように設計されています:
プルーフステッチング: プルーフステッチングは、相互接続されたvProgからの複数のゼロ知識証明を単一のコミットメントに結合し、それをLayer 1に提出します。これにより、結果が同時に決済されるアプリケーション間のアトミックトランザクションがサポートされ、ロールアップベースのシステムで一般的な中間遅延が発生しません。
条件付き証明バッチ: 条件付き証明バッチは、関連するトランザクションをグループ化して集合的な証明を行うもので、計算コストを削減します。たとえば、複数のスワップを含むDeFiシナリオでは、バッチ処理により必要な個別の証明の数が減少します。
計算DAG: 計算DAGはアプリケーション層で依存関係グラフを形成し、KaspaのblockDAG構造を反映しています。vProg間のデータフローを追跡し、参照された情報が利用可能であり、並列処理の中で実行順序が維持されることを保証します。このグラフは、依存する操作をシーケンス化することでオーバーロードを防ぐのに役立ちます。
リソースメータリング: リソースメータリングはコストを管理するための制御を導入します。内部的に、各vProgは計算のために独自のLayer 2ガスモデルを使用します。Layer 1では、ScopeGasはクロスvProgインタラクションを測定し、スパムや過剰なリソース使用を抑制するためにデータ依存に基づいて料金を請求します。たとえば、あるアプリケーションが別のアプリケーションの入力要件を洪水のように満たす場合です。
経済モデル: vProgsの経済モデルは、許可のない証明者に依存しています。証明者は証明を生成し提出するノードであり、ユーザーから手数料を得ます。生存性、つまりタイムリーな証明の保証は、証明者が協力する楽観的なモードと、アプリケーションが独立して実行される主権的なモードの2つのモードを通じて機能します。この設定は、中央集権的なコーディネーターに依存せず、参加を促進します。
プライバシー機能: プライバシー機能は、ゼロ知識証明から自然に生まれ、機密取引やオラクルなどのアプリケーションで暗号化された状態を可能にします。このフレームワークは、マイクロペイメントから企業データの決済まで、さまざまなユースケースをサポートし、カスパの高速確認時間に検証可能な出力をアンカーします。
ベルリンでのカスパエクスペリエンスカンファレンス
vProgsの発表は、2025年9月13日にベルリンのアトリエガーデンで予定されているコミュニティカンファレンス「Kaspa Experience」と一致しています。この1日のイベントは、150ドルのチケットを500枚限定で販売し、50ドルのアフターパーティー料金がかかります。支払いはKASトークンで行う必要があり、食品、飲料、商品などのイベントロジスティクスにおける暗号通貨の早期の実世界での適用を示しています。
議題には、SompolinskyによるGHOSTDAGの進展に関する基調講演、スマートコントラクト統合に関するパネル、実践的な実装に焦点を当てたワークショップが含まれています。ハッカソンではプロトタイピングを奨励し、ネットワークの創造的な利用を展示するKaspaアートエキスポも開催されます。スケジュールには専用のvProgsセッションはないものの、イベントのプレス資料ではKaspaのプログラム可能なレイヤーがDeFiや決済システムの基盤として強調されており、新しいフレームワークに関する非公式な議論が示唆されています。
参加者は、マイナー、商人、開発者から集まり、Kaspaの分散型精神を強調する環境でネットワーキングを行います。カンファレンスは、オンラインフォーラムやTelegramチャンネルでのコラボレーションを基にしたプロジェクトの初めての大規模な対面イベントを代表しています。
課題と実施タイムライン
vProgsの実装には、ゼロ知識システムに共通するハードルが伴います。証明生成は計算集約的であり、Kaspaの高いブロック速度にもかかわらず、潜在的にレイテンシを引き起こす可能性があります。開発者は、Ethereum Virtual Machineのような環境からのポーティングを容易にするために、仮想マシンの互換性に対処する必要があります。
フォーラムの寄稿者たちは、あるvProgの活動が他に影響を与える外部性を緩和するために、ガスシェアリングモデルをシミュレートしました。計算DAGにおけるデータの可用性は、中央集権リスクを回避するために注意深い設計を必要とします。
8月の議論からのタイムラインは、草案に対するコミュニティのフィードバックに続いて、2025年の第4四半期にテストネットの展開を示しました。完全なメインネット統合は監査とパフォーマンスベンチマークに依存し、プルーニングとアカウントメカニクスは将来の改訂に予定されています。
Ethereumのロールアップと比較して、流動性をレイヤー間で分散させる可能性があるのに対し、Solanaのオンチェーン実行はスループットの限界をテストしますが、vProgsは検証可能な計算をプルーフ・オブ・ワークのベースレイヤーに直接統合しようとしています。これにより、分散化を維持しつつ、並列ブロック生成を活用します。
結論
vProgsはKaspaに、ゼロ知識証明によって検証されたオフチェーン実行のためのツールを提供します。これには、コンポーザビリティのための証明ステッチング、依存関係管理のための計算DAG、およびリソース制御のためのScopeGasが含まれます。
これらの要素は、数秒ごとにブロックを確認するネットワーク上でアプリケーションがスケーラブルに動作できるようにし、Layer 1のセキュリティを損なうことなく、DeFiからデータ決済までのユースケースをサポートします。
ソース: