Vitalik Buterin pubblica "Esplorando i Circle STARKs"

PANews ha riportato il 23 luglio che il co-fondatore di Ethereum Vitalik Buterin ha pubblicato un articolo intitolato "Exploring Circle STARKs", discutendo di una struttura nota come Circle STARKs. Questa ha alcune proprietà uniche ed è progettata per essere compatibile con il campo efficiente Mersenne31. Vitalik ritiene che, rispetto ai normali STARK, i Circle STARKs non apportino molta complessità aggiuntiva per gli sviluppatori. Nel processo di implementazione, rispetto al FRI regolare, ho osservato essenzialmente solo tre differenze. Il principio matematico dietro il "polinomio" operato da Circle FRI è piuttosto controintuitivo e richiede tempo per essere compreso e apprezzato. Tuttavia, questa complessità è nascosta in modo tale da non essere facilmente percepibile dagli sviluppatori. La complessità della matematica Circle è incapsulata piuttosto che sistemica. Comprendere Circle FRI e Circle FFT può anche essere una buona porta di conoscenza verso la comprensione di altri "FFT esotici": in particolare il dominio binario FFT utilizzato precedentemente in Binius e LibSTARK, così come strutture più esotiche come l'elliptic curve FFT che utilizzano mappature uno-a-uno ben coordinate con le operazioni sui punti delle curve ellittiche. Combinato con Mersenne31, BabyBear e tecnologie del dominio binario (come Binius), sentiamo davvero di avvicinarci al limite di efficienza dello "strato base" dei STARK. A questo punto, ci si aspetta che la frontiera dell'ottimizzazione dei STARK si sposti verso la creazione di versioni aritmetiche altamente efficienti di primitive come funzioni hash e firme (e ottimizzando queste primitive stesse per questo scopo), creando costruzioni ricorsive per una maggiore parallelizzazione, aritmetizzando le macchine virtuali per migliorare l'esperienza degli sviluppatori insieme ad altri compiti avanzati.