Kaspero Labs випускає Kaspa-Redteam, відкритий симулятор атак для контрактів Kaspa SilverScript

Kaspero Labs, розробницька студія в екосистемі Kaspa, випустила інструмент тестування kaspa-redteam, призначений для виявлення вразливостей у контрактах SilverScript до їх впровадження.

Цей інструмент перевіряє не лише статичний код, а й підписує ворожі транзакції, оцінюючи їх згідно з правилами консенсусу програмного забезпечення rusty-kaspa.

Якщо консенсус приймає транзакцію, яка мала бути відхилена, розробники можуть повторно запустити цю транзакцію для детального аналізу. Інструмент працює з командного рядка та має можливість виводити результати у форматі JSON для безперервної інтеграції.

kaspa-redteam спочатку знаходить легітимні витрати для кожного контракта, а потім тестує відомі атаки.

Він не вважає міста, які не можуть бути витрачені, безпечними, а скоріше незнаними, що означає, що безпомилкова перевірка не є доказом безпеки контракту. Прикладом успішної перевірки є MinerDrip v1, який дозволяв майнерам зберігати другий монету як плату, але помилку було виявлено та виправлено у версії v2.

SilverScript, мова смарт-контрактів Kaspa, безпосередньо компілюється у рідний Kaspa Script, призначена для умов витрат на рівні UTXO. Kaspero Labs розглядає себе як незалежну студію програмного забезпечення, що фокусується на екосистемі Kaspa, створюючи інструменти для платежів, гаманців та аналізу.

Інструмент kaspa-redteam покликаний доповнити перевірки, а не замінити їх.