Kaspaの今後のCovenant中心のハードフォーク：わかっていること

Kaspa の Covenant-Centric ハードフォークとは何ですか?

Hubspot テラのスレッド、 カスパ 契約中心のハードフォークを準備しており、 メインネットのアクティベーション 2026年5月5日にアップグレードが行われます レイヤ1(L1) ネイティブアセットと拡張契約機能を導入することで、プログラミング性が向上します。また、 検証可能なプログラム（vProgs） ゼロ知識 (ZK) 統合。

Kaspaは、blockDAGアーキテクチャを使用したプルーフオブワークブロックチェーンとして動作します。 クレッシェンドアップグレード 2025年5月にスループットが10ブロック/秒（BPS）に向上しました。そのため、今回のハードフォークは、ノード要件やコンセンサスの基本原則を変更することなく、この基盤の上に構築されます。

コア開発者は、今回のリリースをスコープ指定のアップグレードと表現しています。ネイティブトークン発行、プログラム可能な支出ルール、そしてL1におけるZK検証の実現に重点を置いています。 

2026 年 5 月 5 日のハードフォークのタイムラインは何ですか?

Terah のスレッドによると、メインネットのアクティベーションに先立っていくつかのマイルストーンが達成される予定です。

• テストネット 12 (TN12) リセット: 契約およびネイティブ アセットのテストをサポートするために、2026 年 2 月上旬に予定されています。
   
• シーケンサーコミットメントKIP: 2026年2月12日頃を予定しています。この提案では、リアルタイムの分散化を強化するためにマイナーのペイロードコミットメントを導入します。
   
• SilverScript リリース: Kaspa上でプログラムを作成するための高水準プログラミング言語。Ori Newman氏とその貢献者によって開発され、Covenant開発を簡素化します。
   
• メインネットハードフォーク: 、5を2026ことがあります。

ハードフォーク後のアップグレードには、適応型コンセンサスと 100 BPS を超えるスループットを目標とする DAGKnight と、vProgs の完全展開が含まれます。

Kaspa ではネイティブ資産と契約はどのように機能しますか?

レイヤー1のネイティブアセット

ハードフォークにより、ネイティブアセットが導入され、 KRC20トークンこれらの資産は L1 上に直接存在し、アトミックに転送できます。

アトミック転送は以下に適用されます。

• 通常のインライン契約
• ZKおよび非ZK契約による処刑
• KRC20トークンの送金

インライン契約はウォレット内で即時に証明を生成します。トランザクションデータと状態遷移の間には分離がありません。この設計は、アトミック性と決定論的な実行をサポートします。

拡張契約（Covenants++）

Kaspaの契約システムは、プログラム可能なUTXOの支出条件に関するビットコインの研究に着想を得ています。Covenants++はこのシステムを拡張し、より表現力豊かなトランザクションルールを可能にします。

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

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

（広告）

記事は続きます…

ユースケースには次のようなものがあります。

• Vaultスタイルのセキュリティ制御
• エスクローの仕組み
• 条件付き移転
• 構造化されたトークンロジック

システムは、完全なアカウントベースのスマート コントラクトではなく、UTXO モデルを維持します。

計算 DAG (CDAG) とは何ですか?

ハードフォークにより計算DAG（CDAG）が導入される). CDAG は、プログラムによって行われたすべての読み取りおよび書き込み宣言を記録します。

この構造:

• リソースの使用状況を追跡する
• プログラム間の依存関係を規制する
• ガスコミットメントを強制する

この設計は、Solana や Sui などのブロックチェーンの実行モデルに似ていますが、Kaspa の blockDAG 環境内に完全な形で実装されています。

CDAG は、vProgs の主権を有効にする上で中心的な役割を果たします。

vProgs とは何ですか? スマート コントラクトとどう違うのですか?

vProgs は、証明を通じて L1 上で結果を確定しながら、L1 の外部で実行される主権プログラムです。

主要なプロパティ:

• 主権執行： 各 vProg は独自のスループットと依存関係のルールを定義します。
• ガスベースの依存関係制御: vProg は、リソース消費に対してガスを支払わない限り、別の vProg の状態を読み取ることができません。
• 非アトミック転送: vProgはネイティブアセットのようにL1に対して透過的ではありません。転送は非同期かつ非アトミックです。
• ラップされた KAS の要件: 非インラインコベナントは、正規のブリッジを介してラップされたKASを使用する必要があります。ネイティブのL1 KASを直接使用することはできません。

この設計では、共有のシーケンスと解決を維持しながら、計算と状態を L1 から分離します。

vProgs を構築すべきなのは誰ですか?

コミュニティの議論によれば、一般的なアプリケーション開発者のほとんどは vProgs を必要としない可能性があります。

ただし、vProgs は次のような場合に魅力的かもしれません。

• アプリチェーンアーキテクト
• ロールアップスタイルのシステムを評価するチーム
• 大規模なオンチェーン状態を持つAIエージェントを構築するプロジェクト
• L1 契約、L2 ロールアップ、ハイブリッド モデルを比較するシステム設計者

vProgs は、統合された L1 シーケンスと外部化された状態および計算を組み合わせます。

ゼロ知識 (ZK) はどのような役割を果たすのでしょうか?

ハードフォークはL1にZK検証を統合し、以前の提案を拡張します。 KIP-16.

サポートされている機能は次のとおりです:

• Groth16証明の検証
• L2システムへのトラストレスブリッジ
• 潜在的なプライバシー重視のアプリケーション

初期アプリケーションはインラインで実行され、ウォレットが直接証明を生成することが期待されています。HansやMaximなどの貢献者によって開発された契約ベースのZK実装でさえ、汎用ハードウェア上で動作することが期待されています。初期導入においては、特別な証明インフラは必要ありません。

標準的なラップトップでは、現在の仮定に基づいて証明を生成できます。

プライバシー重視のプログラムは、ハードフォーク後に技術的には可能です。ただし、ロードマップの主要な焦点にはプライバシーは含まれていません。

Sparkle は vProgs とどのように関係するのでしょうか?

Sparkleは、Antonが提案した計算DAGとZK証明を統合するアーキテクチャです。SparkleとvProgsはどちらもCDAGとZKのコンポーネントを使用していますが、それぞれ異なる設計上の課題に取り組んでいます。

vProgsの特徴は依存関係の規制です。各プログラムは自身のスループットを制御し、任意の外部依存関係を回避します。このモデルは、独立性を維持しながらコンポーザビリティをサポートします。

ハードフォークはセキュリティ、MEV、ノード要件に影響しますか?

• セキュリティ予算: 短期的には直接的な影響は見込まれません。改善は、インフラの変更ではなく、実際の製品の導入によって左右されます。
   
• ノード要件: 変更なし
   
• MEVキックバックオークション: エコシステム開発の現段階を考慮すると、時期尚早と考えられます。
   
• STARKのためのPoWグラインド: 議論は初期のイーサリアムにおける歴史的な行動に言及しており、先頭にゼロが付いたアドレスはガスコストを削減し、それがプルーフ・オブ・ワークによるグラインド市場につながった。言及は文脈的なものであり、現在の機能に関するものではない。

SilverScript は何を追加しますか?

SilverScriptは、Kaspaプログラム用に設計された高水準言語です。契約とプログラム開発を簡素化することを目的としています。

設計目標は次のとおりです。

• 読みやすい構文
• 新規開発者向けのアクセシビリティ
• 自動化ツールとの互換性

SilverScript は、ネイティブ アセットが利用可能になると、契約ベースのアプリケーションを作成するための障壁を下げることが期待されています。

結論

Kaspaの契約中心のハードフォークは、ネイティブアセット、拡張契約、ZK検証を通じてレイヤー1の機能を拡張します。構造化された依存関係の追跡のためのCDAGを導入し、ソブリンvProgsの基盤を築きます。このアップグレードは、既存のノード要件とプルーフ・オブ・ワークのコンセンサスを維持しながら、プログラム可能なトークン発行とアトミック転送を可能にします。

2026年5月5日のアクティベーションは、Kaspaのロードマップにおける技術的なステップとなります。プロトコルレベルでの構造化されたプログラミング可能性が追加され、DAGKnightやvProgsの完全導入を含むさらなるアップグレードに向けてネットワークが準備されます。

ソース：

• Kaspa Convenant中心のハードフォーク: Kas.live でのカウントダウン
• テラXスレッド: 今後のマイルストーンとコヴナント中心のハードフォーク
• カスパリサーチ: vProg計算DAGの正式なバックボーンモデル