Solo a scopo educativo; non è consulenza finanziaria. Gli investimenti possono causare perdite.
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.
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.
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.
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.
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.
Argomenti correlati
Fonti
- Verkle Trees - MIT PRIMES (consultato: 2026-08-22)
- EIP-6800: Ethereum state using a unified verkle tree - Ethereum Improvement Proposals (consultato: 2026-08-22)
- Verkle tree structure - Ethereum Foundation (consultato: 2026-08-22)
- Verkle trees - Ethereum.org (consultato: 2026-08-22)