Kaspero Labs (@KasperoLabs), студия разработки, работающая в экосистеме Kaspa (@kaspaunchained) с использованием токена $KAS, выпустила kaspa-redteam – инструмент для тестирования, предназначенный для помощи разработчикам в выявлении уязвимостей в смарт-контрактах SilverScript до их развертывания.

Этот инструмент выходит за рамки простой статической проверки кода. Он генерирует вредоносные транзакции и проверяет их соответствие правилам консенсуса в rusty-kaspa, программном обеспечении для узлов сети Kaspa. Затем он отмечает случаи, когда консенсус принимает транзакцию, которую, как ожидалось, должна быть отклонена. Разработчики могут повторно воспроизвести эту транзакцию, чтобы изучить обнаруженную уязвимость.

Как kaspa-redteam тестирует смарт-контракты

Согласно репозиторию проекта на GitHub, инструмент запускается из командной строки для файла SilverScript. Документация содержит информацию о различных опциях, включая подробный режим, который перечисляет каждую атаку, вывод в формате JSON для интеграции с системами непрерывной сборки, а также команду повторного анализа, которая позволяет повторно оценивать ранее обнаруженные проблемы. Текущая версия инструмента – v0.2.0.