"Rivoluzione nelle Prove STARK: Binius di Bitlayer Labs e l'Efficienza dei Campi Binarie"

Giorno: 22 Ottobre 2024 | Ora: 12:09 Il documento analizza il sistema di prove STARK di quarta generazione, chiamato Binius, sviluppato da mutourend e lynndell di Bitlayer Labs. A differenza delle versioni precedenti, che presentavano larghezze di codifica di 252, 64 e 32 bit con spazi di inefficienza, Binius utilizza operazioni binarie dirette per un encoding più compatto ed efficiente. Esso combina diverse tecniche come l'aritmetica basata su campi binari, miglioramenti del prodotto HyperPlonk e controlli di permutazione, mirando ad aumentare l'efficienza del sistema. L'articolo discute anche l'importanza della riduzione della dimensione del campo per garantire la sicurezza, suggerendo che l'uso di campi binari possa ottimizzare notevolmente le performance rispetto ai campi basati su curve ellittiche. Inoltre, vengono presentati vari metodi di ottimizzazione, tra cui l'adozione di protocolli GKR per la moltiplicazione binaria e migliorie al protocollo ZeroCheck, al fine di ridurre i costi di calcolo e di trasmissione dati nel sistema. https://www.panewslab.com/zh/articledetails/8hd55kk28b9f.html