Kaspero LabsがKaspa SilverScript契約向けのオープンソース攻撃シミュレーター「Kaspa-Redteam」をリリース

Kaspa（@kaspaunchained）$KASエコシステム内の開発者スタジオであるKaspero Labs（@KasperoLabs ）は、開発者がSilverScriptコントラクトをデプロイする前に脆弱性を発見するのに役立つように設計されたテストツールであるkaspa-redteamをリリースしました。

このツールは、静的なコードレビューにとどまりません。悪意のあるトランザクションに署名し、Kaspaノードソフトウェアであるrusty-kaspaのコンセンサスルールに照らし合わせて評価します。そして、攻撃者が拒否されることを期待していたトランザクションがコンセンサスによって承認された場合にフラグを立てます。開発者は、そのトランザクションを再現して脆弱性を調査できます。

kaspa-redteam が契約をテストする方法

プロジェクトのGitHubリポジトリによると、このツールはコマンドラインからSilverScriptファイルに対して実行されます。ドキュメントに記載されているオプションには、各攻撃を一覧表示する詳細モード、継続的インテグレーション用のJSON出力、保存された検出結果を再評価するリプレイコマンドなどがあります。現在のバージョンはv0.2.0です。

KuCoin Newsに掲載された記事によると、このツールは無料かつオープンソースであるとのことです。記事によれば、kaspa-redteamはまず各コントラクトパスに対して正当な支出方法を見つけ、次に既知の攻撃を試行し、rusty-kaspa独自のコンセンサスコードが各結果を判定します。ツールが支出できないパスは安全ではなく未調査として報告されるため、攻撃が正常に実行されたとしても、コントラクトが安全であるという証明にはなりません。

同じ投稿では、マイナーが手数料として2つ目のコインを保持できるという、MinerDrip v1と呼ばれるメインネットのコベナントの実際の例が挙げられている。このバグはレビューで発見され、v2で修正された。このツールは、このバグをミリ秒単位で検出できると言われている。

背景：シルバースクリプトとカスパ盟約

SilverScriptはKaspaのハイレベルスマートコントラクト言語です。SilverScript言語リファレンスによると、仮想マシンや中間表現を経由することなく、ネイティブKaspa Scriptに直接コンパイルされ、レイヤー1 UTXOにおける契約条件に基づく支出に対応するように設計されています。同じリファレンスでは、2026年3月時点では実験的なものであり、テストネット12に限定されていると説明されています。KaspaのFAQでは、契約とはコインの支出方法を規定するプログラム可能なルールであると説明されています。

Kaspero Labsは、Kaspaエコシステムに特化した独立系ソフトウェアスタジオであり、決済、ウォレット、分析、セキュリティのためのツールを開発していると自らを説明しています。また、GitHubページによると、Kas​​pa規約の記述と展開のためのWebベースのIDEであるSilverScript Studioも開発しました。

Kaspa上で契約に基づくアプリケーションが開発されるにつれ、実際の合意ルールに基づいて契約をテストするツールは、開発者にとって追加のチェック機能となる可能性がある。このツールは、監査に取って代わるものではなく、レビューを支援することを目的としている。

ソース

GitHub上のkaspa-redteamリポジトリ
Silverscript言語リファレンス
Kaspero Labsの公式サイト