Proposta di Vitalik Buterin per Ethereum
Il co-fondatore di Ethereum, Vitalik Buterin, ha dichiarato mercoledì di sperare di vedere una proposta che riduca il costo delle transazioni private sicure contro il quantum di oltre il 99% inclusa in un futuro aggiornamento della rete.
EIP-8288 e la crittografia
L’EIP-8288, di cui è co-autore dal mese di giugno, sposterà la crittografia più pesante fuori dal percorso di esecuzione della rete. Attualmente, le firme post-quantum raggiungono dimensioni di 2 o 3 kilobyte e costano tra 150.000 e 200.000 gas per la verifica. Le prove STARK sono ancora più problematiche, superando i 128 kilobyte e arrivando fino a 512 kilobyte quando generate rapidamente, il che porta la verifica a costare milioni di gas.
Una transazione privata ben progettata costa oggi circa 300.000 gas, ha twittato Buterin, e circa 10 milioni se si desidera che sia sicura contro il quantum. Sotto l’EIP-8288, ha affermato Buterin, entrambe si attesterebbero nelle basse decine di migliaia.
Meccanismo di funzionamento
Questo avviene non mettendo affatto la crittografia on-chain. Una transazione dichiara invece una “dipendenza”—una breve affermazione che un certo messaggio è stato firmato da una certa chiave, o che alcuni dati soddisfano una certa prova—che costa 96 byte. I nodi del mempool raccolgono quindi queste affermazioni ogni secondo, generano una singola prova STARK ricorsiva che le copre tutte in una volta e la trasmettono. Il blocco porta una prova che copre tutto ciò che contiene.
Le prove ricorsive necessitano di un linguaggio comune per esprimere le affermazioni, e il candidato principale è RISC-V, un set di istruzioni aperto utilizzato nella progettazione di chip. L’adozione della proposta renderebbe il set di istruzioni canonico de facto di Ethereum, che Buterin ha definito una “grande decisione” da prendere con cautela, e una che ritiene necessaria.
Roadmap e futuri sviluppi
Ha proposto la stessa mossa a luglio, in una roadmap Lean Ethereum che ricostruirebbe quasi ogni componente principale del protocollo in tre o quattro anni e consacrerebbe gli STARK ricorsivi al centro. Un altro utilizzo che ha abbozzato è l’astrazione degli account privati: mantenere nascosta la logica di un account on-chain, consentendo di cambiare la proprietà di ogni posizione e holding ad esso collegato in una singola transazione, senza rivelare quali siano.
L’EIP-8288, co-autore di Buterin insieme a Thomas Coratger, dipende da Frames, la revisione delle transazioni che ha promosso domenica—che è essa stessa non programmata. Buterin desidera entrambi in I-star, l’aggiornamento successivo a Hegota, che ha affermato sarà l’ultimo di Ethereum prima che inizi l’era Lean. Nessuno dei due è stato assegnato a un fork.
