La proposta leanVM di Vitalik Buterin è una macchina virtuale a conoscenza zero minimale progettata per ridurre i costi delle transazioni su Ethereum e migliorare la scalabilità. Utilizza un'ISA a quattro istruzioni, STARK multilineari e logup lookups per abilitare la ricorsione efficiente e l'aggregazione XMSS con un sovraccarico di elaborazione molto inferiore.
-
Design minimale di zkVM: ISA a quattro istruzioni più STARK multilineari per prove a basso costo.
-
Si concentra su ricorsione e aggregazione XMSS per ridurre il carico di lavoro del prover e i costi di verifica on-chain.
-
Presentato da Vitalik Buterin come parte della roadmap di Ethereum verso strumenti crittografici più leggeri ed eleganti.
leanVM: la proposta zkVM minimale di Vitalik Buterin per ridurre i costi di Ethereum e aumentare la scalabilità. Scopri cosa significa per i rollup e il design dei protocolli — leggi ora.
Cos'è leanVM e perché è importante per Ethereum?
leanVM è una proposta di macchina virtuale a conoscenza zero minimale che dà priorità alla semplicità e a bassi costi per il prover. Il design si concentra su un'ISA a quattro istruzioni, STARK multilineari e logup lookups per abilitare ricorsione ed aggregazione efficienti, potenzialmente riducendo l'uso di risorse rispetto a implementazioni zkVM più pesanti.
Come migliora leanVM la scalabilità di Ethereum?
leanVM riduce il tempo del prover semplificando il set di istruzioni e la struttura della prova. Gli STARK multilineari abbassano il sovraccarico della dimensione della prova e i logup lookups semplificano l'accesso allo stato. Queste scelte aiutano a rendere ricorsione e aggregazione XMSS più economiche, il che può tradursi in una maggiore capacità dei rollup e commissioni per transazione più basse.
Vitalik Buterin ha presentato la proposta come uno sforzo per scrivere “codice compatto” e costruire primitive crittografiche a lungo termine e manutenibili invece di soluzioni temporanee di scaling.
Quando Vitalik ha proposto leanVM e cosa ha detto?
La proposta è emersa l'8 settembre 2025 durante una discussione sulla roadmap di Ethereum. Vitalik Buterin ha descritto leanVM come parte di una fase decisiva per l'evoluzione tecnica di Ethereum, sottolineando un design di protocollo compatto ed elegante rispetto a soluzioni temporanee.
Quali sono i punti salienti tecnici di leanVM?
Gli elementi chiave includono un'ISA a quattro istruzioni per mantenere la semantica di esecuzione minimale. Questo viene abbinato a STARK multilineari per ridurre il sovraccarico delle prove e logup lookups per ottimizzare l'accesso allo stato. Queste scelte mirano esplicitamente a rendere ricorsione e aggregazione XMSS più economiche nella pratica.
Domande Frequenti
Come influenzerà leanVM i rollup?
leanVM potrebbe ridurre i costi del prover dei rollup semplificando il modello di calcolo e la generazione delle prove. Un minore sovraccarico per il prover può ridurre le spese degli operatori e migliorare la capacità per i design di optimistic e zk-rollup che adottano strumenti compatibili.
leanVM è sicuro rispetto agli zkVM esistenti?
La sicurezza dipende dall'implementazione e dalle scelte crittografiche. leanVM si basa su prove STARK, considerate sicure contro attacchi quantistici; tuttavia, ogni nuova VM richiede analisi formali e revisione tra pari prima dell'uso in produzione.
Punti Chiave
- leanVM punta al minimalismo: Un'ISA a quattro istruzioni e prove compatte mirano a ridurre i costi per il prover.
- Focalizzato su ricorsione e aggregazione: STARK multilineari e logup lookups rendono ricorsione e aggregazione XMSS più pratiche.
- Parte della roadmap a lungo termine di Ethereum: La proposta riflette una spinta più ampia verso strumenti crittografici resilienti ed eleganti invece di soluzioni temporanee.
Conclusione
La proposta leanVM segna un passo importante nella roadmap di Ethereum verso strumenti zk scalabili ed efficienti in termini di costi. Enfatizzando un'ISA minimale, STARK multilineari e lookups ottimizzati, leanVM mira a ridurre i costi per il prover e abilitare ricorsione e aggregazione più efficienti. Sviluppatori e ricercatori dovrebbero seguire le discussioni in corso e le revisioni tra pari per valutare l'adozione pratica.
Storie correlate
- Milioni di nuovi wallet Ethereum creati – Eppure gli investitori sono più ribassisti che mai — 2 ore fa — 3 min di lettura
- Il rally di Ethereum nasconde una realtà oscura, avverte un ricercatore — 18 ore fa — 2 min di lettura
- Ecco quanto vale il co-fondatore di Ethereum Vitalik Buterin nel 2025 — 24 ore fa — 3 min di lettura
- Gli ETF su Ethereum registrano 787 milioni di dollari in deflussi dopo afflussi record ad agosto — 2 giorni fa — 2 min di lettura
- Una whale di Ethereum si risveglia dopo 3 anni – Mette in staking 646 milioni di dollari in ETH — 3 giorni fa — 2 min di lettura
- Grayscale lancia un ETF su Ethereum che paga ogni 2 settimane — 3 giorni fa — 2 min di lettura
