A16z Crypto aktualizuje Jolt zkVM, kwestionuje luźne użycie etykiety ‘ZK’

A16z Crypto, oddział web3 głównej firmy venture capital Andreessen Horowitz, zwrócił uwagę na potoczne użycie „ZK” w niektórych środowiskach deweloperskich w ostatnim poście na blogu dotyczącym swojego Jolt zkVM. 

„Większość zkVM nie jest faktycznie zero-knowledge — chyba że zostanie zastosowana kosztowna procedura ‘wrapowania’,” czytamy na blogu. „To wrapowanie zazwyczaj polega na rekurencyjnym udowadnianiu weryfikacji dowodu zkVM w ramach innego systemu dowodów, który

Autorzy zauważyli również, że często „zk” stało się skrótem oznaczającym „właściwość zwięzłości,” czyli dowody, które są „krótkie i szybkie do weryfikacji,” zamiast prawdziwej prywatności zero-knowledge. 

„Wraz ze wzrostem nacisku społeczności na prywatność — wymagającą prawdziwego zero-knowledge, dotyczącego prywatności wrażliwych danych podmiotu udowadniającego — to nadużycie terminologii staje się prawdziwym problemem,” dodał a16z. 

Czym są dowody ZK?

Dowody ZK to technika kryptograficzna, która pozwala jednej stronie (udowadniającemu) przekonać drugą stronę (weryfikatora), że dane twierdzenie jest prawdziwe, bez ujawniania jakichkolwiek informacji poza samym faktem prawdziwości twierdzenia.

Pierwotnie opracowane w środowisku akademickim, pierwsze komercyjne zastosowanie dowodów ZK na dużą skalę miało miejsce w branży kryptowalut, szczególnie wraz z uruchomieniem Zcash, który wdrożył typ zwięzłego dowodu zwany zk-SNARKs, by zapewnić prywatność onchain, chroniąc dane transakcji.  

Jednak kryptografia zero-knowledge została od tego czasu zastosowana w kilku nowych przypadkach użycia blockchain, szczególnie jako rozwiązanie skalujące dla blockchainów Ethereum Layer 2 i innych zk-Rollups. 

Sama prywatność ponownie stała się ważnym zagadnieniem wśród deweloperów i inwestorów krypto, którzy argumentują, że transparentna natura większości blockchainów dziś ograniczy adopcję, zwłaszcza wśród instytucji.

CEO Digital Currency Group Barry Silbert, na przykład, niedawno powiedział, że spodziewa się znacznych przepływów finansowych do sieci zapewniających prywatność. 

Rozwiązanie Jolt

Ze swojej strony, otwartoźródłowy Jolt zkVM od a16z wypuścił znaczącą nową aktualizację, aby natywnie wspierać dowody zero-knowledge we wtorek.

Tak zwane Zero-Knowledge Virtual Machines są wykorzystywane do uruchamiania programów i generowania dowodu, że jakaś funkcja kodu została wykonana bez ujawniania jej wejść.

Podobnie jak aplikacje wymienione na blogu, Jolt początkowo korzystał z dowodów ZK dla zwięzłości zamiast pełnej prywatności, problem ten deweloperzy rozwiązali, korzystając ze schematu folding, który „sięga lat 90.”

W szczególności Jolt użył schematu NovaBlindFold do tworzenia utajnionych dowodów, aby zapobiec wyciekowi informacji, „czyniąc go odpowiednim dla zastosowań związanych z prywatnością.”

„Efektem netto jest dowód ZK, który jest tylko około 3 KB większy niż oryginalny nie-ZK dowód Jolt,” wskazuje blog.