Vitalik Buterin presenta una nuova soluzione per ZK-EVM efficiente nel suo ultimo articolo
In Breve
Vitalik Buterin ha pubblicato un nuovo articolo sul suo blog intitolato “Exploring Circle STARKs”, introducendo una nuova soluzione per un efficiente ZK-EVM.
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, una sfida nello sviluppo di un efficiente sistema a conoscenza zero Ethereum La macchina virtuale (EVM) è 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.
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 in STARK l'ottimizzazione si concentrerà sull'ottimizzazione dell'aritmetizzazione delle primitive principali, 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.
Negazione di responsabilità
In linea con la Linee guida del progetto Trust, si prega di notare che le informazioni fornite in questa pagina non intendono essere e non devono essere interpretate come consulenza legale, fiscale, di investimento, finanziaria o di qualsiasi altra forma. È importante investire solo ciò che puoi permetterti di perdere e chiedere una consulenza finanziaria indipendente in caso di dubbi. Per ulteriori informazioni, suggeriamo di fare riferimento ai termini e alle condizioni nonché alle pagine di aiuto e supporto fornite dall'emittente o dall'inserzionista. MetaversePost si impegna a fornire report accurati e imparziali, ma le condizioni di mercato sono soggette a modifiche senza preavviso.
Circa l'autore
Alisa, una giornalista dedicata al MPost, è specializzato in criptovaluta, prove a conoscenza zero, investimenti e nel vasto regno di Web3. Con un occhio attento alle tendenze e alle tecnologie emergenti, offre una copertura completa per informare e coinvolgere i lettori nel panorama in continua evoluzione della finanza digitale.
Altri articoli
Alisa, una giornalista dedicata al MPost, è specializzato in criptovaluta, prove a conoscenza zero, investimenti e nel vasto regno di Web3. Con un occhio attento alle tendenze e alle tecnologie emergenti, offre una copertura completa per informare e coinvolgere i lettori nel panorama in continua evoluzione della finanza digitale.
