Vitalik Buterin, co-fondatore di Ethereum, ha introdotto progressi significativi nelle prove crittografiche, migliorando in particolare la velocità di verifica e semplificando il processo.
Questi sviluppi sfruttano nuove tecniche negli STARK e introducono strumenti innovativi come Plonky2 e Binius. Questi cambiamenti sono destinati a migliorare drasticamente l’efficienza delle tecnologie blockchain.
Prove crittografiche veloci e facili da verificare
Sotto i riflettori ci sono gli STARK, argomenti di conoscenza scalabili e trasparenti. Secondo Buterin, queste prove crittografiche si distinguono per la loro capacità di verificare in modo efficiente affermazioni complesse, come la validità di un blocco Ethereum.
Un’innovazione degna di nota negli STARK è l’uso di dimensioni di campo più piccole, che contrastano nettamente con i numeri interi a 256 bit più grandi richiesti dai loro predecessori, gli SNARK. Questo spostamento riduce il carico computazionale e accelera notevolmente il processo di verifica.
Il nuovo strumento crittografico, Plonky2, esemplifica questo progresso. Impiegando il campo Riccioli d’oro, che opera su numeri interi a 64 bit, Plonky2 raggiunge velocità di dimostrazione centinaia di volte più veloci rispetto ai metodi precedenti. Tali guadagni di efficienza sono cruciali, soprattutto per le applicazioni blockchain in cui la velocità e la scalabilità sono fondamentali.
“L’innovazione principale di Plonky2 è stata quella di creare un modulo aritmetico con un numero primo più piccolo: 264−232+1=18446744069414584321. Ora, ogni addizione o moltiplicazione può sempre essere eseguita in poche istruzioni su una CPU e l’hashing di tutti i dati insieme è 4 volte più veloce di prima”, ha spiegato Buterin.
Il lavoro di Vitalik Buterin non si ferma all’ottimizzazione delle dimensioni dei campi. La sua ultima avventura nel campo delle dimostrazioni crittografiche esplora il potenziale dei campi binari, utilizzando semplici zeri e uno. Questo approccio, implementato da un sistema chiamato Binius, sfrutta varie strategie matematiche per semplificare ulteriormente la generazione di prove.
Binius si differenzia concentrandosi sui campi binari, che sono fondamentalmente efficienti per i sistemi digitali. La logica alla base di questa attenzione è che i sistemi digitali sono intrinsecamente binari. Pertanto, l’allineamento delle operazioni crittografiche a questo può ridurre al minimo il sovraccarico di calcolo.
“Se si usa Binius, non c’è più bisogno di preoccuparsi molto di rendere il calcolo “aritmetico”: gli hash “regolari” non sono più più efficienti degli hash aritmetici tradizionali, la moltiplicazione modulo 232 o modulo 2256 non è più un grosso grattacapo rispetto alla moltiplicazione modulo p, e così via”, ha concluso Buterin.
Per saperne di più: Cosa sono le dimostrazioni a conoscenza zero? Garantire la crescita delle app Web3
Queste innovazioni sono una testimonianza del continuo impegno di Vitalik Buterin nel migliorare la tecnologia blockchain. Man mano che questi nuovi metodi crittografici diventano più diffusi, si prevede che ridurranno significativamente le barriere all’adozione della blockchain.
Trusted
Dichiarazione di non responsabilità
Tutte le informazioni contenute nel nostro sito web sono pubblicate in buona fede e solo a scopo informativo generale. Qualsiasi azione intrapresa dal lettore in base alle informazioni contenute nel nostro sito web è strettamente a suo rischio e pericolo.
