#VitalikButerin Esamina Binius: un approccio più rapido alle dimostrazioni a conoscenza zero

#Ethereum co-fondatore #Vitalik Buterin esplora "Binius", un nuovo metodo che mira a velocizzare notevolmente le dimostrazioni a conoscenza zero. Binius si concentra sull'efficienza eseguendo calcoli direttamente su bit binari (0 e 1) invece che su numeri più grandi utilizzati nei sistemi tradizionali come zk-SNARK. Questo approccio si rivolge ai tipi di dati utilizzati di frequente come contatori e flag booleani, portando potenzialmente a dimostrazioni più veloci.

Binius sfrutta i "campi binari finiti" per operazioni aritmetiche efficienti sui bit e utilizza una rappresentazione dei dati multidimensionale "ipercubo". Inoltre, utilizza un processo di codifica/decodifica unico per mantenere l'efficienza consentendo al tempo stesso l'elaborazione tramite polinomi e prove #Merkle .

Questi progressi nell’aritmetica dei sistemi di prova crittografici fondamentali promettono una maggiore scalabilità ed efficienza per applicazioni crittografiche complesse. Le prove #zero-knowledge spesso utilizzano polinomi per nascondere dati e calcoli durante la verifica, garantendo che venga confermata solo la validità della prova, non le informazioni sottostanti.

Sebbene i dettagli tecnici della crittografia Binius e della generazione di prove esulino da questo ambito, Buterin evidenzia il suo potenziale per miglioramenti significativi della velocità, in particolare per i calcoli che coinvolgono valori piccoli e operazioni a livello di bit. Questa tecnologia si basa su un white paper del 2023 di Posen e Diamond.

Nel complesso, Binius cerca di superare sostanzialmente i sistemi di dimostrazione esistenti in termini di velocità, aprendo la strada a dimostrazioni a conoscenza zero più veloci in futuro. Buterin prevede ulteriori progressi nelle “tecniche di prova basate su campi binari” nei prossimi mesi.