BloQBench: A Blockchain Benchmarking Framework for Quantum Supremacy
Il documento introduce BloQBench, un framework decentralizzato basato su Ethereum che utilizza enigmi classicamente intrattabili privi di segreti pre-computati per fornire un'assicurazione pubblicamente verificabile e senza necessità di fiducia della supremazia quantistica e per attivare automaticamente le transizioni verso schemi crittografici sicuri rispetto al calcolo quantistico a seguito di una dimostrazione avvenuta con successo.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Immaginate un mondo in cui i computer stanno diventando così potenti da poter risolvere enigmi che richiederebbero a un normale supercomputer più di quanto sia durato l'intera età dell'universo per decifrare. Questa è la frontiera eccitante, e leggermente terrificante, del calcolo quantistico. Pensate a un computer quantistico non come a una versione più veloce del vostro laptop, ma come a una chiave magica capace di aprire istantaneamente serrature progettate per essere infrangibili dai mezzi normali. La grande domanda che gli scienziati si pongono è: "Come facciamo a sapere con certezza quando un computer quantistico ci è effettivamente riuscito?"
Di solito, quando qualcuno afferma "Ce l'ho fatta!", lo dice e basta, e noi dobbiamo fidarci. Ma nella scienza, la fiducia non è sufficiente; abbiamo bisogno di prove. Il problema è che se un enigma è troppo difficile da risolvere per un computer normale, è anche troppo difficile da verificare per un computer normale. È come chiedere a qualcuno di risolvere un labirinto nella sua testa e poi chiedervi di verificare che non abbia imbrogliato, ma voi non potete vedere il labirinto. Questo articolo affronta esattamente questo problema: come possiamo creare un test che sia impossibile da falsificare per un computer normale, ma facile da dimostrare come reale, senza dover confidare nella persona che ha impostato il test?
Il Honeypot Digitale: BloQBench
Gli autori di questo articolo, Nicholas J.C. Papadopoulos e Ramin Ayanzadeh, hanno costruito una trappola digitale chiamata BloQBench. Immaginate un enorme tesoro pubblico situato su una rete globale chiamata blockchain (pensatela come un enorme registro pubblico immutabile dove tutti possono vedere tutto ciò che accade). Questo scrigno è pieno di denaro, ma è chiuso con 119 serrature diverse, incredibilmente complesse.
Ecco il trucco magico: nessuno, nemmeno la persona che ha costruito lo scrigno, conosce la combinazione di queste serrature. Le serrature sono generate da un programma per computer (uno "smart contract") che le crea sul momento utilizzando un metodo che assicura che non esistano "segreti pre-calcolati". È come una macchina distributrice che stampa casualmente un enigma unico e insolubile ogni volta che premete un pulsante, e la macchina stessa dimentica la risposta immediatamente dopo averla stampata.
La sfida? Le serrature si basano sulla fattorizzazione di interi. In parole pane, significa prendere un numero enorme e confuso e capire quali due numeri primi più piccoli siano stati moltiplicati tra loro per crearlo. Per un computer normale, questo è come cercare di "dis-cuocere" una torta per trovare le uova e la farina esatte utilizzate; è praticamente impossibile con numeri grandi. Ma per un computer quantistico, usando un algoritmo speciale, è come avere una macchina del tempo che può vedere gli ingredienti prima che vengano mescolati.
Il Piano d'Azione: Come Funziona
Il processo è impostato come un game show ad alta posta in gioco con un colpo di scena:
- La Configurazione: Lo smart contract genera 119 "serrature". Ogni serratura è un numero composto da 4.608 bit (un numero enorme). Il contratto è progettato in modo che ci sia solo una possibilità su un miliardo che tutte queste serrature possano essere risolte da un computer normale. L'obiettivo è assicurarsi che almeno una di esse sia veramente impossibile da scardinare per un computer normale.
- La Ricompensa: C'è un fondo (un "bounty") nel contratto. L'articolo suggerisce un minimo di 800.000.000 di gas (la valuta utilizzata per pagare le transazioni sulla rete Ethereum) per coprire il costo della risoluzione degli enigmi. Se il prezzo attuale è di 23,8 Gwei per unità di gas, si tratta di circa 19,04 ETH.
- La Corsa: Chiunque può provare a risolvere le serrature. Se possedete un computer quantistico (o un genio molto fortunato con un supercomputer), potete provare a trovare i fattori primi.
- L'Anti-Cheat: Per evitare che le persone rubino le risposte altrui, il sistema utilizza uno schema "commit-reveal". Dovete prima chiudere la vostra risposta in una busta digitale (un hash) e attendere un giorno. Dopo quel giorno, aprite la busta e mostrate la risposta. Questo evita il "front-running", ovvero dove un malintenzionato vede la vostra risposta in arrivo e la ruba prima che possiate reclamare il premio.
- La Vittoria: Se risolvete una serratura, il contratto la segna come "risolta". Se risolvete l'ultima serratura, la più difficile, ottenete l'intero premio e una gigantesca bandiera sulla blockchain passa a "TRUE". Questa bandiera è la prova inconfutabile che la supremazia quantistica è stata raggiata.
Perché Questo è Importante: L'Interruttore Automatico
La parte più interessante di BloQBench non è solo il denaro; è ciò che accade quando la bandiera cambia. Attualmente, le blockchain utilizzano la sicurezza "classica" (come RSA e ECDSA) per proteggere il vostro denaro. Queste sono sicure finché non arriva un computer quantistico a romperle.
L'articolo propone che BloQBench agisca come un trigger automatico. Immaginate che il vostro conto bancario abbia un interruttore di sicurezza. Finché la "Bandiera Quantistica" è falsa, la banca utilizza la sicurezza classica, veloce ed economica. Ma nel momento in cui qualcuno risolve l'enigma e fa passare la bandiera a "TRUE", il sistema passa automaticamente a un nuovo sistema di sicurezza "quantum-proof" (usando qualcosa chiamato firme Lamport).
Questo è fondamentale perché la nuova sicurezza quantum-proof è più lenta e costosa da utilizzare. Se passassimo a questa troppo presto, sprecheremmo denaro e rallenteremmo tutto. Se passassimo troppo tardi, il nostro denaro verrebbe rubato. BloQBench risolve questo problema aspettando il momento esatto in cui la minaccia viene provata reale, per poi scattare l'interruttore istantaneamente.
Cosa Esclude l'Articolo
Gli autori sono stati molto cauti riguardo a ciò che non hanno fatto. Hanno esplicitamente escluso diverse altre idee:
- Nessun Generatore Fidato: Hanno rifiutato l'idea di far generare gli enigmi a un essere umano o a un'azienda. Se un essere umano crea l'enigma, potrebbe mantenere una "backdoor" segreta per risolverlo da solo, il che rovinerebbe la prova.
- Niente "Order-Finding": Hanno considerato un altro tipo di enigma matematico chiamato "order-finding", ma hanno scoperto che era troppo costoso da implementare sulla blockchain (costava oltre 6 miliardi di gas per il deployment) rispetto al loro metodo di fattorizzazione (che ne costava circa 237 milioni).
- Nessun Enigma Non Verificabile: Hanno rifiutato i "problemi di campionamento" (dove un computer genera pattern casuali) perché, sebbene siano difficili da eseguire, sono anche difficili da dimostrare come corretti. Non è facile verificare se il pattern è giusto, quindi non funziona come prova pubblica.
In Sintamente
L'articolo non sostiene che i computer quantistici abbiano già sconfitto il mondo. Al contrario, fornisce un framework e uno strumento (BloQBench) per dimostrarlo quando accadrà. Hanno costruito il contratto, lo hanno testato e hanno dimostrato che funziona. Hanno calcolato che risolvere uno dei loro enigmi costerebbe circa 6.110.290 gas per la verifica, e risolvere tutti i 119 costerebbe circa 741.048.802 gas.
Gli autori suggeriscono che questo sistema crei un "gradiente regolabile". Potreste rendere le serrature più facili per rilevare i primi segni di potenza quantistica, o mantenerle super difficili (come le serrature a 4.608 bit che hanno scelto) per aspettare il momento in cui i computer quantistici potranno rompere i più famosi standard di crittografia del mondo come RSA.
In breve, BloQBench è un arbitro trustless, pubblico e automatizzato. Aspetta che il computer quantistico scenda in campo, risolve l'enigma e poi aziona istantaneamente l'interruttore per proteggere il nostro mondo digitale, il tutto senza che nessuno debba fidarsi di una singola persona. Trasforma la corsa alla supremazia quantistica in un gioco con un vincitore chiaro e una rete di sicurezza garantita.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.