Kaspero Labs发布Kaspa-Redteam，一款用于Kaspa SilverScript合约的开源攻击模拟器
Kaspero Labs 发布了 kaspa-redteam，这是一个开源工具，它使用 rusty-kaspa 共识代码来测试 Kaspa SilverScript 合约，模拟恶意交易。
Kaspa ( @kaspaunchained ) $KAS生态系统中的开发工作室Kaspero Labs ( @KasperoLabs )发布了 kaspa-redteam，这是一款测试工具，旨在帮助开发人员在部署 SilverScript 合约之前发现其中的弱点。
该工具的功能远不止静态代码审查。它会对恶意交易进行签名，并根据 Kaspa 节点软件 rusty-kaspa 中的共识规则对其进行评估。然后，它会标记出共识机制接受但攻击者预期会拒绝的交易的情况。开发人员可以重放该笔交易以调查漏洞。
kaspa-redteam 如何测试合约
根据该项目的 GitHub 代码库，该工具通过命令行运行，用于分析 SilverScript 文件。其文档中列出的选项包括：详细模式（列出每次攻击）、用于持续集成的 JSON 输出，以及用于重新评估已保存结果的重放命令。当前版本为 v0.2.0。
KuCoin News 上的一篇博文总结了该工具，称其为免费开源软件。博文指出，kaspa-redteam 首先会为每个合约路径找到一个合法的支出，然后尝试已知的攻击，并由 rusty-kaspa 自身的共识代码来判断每个结果。该工具无法完成支出的路径会被标记为“未探索”而非“安全”，这意味着一次成功的运行并不能证明合约是安全的。
同一篇文章引用了主网协议 MinerDrip v1 的一个真实案例，该协议允许矿工保留第二种代币作为手续费。该漏洞在审核中被发现，并在 v2 版本中修复，据说该工具可以在几毫秒内检测到此漏洞。
背景：SilverScript 和 Kaspa 契约
SilverScript 是 Kaspa 的高级智能合约语言。根据 SilverScript 语言参考文档，它无需虚拟机或中间表示即可直接编译为原生 Kaspa Script，专为 Layer-1 UTXO 上的契约支出条件而设计。该参考文档还指出，截至 2026 年 3 月，SilverScript 仍处于实验阶段，且仅限于 Testnet 12。Kaspa 的常见问题解答将契约描述为控制代币支出方式的可编程规则。
Kaspero Labs 自称是一家专注于 Kaspa 生态系统的独立软件工作室，致力于构建支付、钱包、分析和安全工具。根据其 GitHub 页面显示，该公司还开发了 SilverScript Studio，这是一个用于编写和部署 Kaspa 契约的基于 Web 的 IDE。
随着基于契约的应用在 Kaspa 平台上不断发展，能够根据真实共识规则测试合约的工具可以为开发者提供额外的审核。该工具旨在辅助审核，而非取代审计。
来源
