Материал предназначен только для обучения и не является инвестиционной рекомендацией. Инвестиции могут привести к убыткам.
Краткий ответ
Дерево Веркла — аутентифицированное дерево ключ-значение, внутренние узлы которого используют векторные обязательства. Подобно дереву Меркла, оно связывает множество значений с одним корнем; в отличие от обычного хеш-дерева позволяет доказать ребёнка в заданной позиции без всех соседних значений.
Это допускает высокую ветвистость и агрегацию открытий нескольких ключей, уменьшая свидетель по сравнению с Merkle-Patricia Trie. Свидетель всё равно содержит значения для исполнения и доказательство их связи с корнем. «Без состояния» не означает, что никто его не хранит или consensus не нужен. На 2026-08-22 дорожная карта Ethereum всё ещё указывала testnet и незавершённую работу клиентов; EIP-6800 имел статус Stagnant.
Как это работает
Протокол задаёт однозначные кодировки, схему обязательств и правила пустых узлов. Каждый узел связывает упорядоченный вектор детей; доказывающая сторона открывает нужную позицию на каждом уровне, а multiproof объединяет открытия и общие пути. Проверяющий сверяет ключи, значения, обязательства и proof с доверенным корнем.
В EIP-6800 ключ 32-byte состоит из stem 31-byte и suffix 1-byte, ширина узла равна 256. Значения с одинаковым stem разделяют материал proof. Это устройство конкретного предложения: широкое дерево короче, но требует эллиптической арифметики и предвычислений.
Пример
Пусть один stem 31-byte объединяет 256 позиций suffix. Если блок читает 2 значения этого stem, свидетель повторно использует путь и агрегирует открытия вместо 2 наборов соседних хешей Меркла. Всё равно проверяются оба ключа и значения, proof и выбранный корень.
Изменение значения обновляет его обязательство и предков до корня. Proof старого корня не доказывает новый. Экономия зависит от доступа: компактность не означает нулевые трафик или стоимость и не гарантирует доступность.
Риски
Ошибки вывода ключей, порядка байтов, привязки позиции, разделения доменов, проверки точек, скаляров или различения пустоты и нуля нарушают безопасность. Нужны тестовые векторы и совместимость клиентов.
Малые доказательства не решают доступность и liveness: скрытое значение блокирует исполнение, а неверные корень или finality принимают ложную историю. Создание proof может стать узким местом или точкой цензуры.
Миграция меняет структуру, синхронизацию, форматы, базы, учёт Gas и исторические доказательства. Предложение или devnet не означают готовность. Рассматриваемые эллиптические обязательства обычно не считаются post-quantum secure.
Распространённые заблуждения
Миф 1: это лишь дерево Меркла с большим числом детей
Главное отличие — открытие выбранного ребёнка векторным обязательством без списка всех соседей.
Миф 2: любой proof имеет постоянный общий размер
Открытия агрегируются, но свидетель растёт с числом значений, путей и метаданных.
Миф 3: без состояния значит, что его никто не хранит
Лишь проверяющему не нужна полная копия; кто-то должен хранить или восстанавливать и передавать данные.
Миф 4: Ethereum mainnet уже использует Verkle
Источники описывают исследования и testnet; на дату проверки EIP-6800 был Stagnant.
Связанные темы
Источники
- Verkle Trees - MIT PRIMES (дата обращения: 2026-08-22)
- EIP-6800: Ethereum state using a unified verkle tree - Ethereum Improvement Proposals (дата обращения: 2026-08-22)
- Verkle tree structure - Ethereum Foundation (дата обращения: 2026-08-22)
- Verkle trees - Ethereum.org (дата обращения: 2026-08-22)