Il primo esperimento riuscito di lancio di un sistema Zero-Knowledge Proof (ZKP) nello spazio è avvenuto a bordo della Stazione Spaziale Internazionale (ISS), in una collaborazione tra lo sviluppatore di cripto-satelliti Cryptosat e l’organizzatore globale di hackathon DoraHacks. Una Prova a conoscenza zero, o Zero Knowledge Proof (ZKP), è uno sistema attraverso cui un prover è in grado di dimostrare a un verifier il possesso di un’informazione, definita witness, che soddisfi una specifica relazione, senza rivelare il witness al verifier o a chiunque altro. In altri termini con un sistema basato su Prova a conoscenza zero, una persona può dimostrare di possedere una certa conoscenza senza rivelare alcuna informazione riguardo alla conoscenza stessa.
L’esperimento
L’esperimento condotto a bordo della ISS ha dimostrato “la capacità di un ambiente di calcolo satellitare di eseguire parte del processo di configurazione di fiducia necessario per utilizzare un protocollo di prova ZK”, hanno dichiarato DoraHacks e Cryptosat. Il successo dell’esperimento ZK proof è un importante passo avanti nel dimostrare l’efficacia degli ambienti di calcolo spaziali, secondo Cryptosat, che sta cercando di lanciare in orbita una costellazione di cubesat e di ampliare la sua flotta di satelliti. Per il successo dell’esperimento sulla ISS, i team dovevano lavorare con un’infrastruttura che tenesse conto delle interruzioni della connettività della stazione di terra. “La ISS ha un regolare collegamento in radiofrequenza con la stazione di terra“, ha dichiarato il fondatore di Cryptosat Yonatan Winetraub. “Abbiamo usato quel collegamento per la nostra dimostrazione“.
La procedura
La procedura prevedeva la trasmissione di programmi open source precaricati tramite un collegamento sicuro alla ISS per produrre un file di stringa per il programma di voto basato sulla prova ZK utilizzato da DoraHacks.
Cryptosat ha già lanciato due satelliti a dimensione di tazza, i cubesat Crypto1 e Crypto2, il secondo dei quali è in fase di test, ha detto Winetraub. Una componente importante delle prove ZK è l’implementazione di una configurazione affidabile che deve essere gestita da una parte imparziale, e i cubi di Cryptosat “forniscono essenzialmente l’ambiente perfetto per queste configurazioni affidabili”, ha detto il fondatore di Cryptosat Yan Michalevsky . Lo schema crittografico alla base della prova ZK utilizzata nell’esperimento, Groth16, presenta ancora alcune limitazioni e richiede una nuova configurazione per qualsiasi aggiornamento del programma di voto. Inoltre, l’esperimento ha riguardato solo la seconda fase di una configurazione Groth16.
“Ci sono già diversi casi d’uso che sono pronti per passare alla produzione, tra cui i beacon casuali (servizi pubblici che fornisce numeri casuali imprevedibili a intervalli regolari.) , le configurazioni di fiducia, i voti privati, ecc. Tuttavia, una flotta satellitare più grande ci permette di affrontare nuovi casi d’uso che richiedono una larghezza di banda ancora maggiore e disponibile”, ha dichiarato Michalevsky. è un servizio pubblico che fornisce numeri casuali imprevedibili a intervalli regolari.