Quando il non sapere diventa un vantaggio
C’è un’idea un po’ strana: la matematica ha dei limiti precisi. Esistono verità che non si possono dimostrare. Domande a cui non si può rispondere con certezza. Per molto tempo questa scoperta è sembrata un difetto, un punto debole del ragionamento formale.
Poi qualcuno ha avuto un’idea diversa: e se quei limiti si potessero usare a nostro favore?
È proprio quello che hanno fatto i crittografi quando hanno cominciato a pensare a come dimostrare di conoscere qualcosa senza rivelare i dettagli. Il risultato è una tecnologia che sta cambiando il modo in cui proteggiamo le informazioni online.
Il problema dei tre colori
Immagina di aver risolto un rompicapo complicato: devi colorare una mappa con tre colori, senza che due zone confinanti abbiano lo stesso colore. Riesci a farlo, ma non vuoi mostrare la soluzione.
Per anni si è pensato che fosse impossibile. O si svelava tutto o non si dimostrava nulla. Nessuna via di mezzo.
La prova a conoscenza zero
Nel 1985 tre ricercatori hanno trovato un modo per trasformare la dimostrazione in un gioco interattivo.
Tu colori la mappa in segreto. Copri tutto tranne i confini. L’altra persona indica una linea di separazione e chiede di vedere le due zone. Tu le scopri. Lei controlla che i colori siano diversi. Poi ricopri e mescoli di nuovo i colori. Ripetete l’operazione cento volte.
Ogni volta la verifica è casuale. Se non sai davvero come colorare la mappa, prima o poi vieni scoperto. Ma se superi tutti i controlli, chi ti osserva diventa convinto che possiedi una soluzione valida. Senza averla mai vista.
Il problema dell’interazione
Finora si credeva che questo tipo di scambio fosse indispensabile. Nel 1994 due matematici hanno dimostrato che non si può ottenere lo stesso risultato senza dialogo. O almeno, nessuno ci era riuscito.
Il collegamento con Gödel
Un dottorando, Rahul Ilango, ha collegato il problema a un risultato famoso del 1931: i teoremi di incompletezza di Gödel. Secondo Gödel, ogni sistema matematico contiene verità che non possono essere provate all’interno di quel sistema.
Ilango ha avuto un’intuizione: perché non usare proprio questi “buchi” matematici come base per le prove a conoscenza zero? Invece di affidarsi solo alla difficoltà di calcolo, ha sfruttato i limiti intrinseci della matematica.
Il risultato è sorprendente: prove che funzionano senza interazione e che mantengono il segreto grazie alla struttura stessa della matematica. Quando Amit Sahai ha letto il lavoro, ha faticato a credere che fosse possibile. Ma funzionava.
Perché conta
Le applicazioni pratiche sono già in fase di studio:
- Verificare transazioni su blockchain senza mostrare importi o identità
- Dimostrare di conoscere una password senza inviarla
- Controllare un algoritmo di intelligenza artificiale senza rivelare i dati
Se questi metodi diventano più efficienti, potremo dimostrare la correttezza di un processo senza esporre le informazioni.
Il quadro più ampio
Ciò che colpisce di più è vedere come campi lontani si uniscano all’improvviso. Gödel pensava ai limiti della verità matematica. I crittografi cercavano modi per nascondere segreti. Nessuno aveva collegato le due idee. Ma il collegamento c’era, e basta un’idea giusta per scoprirlo.
A volte le soluzioni più efficaci nascono da territori che sembrano lontani. E a volte il non sapere non è un ostacolo: è la risorsa su cui costruire.