Виталик Бутерин пообещал превратить Эфириум в «криптографический мировой компьютер»

Бутерин назвал запланированное на следующий год обновление Hegotá последним «традиционным форком», функции которого были бы понятны и узнаваемы для блокчейн-специалистов 2015 года. Все последующие изменения будут опираться на технологию доказательства с нулевым разглашением STARK и автоматизированную формальную верификацию, заверил программист. Hegotá должно быть запущено после обновления Glamsterdam, запуск которого запланирован на 6 октября в тестнете Sepolia. Запуск Glamsterdam в основной сети намечен на четвертый квартал года, точной даты пока нет.

В рамках Hegotá планируется добавить механизм FOCIL, с помощью которого разработчики хотят повысить устойчивость к цензуре за счет более широкого распределения полномочий по включению транзакций в блоки. FOCIL позволяет комитету валидаторов формировать списки транзакций, которые обязаны учитывать создатели блоков. Эта функция должна повысить устойчивость сети к цензуре и улучшить расчеты для решений второго уровня. Hegotá подразумевает появление так называемых «рамочных транзакций» (frame transactions), позволяющих каждому аккаунту использовать собственную логику проверки и выбирать квантово-устойчивые подписи.

Бутерин пишет, что после этих последних обновлений в рамках концепции Lean Эфириум можно будет называть блокчейном только «по историческим причинам». Практически все ключевые характеристики блокчейна уже изменились или станут другими в ближайшем будущем, включая верификацию, пообещал бизнесмен. Если в версии Эфириума 2010 года узлы скачивали и заново выполняли каждый блок, то к 2030 году узлы будут проверять криптографическое доказательство и вместо полной обработки данных использовать функцию Peer Data Availability Sampling (PeerDAS), ждет Бутерин. Цель PeerDAS — удвоить пропускную способность сети и повысить скорость обработки транзакций до 8–32 секунд. Для сравнения: в 2015 году Эфириуму требовалось около 200 секунд для получения 12 подтверждений.

Бутерин признал, что обеспечить эффективность и безопасность доказательств с нулевым разглашением (ZKP) сложно, хотя ИИ-инструменты уже помогают в решении задач. Серьезной проблемой он назвал управление доступом к огромным объемам данных состояния сети.

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