DoraHacks i Cryptosat kończą test systemu ZK Proof w kosmosie

Zainicjowanie systemu odpornego na wiedzę zerową w kosmosie do niedawna wydawało się celem niemożliwym do zrealizowania. Jednak DoraHacks i Cryptosat pokazały, że można to zrobić. Oba zespoły zaprezentowały wykonalność tego podejścia na pokładzie ISS w zeszłym tygodniu. 

System dowodu wiedzy zerowej w kosmosie

Ustanowienie zaufania w środowisku odpornym na wiedzę zerową jest niezbędne. Pozwala nadawcy udowodnić, że coś jest ważne dla odbiorcy bez udostępniania żadnych dodatkowych informacji. Aby taka konfiguracja działała, system konfiguracji ZK musi być wolny od ingerencji, zarówno po stronie oprogramowania, jak i sprzętu. 

Międzynarodowa Stacja Kosmiczna (ISS) to idealne miejsce. Zamieszkuje go siedmiu astronautów i nikt inny nie ma dostępu do sprzętu. Ponadto ISS utrzymuje połączenie radiowe ze stacją naziemną. Aby przeprowadzić eksperyment, zespoły wstępnie przesłały programy typu open source w celu wygenerowania pliku ze wspólnym ciągiem referencyjnym (CRS). Ten CRS jest używany przez rozwiązanie do głosowania DoraHacks oparte na zasadzie Zero-Knowledge, chroniące prywatność użytkowników i zapobiegające zmowie w zarządzaniu i głosowaniu. 

 

Dyrektor generalny i założyciel DoraHacks, Eric Zhang, dodaje:

"Docelowo chcemy wykorzystać odizolowane środowisko obliczeniowe w kosmosie, aby przeprowadzić kompletną zaufaną konfigurację aplikacji odpornych na wiedzę zerową, w tym „ceremonię w kosmosie”, która tworzy CRS dla wielu systemów sprawdzających, takich jak PLONK. Jeśli uda nam się osiągnąć ten cel, będziemy mogli zapewnić dobro publiczne dla wszystkich aplikacji opartych na zasadzie zero-knowledge, a także nowy paradygmat inicjowania protokołów kryptograficznych w ogóle."

DoraHacks nawiązał współpracę z Cryptosat ze względu na swoją reputację w zaufanych środowiskach komputerowych w kosmosie. Cryposat rozmieszcza satelity typu cubesat i ma na celu zbudowanie floty satelitów o niskiej orbicie w celu sprawdzenia stanu wiedzy zerowej. Chociaż obecna konfiguracja ma ograniczenia, zostaną one powoli rozwiązane, gdy flota satelitów stanie się większa. W rezultacie DoraHacks i Cryptosat mogą współpracować przy przyszłych misjach kosmicznych, aby poszerzyć granice tego podejścia. 

Zastrzeżenie: ten artykuł służy wyłącznie do celów informacyjnych. Nie jest oferowana ani przeznaczona do wykorzystania jako porady prawne, podatkowe, inwestycyjne, finansowe lub inne.

Ogromny potencjał systemów o zerowej wiedzy

Przeprowadzenie takiego eksperymentu na pokładzie ISS to kamień milowy w branży. Systemy odporne na wiedzę zerową mogą być wykorzystywane do różnych celów, w tym do odpornego na zmowy zarządzania w DAO, prywatnych kart do głosowania i losowych sygnałów nawigacyjnych. 

Współzałożyciel Cryptosat, Yonatan Winetraub, dodaje:

"Cieszymy się, że możemy odblokować możliwość uruchamiania zaufanych konfiguracji dla schematów Zero-Knowledge w kosmosie. Możliwość przeprowadzenia zaufanej konfiguracji w całkowicie odizolowanym środowisku jest kluczem do tego, aby wydajne schematy SNARK były znacznie szerzej stosowane, bezpieczne i łatwiejsze do iteracji. Uczestnicząc Cryptosat w ceremonii, gwarantujemy, że przynajmniej jedna impreza jest nie z tego świata, dzięki czemu ceremonia będzie bezpieczniejsza.”

Ponadto udany eksperyment na pokładzie ISS toruje drogę rozwiązaniom satelitarnym oferującym szybszy zwrot w przypadku systemów odpornych na ZK podczas inicjowania projektów. 

Źródło: https://cryptodaily.co.uk/2023/01/dorahacks-and-cryptosat-complete-zk-proof-system-trial-in-space