Dibattito sulla crittografia nella blockchain
C’è un acceso dibattito su X riguardo alla crittografia basata su reticoli rispetto a quella basata su hash nel design della blockchain. A partecipare alla discussione ci sono il cofondatore di Zcash Eli Ben Sasson, il cofondatore di Ethereum Vitalik Buterin e il GC di Delphi Labs Gabriel Shapiro.
Inizio della discussione
La conversazione è stata avviata da a16z crypto, che ha sostenuto l’adozione della crittografia a reticolo in un recente post su X. In un articolo, a16z crypto ha spiegato le proprie motivazioni, affermando che il design pianificato da Ethereum per l’aggregazione delle firme, basato esclusivamente su hash, si fonda sulla ricorsione SNARK, il che comporta un sovraccarico di coordinamento, una superficie di bug e una sicurezza non ancora stabilita.
Le posizioni dei partecipanti
Rispondendo al post di a16z crypto, Eli Ben Sasson ha fortemente dissentito, sottolineando che i reticoli presentano una struttura matematica promettente, pronta per essere sfruttata dall’intelligenza artificiale.
Secondo a16z crypto, fare affidamento esclusivamente sulla crittografia basata su hash può sembrare più sicuro, ma tali design possono portare a sistemi più fragili.
Espandendo ulteriormente la conversazione, Gabriel Shapiro ha condiviso il suo punto di vista su X, affermando: “Penso che l’approccio di Ethereum rimanga la migliore opzione qui per Ethereum,” dissentendo dalla posizione di a16z crypto.
Roadmap di Ethereum
La roadmap del consenso Lean di Ethereum prevede di sostituire completamente le firme BLS con firme basate su hash (una qualche variante di Winternitz) e di utilizzare STARK per l’aggregazione. Shapiro ha suggerito di impiegare la crittografia a reticolo per conti e portafogli attraverso un precompilato, se si dimostrerà sicura per l’IA, aggiungendo che la crittografia basata su hash consente a Ethereum di operare a piena velocità.
Vitalik Buterin ha partecipato alla discussione, concordando con Shapiro: “Potremmo comunque fare cose con i reticoli per conti e portafogli attraverso un precompilato, se si dimostra sicuro per l’IA.”
Ha aggiunto: “La strada ideale per supportare la crittografia di tutti è, secondo me, attraverso 8288. Fai qualsiasi firma tu voglia localmente, poi la STARK, e poi viene inclusa attraverso la macchina aggregatrice STARK. Non è necessario alcun calldata on-chain. Ethereum non potrà mai aggiungere un nuovo precompilato di nuovo.” Concordo con Buterin che questa sia la strada giusta per Ethereum.
A questo, Eli Ben Sasson ha risposto: “Concordo, questa è la strada giusta per Ethereum.”
Considerazioni sulla proof of stake
A parte Bitcoin, la maggior parte delle grandi blockchain utilizza la proof of stake, che consente ai validatori di votare su ogni blocco firmandolo. Grandi set di validatori sono pratici grazie all’aggregazione delle firme. Ethereum utilizza firme BLS, che hanno una struttura algebrica che consente di combinare decine di migliaia di firme di validatori per slot in un singolo elemento di gruppo.
Tuttavia, per quanto utile sia BLS, non è post-quantum, poiché nessuno schema di firma post-quantum noto aggrega in questo modo. Spiegando la roadmap di resistenza quantistica all’inizio di quest’anno, Buterin ha menzionato la soluzione come firme ricorsive a livello di protocollo e aggregazione delle prove.
Ha parlato di aggiungere un’astrazione nativa dell’account attraverso l’EIP-8141, che fornisce un’astrazione del framework per la validazione delle transazioni, l’esecuzione e il pagamento del gas, in modo che gli account di prima classe possano utilizzare qualsiasi algoritmo di firma.
