Сооснователь Ethereum Виталик Бутерин заявил, что использование ИИ может значительно сократить время, необходимое для выполнения оставшейся дорожной карты развития Ethereum, по сравнению с прежними оценками.
В интервью Moneycontrol Бутерин назвал доказательства с нулевым разглашением (ZK), ИИ и формальную верификацию ключевыми элементами «Lean Ethereum», развитием которого будут заниматься в ближайшие годы. Формальная верификация — это метод, использующий математические подходы для проверки того, работают ли код и алгоритмы в соответствии с заданными условиями.
«С учётом объёма оставшейся работы по дорожной карте, по меркам пятилетней давности на её завершение потребовалось бы 20 лет», — пояснил он. «Благодаря ИИ мы можем двигаться гораздо быстрее и одновременно проверять безопасность создаваемого кода и алгоритмов».
Lean Ethereum нацелен на повышение производительности сети с помощью новейших технологий и методов разработки при одновременном сохранении децентрализации и безопасности.