Il co-fondatore di Ethereum Vitalik Buterin ha pubblicato un nuovo articolo intitolato "Exploring Circle STARKs" sul suo blog. L'articolo evidenzia che Starkware con rollup di validità decentralizzato senza autorizzazione può elaborare 620.000 valori hash Poseidon2 al secondo su un notebook con chip M3. Questo progresso suggerisce che se Poseidon2 è considerato affidabile come funzione hash, la sfida nello sviluppo di un’efficiente macchina virtuale Ethereum (EVM) a conoscenza zero è stata risolta.
L'articolo sottolinea che gli STARK circolari introducono una complessità aggiuntiva minima per gli sviluppatori rispetto agli STARK standard. Le differenze principali sono essenzialmente limitate a tre questioni chiave durante la loro attuazione, a differenza del FRI regolare.
Anche se i principi matematici alla base dei “polinomi” utilizzati nel cerchio FRI sono in qualche modo controintuitivi e potrebbero richiedere tempo per essere compresi appieno, questa complessità è in gran parte nascosta agli sviluppatori. L’articolo evidenzia che la natura complessa dei principi matematici del cerchio è incapsulata piuttosto che sistematica.
Nel frattempo, comprendere il Circle FRI e le Circle FFT può anche servire come utile introduzione ad altre FFT specializzate. In particolare, ciò include FFT a campo binario, che vengono utilizzate in sistemi come Binius e LibSTARK, nonché costruzioni più complesse come FFT a curva ellittica. Le FFT con curva ellittica utilizzano mappature pochi-a-1 che si integrano bene con le operazioni sui punti della curva ellittica.
Esplorando il cerchio STARKshttps://t.co/WoVeucLXS6
Grazie agli amici di @StarkwareLtd per il gentile supporto nella comprensione di questi concetti!
Vedi anche la mia implementazione su https://t.co/qJP3lnaS8m
– vitalik.eth (@VitalikButerin) 23 luglio 2024
Vitalik Buterin anticipa l'aritmetizzazione delle primitive fondamentali come progresso chiave nell'ottimizzazione di STARK
Infine, Vitalik Buterin suggerisce che la combinazione di tecniche come Mersenne31, BabyBear e metodi a campo binario come Binius si sta avvicinando al limite di efficienza dello “strato base” di STARK. Prevede che i futuri progressi nell'ottimizzazione STARK si concentreranno sull'ottimizzazione dell'aritmetizzazione delle primitive fondamentali, come le funzioni hash e le firme, e sul miglioramento di queste stesse primitive per raggiungere lo scopo.
Inoltre, verrà data particolare importanza allo sviluppo di costruzioni ricorsive per consentire una maggiore parallelizzazione, all'aritmetizzazione delle macchine virtuali (VM) per migliorare l'esperienza degli sviluppatori e alla gestione di altre attività avanzate.
Il post Vitalik Buterin presenta una nuova soluzione per ZK-EVM efficiente nel suo ultimo articolo è apparso per primo su Metaverse Post.
