Виталик Бутерин заявил, что ИИ может ускорить дорожную карту Ethereum и повысить стандарты безопасности

Публикация Виталик Бутерин говорит, что ИИ может ускорить дорожную карту Ethereum и повысить стандарты безопасности впервые появилась на Coinpedia Fintech News

Будущее развития Ethereum может наступить быстрее, чем многие ожидали.

Виталик Бутерин недавно описал эксперимент, в котором значительная часть предложенной дорожной карты Ethereum на 2030 год была «закодирована по настроению» всего за несколько недель с использованием инструментов искусственного интеллекта. Хотя он предупредил, что результаты далеки от готовности к производству, более широкое послание было ясным: ИИ быстро трансформирует способ построения инфраструктуры блокчейна.

Кодирование с помощью ИИ движется с беспрецедентной скоростью

По словам Бутерина, создание черновой версии такой сложной дорожной карты всего за две недели казалось нереалистичным еще шесть месяцев назад. Он сказал, что код, созданный ИИ, вероятно, содержит критические ошибки и неполные разделы. Некоторые компоненты могут быть заполнителями, а не полностью реализованными функциями.

Тем не менее, сама скорость разработки знаменует собой изменение.

Бутерин также поделился, что недавно создал версию своего программного обеспечения для блога примерно за час, используя модель ИИ с открытым исходным кодом, работающую локально на его ноутбуке. Более продвинутые системы, по его мнению, потенциально могли бы выполнять подобные задачи еще быстрее.

Вывод заключается не в том, что ИИ может мгновенно создать безопасную инфраструктуру блокчейна. Скорее, это показывает, насколько резко сокращаются сроки разработки.

Скорость — это только половина истории

Бутерин подчеркнул, что более быстрого кодирования само по себе недостаточно. По его мнению, настоящая возможность заключается в балансе скорости с более сильными практиками безопасности.

Вместо использования ИИ только для написания большего количества кода, разработчики могут использовать его для:

• Создания значительно большего количества тестовых случаев
  
• Проведения более глубоких проверок безопасности
  
• Создания множественных независимых реализаций одной и той же системы
  
• Формальной проверки критических компонентов
  

Один из сотрудников инициативы LeanEthereum, как сообщается, использовал ИИ, чтобы помочь создать машинно-проверяемое доказательство для одной из сложных математических теорем, лежащих в основе криптографии на базе STARK.

Для Ethereum, который все больше полагается на продвинутые системы с нулевым разглашением, такие инструменты верификации являются необходимыми.

Формальная проверка может стать стандартной практикой

Основной принцип LeanEthereum заключается в формальной проверке всех компонентов везде, где это возможно. Формальная проверка означает математическое доказательство того, что код ведет себя именно так, как задумано.

В системах блокчейна, которые защищают миллиарды долларов в стоимости, снижение даже небольших уязвимостей может иметь значительное влияние. Бутерин предположил, что ИИ ускоряет способность создавать проверенные доказательства и масштабно тестировать реализации на стресс.

Он был осторожен добавить, что никто не должен ожидать ввода одного запроса и получения идеально безопасного кода. Ошибки, несоответствия и компромиссы в дизайне останутся частью процесса.

Однако циклы отладки и тестирования могут происходить в пять раз быстрее и гораздо более тщательно, чем раньше.

Может ли дорожная карта Ethereum завершиться раньше, чем ожидалось?

Хотя Бутерин не сделал никаких твердых прогнозов, он призвал сообщество оставаться открытым к возможности того, что долгосрочная дорожная карта Ethereum может быть завершена быстрее, чем многие ожидают.

Что еще более важно, он предположил, что она может достичь более высоких стандартов безопасности, чем традиционно ожидается для сложных распределенных систем.

Если ИИ продолжит улучшаться нынешними темпами, узкие места в разработке, которые когда-то замедляли обновления блокчейна, могут стать менее ограничительными.