Czym jest Zero Knowledge VM (zkVM)?

Zero Knowledge VM (zkVM) to maszyna wirtualna, która wykonuje kod i generuje dowód, że wykonanie było poprawne, nie ujawniając danych wejściowych. Można ją porównać do sędziego, który potwierdza wynik, zachowując tajny plan gry. Te same rezultaty, mniej ujawnionych szczegółów.

Mit

„Zero Knowledge VM (zkVM) sprawia, że wszystko staje się anonimowe.” Nie do końca. Udowadnia poprawność wykonania. To aplikacja decyduje, co pozostaje prywatne, nie maszyna.

Jak działa Zero Knowledge VM (zkVM)

Wyobraź sobie program, który działa poza łańcuchem, a potem wysyła na łańcuch mały matematyczny paragon, który mówi „zrobiono to poprawnie”. Krótkie wyjaśnienie poniżej.

Krok 1: Deweloper pisze lub kompiluje kod do uruchomienia wewnątrz Zero Knowledge VM (zkVM).
Krok 2: Program działa poza łańcuchem i tworzy dowód, na przykład udowadniając, że transakcja została poprawnie wyceniona bez ujawniania danych tradera.
Krok 3: Ten dowód wraz z minimalnymi danymi jest wysyłany do weryfikatora na łańcuchu.
Krok 4: Weryfikator sprawdza dowód szybko i zapisuje tak lub nie.
Krok 5: Inne kontrakty i użytkownicy ufają wynikowi bez powtarzania ciężkich obliczeń.

Pod spodem opiera się na dowodach zerowej wiedzy, które potwierdzają wykonanie. Tak, matematyka jako świadek.

Dlaczego Zero Knowledge VM (zkVM) ma znaczenie

Ma to znaczenie, bo zmienia model kosztów. Duże obliczenia poza łańcuchem, małe kontrole na łańcuchu.

Korzyść: Szybkość i opłaty ulegają poprawie, ponieważ weryfikacja jest tania, podczas gdy ciężka praca odbywa się gdzie indziej.
Perspektywa: Możesz ukryć wrażliwe dane, jednocześnie dając przejrzystość co do wyniku.
Zastosowanie: Spodziewaj się tego w DeFi, grach, tożsamości i innych obszarach, gdzie prywatność i weryfikowalna matematyka mają znaczenie.

Wskazówka

Porównując zkVM, najpierw zapytaj o dwie rzeczy: jakie języki są obsługiwane i jak szybko działa weryfikator na docelowym łańcuchu.

Kluczowe cechy Zero Knowledge VM (zkVM)

Oto cechy, które ludzie zwykle sprawdzają:

Ogólne: Uruchamia wiele rodzajów programów zamiast pojedynczego obwodu zaprojektowanego do jednej funkcji.
Przenośne: Dowody można weryfikować między łańcuchami za pomocą małego smart contract.
Selektywne: Pozwala aplikacjom wybrać, które dane wejściowe pozostaną ukryte, a które wyjścia będą publiczne.
Wydajne: Weryfikacja dowodu jest szybka nawet gdy oryginalne wykonanie było ciężkie.
Kompozycyjne: Dowody można zgrupować lub zagnieździć, dzięki czemu systemy skalują się przy mniejszym hałasie.

Warianty

Nie wszystkie Zero Knowledge VM (zkVM) wyglądają tak samo. Powszechne odmiany, które zobaczysz:

EVM: Ma na celu uruchamianie logiki w stylu Solidity i udowadnianie jej, dobre dla bezpośredniego ponownego użycia aplikacji.
LLVM: Kompiluje z języków ogólnych, takich jak Rust lub C, do formy możliwej do udowodnienia.
Rollup: Używany w rollupach ważności, gdzie dowody trafiają na łańcuch bazowy.
Sovereign: Weryfikuje na własnym łańcuchu, jednocześnie przesyłając dowody na zewnątrz.

Przypomnienie

Weryfikacja jest tania, ale generowanie dowodu może być ciężkie i czasochłonne. Ten kompromis jest sednem sprawy.

Przykład

Aplikacja pożyczkowa wycenia zabezpieczenie wewnątrz Zero Knowledge VM (zkVM), a następnie publikuje tylko dowód na łańcuchu, dzięki czemu likwidacje przebiegają uczciwie bez ujawniania danych pożyczkobiorcy.

Ciekawostka

Podstawowy pomysł sięga badań z lat 80., kiedy to kryptografowie pokazali, że można udowodnić, iż zna się sekret, nie ujawniając go. Crypto Twitter nadał temu styl.

Podsumowanie

Jednym zdaniem, Zero Knowledge VM (zkVM) to komputer udowadniający wykonanie, który pozwala łańcuchom szybko sprawdzać pracę, jednocześnie trzymając wrażliwe dane wejściowe poza zasięgiem wzroku.

Zero Knowledge VM (zkVM)