Circle STARKs mitiga il rischio aumentando il numero di valori che gli aggressori devono indovinare.
Gli STARK a volte operano su campi inefficienti a 256 bit, come affermato nel post.
Vitalik Buterin, co-fondatore di Ethereum, ha presentato Circle STARKs, un nuovo protocollo crittografico che mira a migliorare l'efficienza e la sicurezza della blockchain. Buterin descrive questo progresso tecnico nel suo post più recente, spiegando che utilizza campi più piccoli come Mersenne31 per aumentare notevolmente la velocità di prova senza sacrificare la sicurezza.
Sebbene sicuri, gli STARK (Scalable Transparent Arguments of Knowledge) convenzionali a volte operano su campi inefficienti a 256 bit, come affermato nel post.
Con Circle STARK è possibile verificare 620.000 hash Poseidon2 al secondo su un laptop M3. Perché utilizzano campi più piccoli, il che porta a costi di elaborazione ridotti, tassi di dimostrazione più rapidi e guadagni più efficienti.
Mentre le precedenti implementazioni di STARK rendevano campi più piccoli “naturalmente compatibili con la verifica delle firme basate su curve ellittiche”. Buterin sottolinea che ciò “ha portato all’inefficienza” a causa degli enormi numeri coinvolti.
Rafforzare la sicurezza
I piccoli campi convenzionali sono vulnerabili agli attacchi di forza bruta a causa dei loro valori potenziali limitati. I Circle STARK mitigano questo rischio aumentando il numero di valori che gli aggressori devono indovinare. Ciò avviene tramite l'uso di campi estensione e diversi controlli casuali.
Inoltre, l’integrità del protocollo è preservata da questo meccanismo di sicurezza, che presenta una barriera computazionalmente proibitiva per gli aggressori. Inoltre, una parte essenziale di Circle STARKs è il Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI), che dimostra che una funzione è un polinomio di un certo grado.
Presentando Circle FRI, un metodo che mantiene intatto il processo crittografico, i Circle STARK assicurano che gli input che non sono polinomiali falliscano la dimostrazione. Utilizzando campi minuscoli e questa nuova struttura matematica, gli STARK circolari forniscono maggiore adattabilità ed efficienza nelle prestazioni di calcolo.
Notizie crittografiche in evidenza oggi:
Ethereum assisterà a rotture dei prezzi tra gli emittenti di ETF HODLing?