337 подписчиков
Давно не писал... Исправляюсь. Сегодня расскажу об утилитах, которые используются для анализа и аудита смарт-контрактов.
Смарт-контракты — это самоисполняющиеся компьютерные программы, которые автоматически обеспечивают соблюдение правил и положений соглашения между двумя сторонами. Они спроектированы так, чтобы быть прозрачными, неизменными и безопасными. Однако из-за сложности кода смарт-контракты подвержены уязвимостям, которыми злоумышленники могут воспользоваться для кражи средств или манипулирования поведением контракта. Поэтому важно проверять смарт-контракты перед их развертыванием в блокчейне.
1️⃣ Slither
2️⃣ Securify
3️⃣ SmartCheck
4️⃣ Oyente
5️⃣ Mythril
6️⃣ ContractFuzzer
7️⃣ Manticore
😉👍 Подписывайтесь на @tomhunter
Около минуты
17 марта 2023