﻿---
title: "Дерево Веркла"
description: "Дерево Веркла сочетает широкое ветвление с векторными обязательствами для компактных свидетелей состояния, но требует компромиссов в доказательствах, миграции и криптографии."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Дерево Веркла

> Материал предназначен только для обучения и не является инвестиционной рекомендацией. Инвестиции могут привести к убыткам.

<a id="answer"></a>

## Краткий ответ

Дерево Веркла — аутентифицированное дерево ключ-значение, внутренние узлы которого используют векторные обязательства. Подобно дереву Меркла, оно связывает множество значений с одним корнем; в отличие от обычного хеш-дерева позволяет доказать ребёнка в заданной позиции без всех соседних значений.

Это допускает высокую ветвистость и агрегацию открытий нескольких ключей, уменьшая свидетель по сравнению с Merkle-Patricia Trie. Свидетель всё равно содержит значения для исполнения и доказательство их связи с корнем. «Без состояния» не означает, что никто его не хранит или consensus не нужен. На 2026-08-22 дорожная карта Ethereum всё ещё указывала testnet и незавершённую работу клиентов; EIP-6800 имел статус Stagnant.

<a id="mechanism"></a>

## Как это работает

Протокол задаёт однозначные кодировки, схему обязательств и правила пустых узлов. Каждый узел связывает упорядоченный вектор детей; доказывающая сторона открывает нужную позицию на каждом уровне, а multiproof объединяет открытия и общие пути. Проверяющий сверяет ключи, значения, обязательства и proof с доверенным корнем.

В EIP-6800 ключ 32-byte состоит из stem 31-byte и suffix 1-byte, ширина узла равна 256. Значения с одинаковым stem разделяют материал proof. Это устройство конкретного предложения: широкое дерево короче, но требует эллиптической арифметики и предвычислений.

<a id="example"></a>

## Пример

Пусть один stem 31-byte объединяет 256 позиций suffix. Если блок читает 2 значения этого stem, свидетель повторно использует путь и агрегирует открытия вместо 2 наборов соседних хешей Меркла. Всё равно проверяются оба ключа и значения, proof и выбранный корень.

Изменение значения обновляет его обязательство и предков до корня. Proof старого корня не доказывает новый. Экономия зависит от доступа: компактность не означает нулевые трафик или стоимость и не гарантирует доступность.

<a id="risks"></a>

## Риски

Ошибки вывода ключей, порядка байтов, привязки позиции, разделения доменов, проверки точек, скаляров или различения пустоты и нуля нарушают безопасность. Нужны тестовые векторы и совместимость клиентов.

Малые доказательства не решают доступность и liveness: скрытое значение блокирует исполнение, а неверные корень или finality принимают ложную историю. Создание proof может стать узким местом или точкой цензуры.

Миграция меняет структуру, синхронизацию, форматы, базы, учёт Gas и исторические доказательства. Предложение или devnet не означают готовность. Рассматриваемые эллиптические обязательства обычно не считаются post-quantum secure.

<a id="misconceptions"></a>

## Распространённые заблуждения

### Миф 1: это лишь дерево Меркла с большим числом детей

Главное отличие — открытие выбранного ребёнка векторным обязательством без списка всех соседей.

### Миф 2: любой proof имеет постоянный общий размер

Открытия агрегируются, но свидетель растёт с числом значений, путей и метаданных.

### Миф 3: без состояния значит, что его никто не хранит

Лишь проверяющему не нужна полная копия; кто-то должен хранить или восстанавливать и передавать данные.

### Миф 4: Ethereum mainnet уже использует Verkle

Источники описывают исследования и testnet; на дату проверки EIP-6800 был Stagnant.

<a id="related"></a>

## Связанные темы

- [Дерево Меркла](/ru/crypto/merkle-tree/)
- [Лёгкий клиент](/ru/crypto/light-client/)
- [Корень состояния](/ru/crypto/state-root/)
- [Ethereum](/ru/crypto/ethereum/)
- [Доступность данных](/ru/crypto/data-availability/)

<a id="sources"></a>

## Источники

- [Verkle Trees](https://math.mit.edu/research/highschool/primes/materials/2018/Kuszmaul.pdf) - MIT PRIMES (дата обращения: 2026-08-22)
- [EIP-6800: Ethereum state using a unified verkle tree](https://eips.ethereum.org/EIPS/eip-6800) - Ethereum Improvement Proposals (дата обращения: 2026-08-22)
- [Verkle tree structure](https://blog.ethereum.org/2021/12/02/verkle-tree-structure) - Ethereum Foundation (дата обращения: 2026-08-22)
- [Verkle trees](https://ethereum.org/roadmap/verkle-trees/) - Ethereum.org (дата обращения: 2026-08-22)

Source: https://wiki.fcontext.com/ru/crypto/verkle-tree/index.mdx
