ИИ находит и объясняет уязвимости в смарт-контрактах

Исследование описывает ИИ-инструмент, который автоматически выявляет и объясняет ошибки в смарт-контрактах на блокчейне. Такие контракты управляют криптоплатежами, кредитованием и обменами, часто храня крупные суммы, поэтому уязвимости в них особенно опасны.

• ИИ-инструмент находит дефекты в смарт-контрактах и поясняет их причины
• Смарт-контракты обслуживают криптоплатежи, кредитование и обмен активов
• Ошибки в контрактах угрожают средствами, которые они напрямую хранят