Anatoly Yakovenko, co-fondatore di Solana, ha avvertito che il rischio più pressante legato alla crittografia post-quantistica potrebbe non essere rappresentato dai computer quantistici stessi, bensì dalla possibilità che l'intelligenza artificiale possa rivelare le debolezze degli schemi di firma progettati per difendersi da essi. Le sue dichiarazioni conferiscono maggiore rilevanza alla recente iniziativa di Solana per la preparazione all'era quantistica, incentrata sulle firme Falcon, sulla pianificazione della migrazione e sulla resilienza a livello di portafoglio.
Lo scambio è iniziato dopo che lo sviluppatore Dean Little ha evidenziato i progressi su un'implementazione di Solana Falcon, affermando che la versione "0.1.2 ora costa solo ~173-183k CU per la verifica", con le prove Lean e Kani previste a breve. Ciò ha spinto Yakovenko a suggerire un supporto nativo più profondo all'interno dell'architettura delle transazioni di Solana, scrivendo : "Chiamata di sistema per sollevare PDA is_signer al processore delle transazioni, addebitando le commissioni ai firmatari validi alla fine del blocco. Fatelo, per favore."
Il piano post-quantistico di Solana viene sottoposto a un nuovo esame
L'osservazione più significativa arrivò poco dopo, quando Yakovenko inquadrò il problema non tanto come una semplice transizione dalla crittografia odierna alle firme post-quantistiche, quanto piuttosto come una questione di progettazione della sicurezza con incognite irrisolte.
"Credo che il rischio maggiore sia che gli schemi di firma pqc vengano violati dall'IA", ha scritto Yakovenko. "Non conosciamo nemmeno tutte le vulnerabilità di implementazione, figuriamoci quelle matematiche. Quindi dobbiamo supportare 2/3 dei wallet. @fusewallet o, idealmente, nativamente con i PDA nel processore di transazione."
Questo punto è rilevante perché la comunicazione ufficiale di Solana sulla sua preparazione al calcolo quantistico è stata generalmente improntata alla fiducia. In un post per sviluppatori del 27 aprile, Solana ha affermato che il calcolo quantistico è ancora "a diversi anni di distanza" e che, qualora la minaccia si concretizzasse, il lavoro di migrazione è "ben studiato, compreso e pronto per essere implementato". Il post descriveva una roadmap basata sulla continua ricerca, sull'adozione di uno schema post-quantistico per i nuovi wallet, se necessario, e sulla migrazione dei wallet esistenti allo schema selezionato.
L'attuale filone di ricerca di Solana si è concentrato su Falcon , uno schema di firma digitale post-quantistica identificato indipendentemente da Anza e Firedancer, due importanti sviluppatori di client validatori nell'ecosistema Solana. Secondo Solana, entrambi i team sono giunti alla stessa conclusione: la rete avrebbe bisogno di un formato di firma post-quantistica compatto, adatto all'utilizzo su blockchain ad alta velocità. Le prime implementazioni sono già disponibili tramite i repository di Firedancer e Anza, mentre Solana sostiene che la transizione sarebbe gestibile e non dovrebbe comportare un calo significativo delle prestazioni.
L'avvertimento di Yakovenko non contraddice direttamente quella tabella di marcia. Ne restringe il campo. Invece di mettere in dubbio la capacità di Solana di migrare alla crittografia post-quantistica quando necessario, egli sottolinea la fragilità del presupposto che un singolo nuovo schema crittografico rimarrà sicuro una volta che sia i dettagli di implementazione che le ipotesi matematiche saranno esposti ad analisi sempre più potenti assistite dall'intelligenza artificiale.
Questa distinzione è importante per gli sviluppatori. Il dibattito sulla predisposizione al quantismo spesso considera le firme post-quantistiche come il punto di arrivo: una volta che una blockchain è in grado di verificare Falcon o uno schema simile in modo efficiente, la rete ha una strada da percorrere.
Le osservazioni di Yakovenko suggeriscono che l'architettura più sicura potrebbe essere quella che evita la dipendenza da un unico schema, anche dopo la migrazione. La sua preferenza per "2/3 schemi di firma diversi" indica un modello di difesa multilivello, in cui i wallet o i processori di transazione potrebbero richiedere un'approvazione di soglia su più primitive crittografiche. Michael Egorov, fondatore di Curve Finance, ha chiesto se una "vera verifica formale" potrebbe contribuire a risolvere il problema. La risposta di Yakovenko è stata cauta: "Se sappiamo esattamente cosa verificare, preferirei comunque 2/3 schemi di firma diversi".
Questa risposta coglie l'aspetto irrisolto del dibattito. La verifica formale può ridurre il rischio di implementazione quando le proprietà target sono definite con precisione. La preoccupazione di Yakovenko è che l'industria potrebbe non conoscere ancora tutte le modalità di errore rilevanti, soprattutto se i sistemi di intelligenza artificiale dovessero diventare più abili nell'individuare casi limite, difetti di implementazione o debolezze matematiche più profonde nelle costruzioni post-quantistiche.
Al momento della pubblicazione, SOL era scambiato a 84,03 dollari.
