Основатель Ethereum Виталик Бутерин высказал мнение, что применение искусственного интеллекта для верификации может стать ключевым элементом в обеспечении безопасности криптовалютных сетей.
По мере того как технологии искусственного интеллекта продолжают развиваться, они демонстрируют впечатляющие успехи как в автоматической генерации программного кода, так и в обнаружении потенциальных уязвимостей. Этот прогресс, хотя и является мощным инструментом для разработчиков, одновременно создает новые вызовы для поддержания целостности и безопасности сложных криптографических систем.
Бутерин подчеркнул, что в условиях растущей сложности и потенциальных рисков, связанных с ИИ, математически верифицированное программное обеспечение может служить надежным щитом. Такой подход позволяет формально доказать корректность и безопасность кода, минимизируя вероятность ошибок и эксплойтов.
Эта инициатива предполагает использование передовых методов, возможно, с участием самого ИИ в процессах верификации, чтобы укрепить основы децентрализованных финансов и других блокчейн-приложений перед лицом постоянно эволюционирующих киберугроз.
Источник: Decrypt