Кратко

  • Виталик Бутерин говорит, что Эфириум повысил квантовую безопасность и конфиденциальность с момента своей дорожной карты 2023 года.
  • Исследователи Эфириума все чаще полагаются на STARK и формальную верификацию с помощью ИИ.
  • Дорожная карта также включает нативные роллапы и исследует будущее за пределами EVM.

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

В посте на X в понедельник Бутерин сообщил, что обновил свою дорожную карту 2023 года, чтобы сравнить ее первоначальные цели с текущей «Strawmap» — рабочим планом долгосрочных технических приоритетов сети.

«Однако самое поразительное — это то, что в Strawmap есть совершенно новые вещи, которых нет на этой диаграмме, потому что их вообще не было в дорожной карте 2023 года», — написал Бутерин. «Это отражает меняющиеся приоритеты».

Среди этих приоритетов — более сильная конфиденциальность и масштабирование, предназначенные для постквантового мира, а также усилия по «оптимизации спецификации», или упрощению технических спецификаций Эфириума.

«Общая тема в масштабировании, встречающаяся как в типах состояний, так и в zkzk-фреймах (обе новые идеи), заключается в том, что вместо попытки максимально масштабировать всю активность Эфириума», — написал Бутерин. «Мы пытаемся создать специализированные механизмы с более ограничительными свойствами, которые делают их более удобными для масштабирования, поддерживая при этом самые тяжелые нагрузки, возникающие у пользователей и приложений сегодня (например, переводы токенов, обмены) и завтра (например, протоколы конфиденциальности)».

По словам Бутерина, достижения в области ИИ делают практичным более широкое применение этой техники к Эфириуму.

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

«Это может быть безопасно только с формальной верификацией, которая сама по себе возможна только с современными инструментами ИИ», — написал он.

Пост Бутерина появился на фоне ускоренной подготовки Эфириума к «Q-Day» и потенциальной угрозе, исходящей от квантовых компьютеров.