Исследователь AWS раскрыл четыре ключевых узких места в производительности go-verkle и уже подал предложение по оптимизации

Gate News Сообщение, 2 апреля, ведущие протокольные исследователи из подразделения облачных вычислений AWS компании Amazon — Ekleen Kaur и Everton Fraga — на конференции EthCC[9] провели стресс-тестирование реализации go-verkle, лежащей в основе Verkle-деревьев в Ethereum, выявив четыре ключевые проблемы, которые сдерживают практическое внедрение стейтлессности. В частности: 1) в процессе обновления дерева образуется большое количество теневых узлов, из-за чего объем данных состояния увеличивается примерно на 35% избыточности; 2) дизайн ключей индекса базы данных содержит много повторяющейся информации о путях, что повышает накладные расходы на хранение примерно на 50%; 3) при преобразовании структуры дерева в памяти в доказательства возникает множество операций копирования памяти вместо ссылок-пойнтеров, что приводит к тому, что скорость десериализации оказывается на 24 раза медленнее, чем оптимизированное теоретическое значение, а при высокой нагрузке может вызвать таймауты при валидации доказательств; 4) реализации Verkle-дерева в клиентских программах на разных языках, таких как Go, Rust и Nimbus, при обработке определенных пограничных случаев генерируют доказательства, которые не удается взаимно верифицировать, что создает риск непредвиденного расхождения после обновления. Оба исследователя заявили, что AWS уже отправила в основной репозиторий Ethereum несколько оптимизационных предложений, с фокусом на переформатирование логики десериализации для устранения копирований памяти; ожидается, что после завершения узлы будут работать с эффективностью, повышенной более чем в 3 раза, что заложит основу для официальной интеграции Verkle-деревьев.