Il cofondatore di Ethereum Vitalik Buterin ha delineato una proposta di design delle transazioni che separerebbe le condizioni necessarie per validare una transazione dalle azioni ultimately eseguite sulla rete, permettendo potenzialmente a Ethereum di gestire il lavoro di validazione in modo più efficiente.

La proposta si basa su diversi filoni di ricerca di Ethereum, tra cui EIP-8141, nonce a chiave, design alternativi dello stato e mempool basati su STARK ricorsivi. La ricerca di Buterin distingue tra le azioni di transazione, che producono cambiamenti su Ethereum, e le dipendenze, che devono essere risolte prima che tali azioni possano essere eseguite in sicurezza.

Nel modello proposto, questa separazione potrebbe consentire di gestire in modo indipendente le diverse parti dell'elaborazione delle transazioni, anziché richiedere che validazione ed esecuzione rimangano strettamente vincolate.

Il design delle transazioni potrebbe abilitare la validazione parallela

Le azioni descrivono gli effetti generati da una transazione, come il trasferimento di token, l'aggiornamento di account o l'interazione con smart contract. Le dipendenze, al contrario, rappresentano le condizioni che devono essere stabilite prima che tali azioni possano procedere.

L'attuale flusso di transazioni di Ethereum vincola questi requisiti di validazione all'esecuzione: i nodi ricevono le transazioni, verificano che i requisiti siano soddisfatti e quindi elaborano le operazioni richieste.

La proposta di Buterin suggerisce che molte dipendenze potrebbero invece essere gestite in modo indipendente, poiché non necessariamente condividono le stesse caratteristiche delle azioni stesse.

Alcune dipendenze si basano su informazioni contenute nello stato di Ethereum, mentre altre possono essere valutate senza accedere allo stato della rete. Quest'ultima categoria, descritta come dipendenze pure, potrebbe potenzialmente essere verificata prima che una transazione venga inclusa in un blocco.

Spostare questo lavoro nella mempool potrebbe ridurre la quantità di validazione che i nodi devono ripetere durante l'esecuzione del blocco. Potrebbe inoltre consentire la verifica concorrente di più dipendenze, anziché richiedere l'elaborazione sequenziale di ogni condizione.

Questa distinzione potrebbe diventare sempre più rilevante man mano che le transazioni di Ethereum diventano più complesse e richiedono logiche di autorizzazione ed esecuzione più sofisticate. L'esecuzione parallela e una maggiore velocità di validazione sono temi ricorrenti nella roadmap di scalabilità di Ethereum, che ha sottolineato l'aumento della capacità transattiva della rete attraverso una combinazione di rollup layer-2 e miglioramenti del layer di base.

STARK ricorsivi e account abstraction fanno parte della proposta

La tecnologia STARK ricorsivo è un altro componente del concetto. Molteplici verifiche completate potrebbero potenzialmente essere combinate in un'unica prova crittografica, consentendo ai validatori di verificare un risultato aggregato invece di ripetere indipendentemente ogni calcolo sottostante. I sistemi di prova basati su STARK sono già utilizzati altrove nell'ecosistema Ethereum, ad esempio nei rollup a conoscenza zero, dove comprimono il calcolo in prove sintetiche e concise.

L'architettura proposta si collega inoltre alla più ampia ricerca di Ethereum sull'account abstraction. EIP-8141 esplora formati di transazione progettati per supportare meccanismi di autorizzazione ed esecuzione più flessibili, mentre i nonce a chiave potrebbero offrire maggiore flessibilità nell'ordinamento delle transazioni dei singoli account. L'account abstraction è progredita in modo incrementale su Ethereum grazie a sforzi precedenti come ERC-4337, che ha introdotto una mempool alternativa e account smart contract, ed EIP-7702, che consente agli account esterni di adottare temporaneamente funzionalità di smart contract.

I nonce tradizionali di Ethereum generalmente impongono un ordine sequenziale alle transazioni provenienti dallo stesso account. Di conseguenza, una transazione in ritardo può impedire l'elaborazione corretta delle transazioni successive.

I nonce a chiave creerebbero sequenze di transazioni separate all'interno di un singolo account, consentendo a operazioni non correlate di procedere in modo indipendente anziché essere bloccate da una transazione precedente.

I design alternativi dello stato potrebbero inoltre modificare il modo in cui Ethereum organizza le informazioni sulle transazioni e determina quali condizioni devono essere validate.

Considerati nel loro complesso, questi approcci puntano verso un'architettura delle transazioni più modulare, in cui intento, autorizzazione, verifica delle dipendenze ed esecuzione potrebbero essere gestiti come componenti distinti.

La proposta resta un concetto di ricerca in via di sviluppo

Il modello di transazione resta un concetto in via di sviluppo anziché un upgrade confermato della rete Ethereum. La sua implementazione richiederebbe ulteriore lavoro per determinare come l'architettura potrebbe essere distribuita in sicurezza e quali requisiti tecnici imporrebbe all'infrastruttura di Ethereum.

Se l'approccio si rivelasse praticabile, la separazione delle dipendenze dalle azioni potrebbe aprire opportunità di validazione parallela, ridurre il calcolo duplicato e rendere più efficiente l'elaborazione delle transazioni.

Per ora, tuttavia, la proposta rappresenta un'area di ricerca in corso. Il suo potenziale impatto dipenderà da ulteriore sviluppo, dalla valutazione della sicurezza e dalla capacità degli sviluppatori di Ethereum di tradurre le idee sottostanti in un design di rete realizzabile. Come per le precedenti proposte di miglioramento di Ethereum, il concetto dovrebbe passare attraverso il processo di revisione pubblica e standardizzazione dell'ecosistema prima che qualsiasi sua parte possa raggiungere la mainnet.

Fonte: Hokanews