﻿---
title: "Albero Verkle"
description: "Un albero Verkle combina un albero ampio con impegni vettoriali per produrre testimoni di stato compatti, con compromessi crittografici, di prova e migrazione."
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.

# Albero Verkle

> Solo a scopo educativo; non è consulenza finanziaria. Gli investimenti possono causare perdite.

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

## Risposta diretta

Un albero Verkle è un albero chiave-valore autenticato i cui nodi interni usano impegni vettoriali. Come un albero di Merkle lega molti valori a una radice; diversamente da un normale albero hash, prova un figlio in una posizione senza fornire tutti i fratelli.

Ciò consente alta ramificazione e aperture aggregate per più chiavi, riducendo il testimone rispetto a un Merkle-Patricia Trie. Il testimone include comunque valori di esecuzione e prova del legame alla radice autenticata. “Stateless” non significa che nessuno conservi lo stato né elimina il consenso. Al 2026-08-22, la roadmap Ethereum citava ancora testnet e lavoro client incompleto; EIP-6800 era Stagnant.

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

## Come funziona

Il protocollo fissa codifiche deterministiche, schema di impegno e regole dei nodi vuoti. Ogni nodo impegna un vettore ordinato di figli; il prover apre la posizione rilevante a ogni livello e un multiproof aggrega aperture e percorsi condivisi. Il verificatore confronta chiavi, valori, impegni e prova con una radice fidata.

In EIP-6800, una chiave da 32-byte ha stem da 31-byte e suffix da 1-byte, con nodi larghi 256. Valori con lo stesso stem condividono materiale. È un layout specifico: più larghezza accorcia i percorsi ma richiede aritmetica su curve ellittiche e precomputazione.

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

## Esempio

Si supponga che uno stem da 31-byte raggruppi 256 suffix. Se un blocco legge 2 valori dello stesso stem, riusa il percorso e aggrega le aperture invece di portare 2 insiemi di hash fratelli Merkle. Deve comunque verificare entrambe le chiavi e valori, la prova e la radice scelta.

Cambiare un valore aggiorna il suo impegno e gli antenati fino alla radice. Una prova della vecchia radice non prova la nuova. Il risparmio dipende dagli accessi: compatto non significa banda o costo zero né disponibilità garantita.

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

## Rischi

Errori in derivazione chiavi, ordine byte, vincolo di posizione, separazione domini, validazione punti, conversione scalare o distinzione fra vuoto e zero compromettono la sicurezza. Servono test vector e interoperabilità.

Prove piccole non risolvono disponibilità e liveness: trattenere un valore impedisce l'esecuzione, mentre radice o finality errate accettano una storia sbagliata. Generare prove può diventare collo di bottiglia o punto di censura.

Migrare cambia layout, sincronizzazione, formati, database, contabilità Gas e prove storiche. Proposta o devnet non dimostrano maturità produttiva. Gli impegni su curve considerati, inoltre, non sono in genere post-quantum secure.

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

## Idee errate comuni

### Idea errata 1: è solo un Merkle con più figli

La differenza decisiva è aprire un figlio tramite impegno vettoriale senza elencare tutti i fratelli.

### Idea errata 2: ogni prova ha dimensione totale costante

Le aperture si aggregano, ma il testimone cresce con valori, percorsi e metadati.

### Idea errata 3: stateless significa che nessuno conserva stato

Solo il verificatore evita la copia completa; qualcuno deve conservare o ricostruire e fornire i dati.

### Idea errata 4: Ethereum mainnet usa già Verkle

Le fonti descrivono ricerca e testnet; alla data verificata EIP-6800 era Stagnant.

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

## Argomenti correlati

- [Albero di Merkle](/it/crypto/merkle-tree/)
- [Light client](/it/crypto/light-client/)
- [State root](/it/crypto/state-root/)
- [Ethereum](/it/crypto/ethereum/)
- [Disponibilità dei dati](/it/crypto/data-availability/)

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

## Fonti

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

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