Vitalik Buterin svela Binius: un nuovo sistema crittografico che migliora le prove a conoscenza zero
Summary:
Il co-fondatore di Ethereum, Vitalik Buterin, ha discusso di un nuovo sistema di prova crittografica chiamato "Binius" che cerca di migliorare l'efficienza delle prove a conoscenza zero. Il nuovo sistema offre miglioramenti significativi rispetto ai metodi tradizionali come zk-SNARK, conducendo calcoli direttamente su singoli bit binari piuttosto che su numeri più grandi. Un approccio binario-centrico di questo tipo ha il potenziale per ottimizzare l'elaborazione di dati costituiti da valori più piccoli e promette sviluppi significativi per le applicazioni di prova crittografica, rendendole più efficienti e scalabili.
Vitalik Buterin, co-fondatore di Ethereum, ha diffuso un nuovo meccanismo di proofing crittografico progettato per una maggiore efficienza nelle prove a conoscenza zero. In un blog di fine aprile, Buterin ha introdotto un sistema di prova crittografica su campi binari ad alte prestazioni chiamato "Binius". Questa nuova tecnologia promette miglioramenti sostanziali rispetto ai metodi consueti come gli zk-SNARK. Binius è progettato per aumentare l'efficienza attraverso comandi computazionali elaborati su singoli bit binari - uno e zero - evitando di lavorare con quantità maggiori.
Questo approccio si basa su framework di prova crittografica consueti come SNARK (Succinct Non-Interactive Argument of Knowledge) e STARKs (Scalable Transparent Argument of Knowledge) che di solito si occupano di conteggi più significativi come numeri interi a 64 bit o 256 bit. I dati elaborati sono spesso costituiti da cifre più piccole come contatori, indici e flag booleani. Pertanto, operando direttamente sui bit, Binius ha potuto gestire questi dati con un'efficienza superiore, ha affermato Buterin.
Buterin ha affermato che il paradigma della dimostrazione rinnovato fornisce progressi come la visione dei dati come una griglia multidimensionale o un "ipercubo" di bit, impiegando "campi finiti" binari per operazioni aritmetiche efficaci su bit e sequenze di bit. Inoltre, impiega un meccanismo di codifica e decodifica su misura che modifica le informazioni a livello di bit adatte per calcoli "polinomiali" e dimostrazioni di Merkle, pur mantenendo operazioni binarie efficienti.
Questo sistema binario apre notevoli miglioramenti per l'aritmetica fondamentale nelle applicazioni di prova crittografica, rendendo le complesse imprese crittografiche più fluide e scalabili. Le dimostrazioni ZK utilizzano spesso polinomi per codificare dati e calcoli, consentendo la verifica delle prove senza rivelare il contenuto sottostante, da qui l'uso del termine "conoscenza zero".
Buterin ha mostrato il protocollo Binius attraverso intricati concetti matematici non discussi in questa notizia per dimostrare come vengono eseguite la codifica dei dati, la generazione di prove e la verifica efficiente delle prove. Per i crittografi, Benjamin E. Diamond e Jim Posen hanno proposto per la prima volta questa idea in un whitepaper del 2023 intitolato "Succinct Arguments over Towers of Binary Fields".
In sintesi, Binius prevede di effettuare un sostanziale aumento delle prestazioni rispetto ai sistemi di correzione tradizionali, principalmente per i calcoli che coinvolgono valori più piccoli e operazioni a livello di bit. Buterin si aspetta ulteriori miglioramenti nelle tecniche di prova basate su campi binari in futuro.
Published At
5/1/2024 8:52:03 AM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.