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

Foresight News сообщает, что ведущий исследователь по протоколам в облачном подразделении AWS Amazon Эклин Каур и Эвертон Фрага провели стресс-тестирование базовой реализации Verkle-дерева Ethereum — go-verkle на конференции EthCC[9], выявив четыре ключевых узких места производительности, препятствующих внедрению без состояния.

1. В процессе обновления дерева возникает большое количество теневых узлов, которые логически отсутствуют, но физически занимают место, что приводит к примерно 35% избыточной инфляции данных состояния; 2. Дизайн индексных ключей в базе данных содержит большое количество повторяющихся путей, что увеличивает затраты на хранение примерно на 50%; 3. При преобразовании структуры дерева в памяти в доказательство происходит множество копирований памяти вместо ссылок на указатели, что делает скорость десериализации в 24 раза ниже теоретически оптимального значения и может вызывать тайм-ауты проверки доказательств при высокой нагрузке; 4. Реализации Verkle-деревьев на различных языках, таких как Go, Rust, Nimbus, не могут распознавать доказательства друг друга при обработке определённых крайних случаев, что создаёт риск неожиданного форка после обновления.

Оба исследователя отметили, что AWS уже представила в основной репозиторий Ethereum несколько предложений по оптимизации, уделяя основное внимание реконструкции логики десериализации для устранения копирования памяти. После внедрения ожидается повышение эффективности работы узлов более чем в 3 раза, что заложит основу для официальной интеграции Verkle-дерева.