Silverscriptとは？Kaspa初の高水準スマートコントラクト言語とコンパイラ

シルバースクリプト は、高水準のスマートコントラクト言語とコンパイラーです。 Kaspaブロックチェーン2026年2月10日に開発者オリ・ニューマンによって発表されたこの機能は、Kaspaの レイヤー1（L1）外部の仮想マシンや共有グローバル状態モデルに依存せずに、 イーサリアムのEVM.

SilverscriptはネイティブのKaspa Scriptにコンパイルされ、KaspaのUTXOベースのアーキテクチャ向けに設計されています。これにより、開発者はプロトコルレベルでトランザクションルールを適用する、読みやすい契約ロジックを記述できます。

Silverscript は Kaspa でどのような問題を解決しますか?

Kaspaは、 BlockDAG (有向非巡回グラフ) 構造。線形ブロックチェーンとは異なり、Kaspaはブロックを並列処理する。ネットワークは現在1秒あたり10ブロックを目標としており、 DAGナイト 1秒あたり100ブロック以上を目指します。

これまで、Kaspaスクリプトの表現力は限られていました。Silverscriptは、UTXOモデルに準拠しながら、より高度な契約設計を可能にする構造化プログラミング機能を導入することで、この問題に対処します。

アカウントベースのシステムで一般的に見られる共有グローバル状態の代わりに、Silverscript は UTXO ごとにローカル状態を維持します。これにより、EVM ベースのシステムに見られる再入性脆弱性などのリスクが軽減されます。

Silverscript はどのように機能しますか?

Silverscriptは、Bitcoin Cashで使用されているスマートコントラクト言語であるCashScriptに着想を得ています。しかし、より複雑なDeFiプリミティブに必要な構造化プログラミングツールを追加することで、CashScriptを拡張しています。

高レベルのコードを、次のような低レベルの Kaspa オペコードにコンパイルします。

• KIP-10 （イントロスペクションオペコード）
• KIP-16 （ゼロ知識検証オペコード）
• KIP-17 （バイトプリミティブ）

これは、 今後のネットワークアップグレード 2026年5月5日に予定されており、以下を導入します。

• コベナンツ++（高度な支出制約）
• KIP-20に基づくネイティブ資産（トークンの系統と出所の追跡）
• ゼロ知識（ZK）検証のサポート

Silverscript はこれらのプロトコル機能の開発レイヤーとして機能します。

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

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

（広告）

記事は続きます…

Silverscript は Kaspa にどのような機能を追加しますか?

Silverscript は、これまで Kaspa Script では利用できなかった構造化プログラミング要素を導入します。

ループ

次のような反復操作をサポートします の ループ。
これにより、繰り返し計算、バッチ処理、条件付きアセット ロジックが可能になります。

配列

動的なデータ構造をサポートします。
開発者はトークン残高、マルチ署名条件、または構造化された出力を管理できます。

関数呼び出し

パラメータと戻り値を持つ再利用可能な関数を許可します。
コードの明確さが向上し、実装エラーが減少します。

要求ステートメント

組み込みアサーションを提供します。
コントラクトは、コンパイル時または実行時に配列サイズの制限や値のチェックなどの制約を適用できます。

UTXO重視の設計

共有グローバル状態ではなく、ローカル UTXO 状態に基づいて動作します。
このモデルは明示的な検証を強制し、再入可能性の問題を回避します。

Silverscript コードはどのようになっているのでしょうか?

SilverscriptはC言語のような簡略化された構文を使用します。次の例は、配列、ループ、およびrequire文を示しています。

この例では、整数配列の要素を合計する関数を定義します。配列の長さをチェックし、要素を反復処理して、合計が6になることを確認します。

実稼働環境では、同様のロジックが以下に適用される可能性があります。

• トークン配布の強制
• 金庫からの撤退条件
• エスクロー検証ルール
• 構造化されたDeFi出力

この構文は実験的なものであり、現在は Testnet-12 でのみ利用可能です。

Silverscript と CashScript の違いは何ですか?

Silverscript は CashScript をベースに構築されていますが、その機能が拡張されています。

類似点：

• UTXOベースの契約の高レベル構文
• 完全なチューリング完全性ではなくトランザクション制約に焦点を当てる

違い：

• ループのネイティブサポート
• ネイティブ配列
• 関数定義とモジュール構造
• KaspaのBlockDAG専用に設計

CashScriptは、構造化ループや動的配列の組み込みサポートを提供していません。Silverscriptは、より表現力豊かなコベナンツロジックをサポートするためにこれらの機能を導入しています。

Silverscript は Kaspa のエコシステムにどのように適合しますか?

Silverscript は、ローカル状態モデルと共有状態モデルを分離するより広範なアーキテクチャ内で動作します。

• ローカル状態: UTXO契約を介してSilverscriptによって管理されます
• 共有計算: vProgs（検証可能なプログラム）によって管理され、ゼロ知識証明を使用してオンチェーンで検証されています

統合対象:

• KIP-20 ネイティブアセットのサポート（トークンの出所の強制）
• プログラム依存関係のCDAG（計算DAG）
• ZKベースのロールアップフレームワーク、Sparkle

この構造により、次のことが可能になります。

• 強制出力構造を使用する自動マーケットメーカー（AMM）
• 貸金庫
• アトミックスワップ
• スクリプトでエンコードされたDAOガバナンス

すべて変更可能なグローバル状態なし。

現在の開発状況はどうですか?

Silverscriptは実験段階であり、Kaspa Testnet-12のみと互換性があります。メインネットではまだ利用できません。

GitHub リポジトリには以下が含まれます。

• コンパイラ実装
• 例
• TUTORIAL.md ドキュメント

開発者オリ・ニューマンは、 Bitcoin 2013 年からプロジェクトを管理しており、将来的には WebAssembly (WASM) をサポートする可能性を示唆しています。

メインネットの互換性は、Covenants++ とネイティブ アセット機能を有効にする 2026 年 5 月 5 日のハードフォークに依存します。

結論

Silverscriptは、KaspaのUTXOベースのBlockDAGネットワ​​ークに構造化されたスマートコントラクト開発を導入します。ループ、配列、関数、そして強制可能なアサーションを追加し、ネイティブオペコードにコンパイルします。この言語は、Covenants++、ネイティブアセット、ゼロ知識検証など、今後のプロトコルアップグレードにも対応しています。 

現在 Testnet-12 に限定されていますが、Silverscript は、共有グローバル状態モデルを採用せずに、Kaspa 上のプログラム可能なレイヤー 1 アプリケーションに技術的な基盤を提供します。

ソース：

• Kaspa GitHubリポジトリ: Silverscript言語チュートリアル 
• Xポスト: オリ・ニューマンによる発表