Brevis opublikował whitepaper ProverNet, szczegółowo opisując pierwszy zdecentralizowany rynek generowania dowodów zero-knowledge

Chainfeeds Wprowadzenie:

ProverNet zostanie oficjalnie uruchomiony wkrótce, a więcej szczegółów dotyczących wdrożenia oraz harmonogram zostaną ogłoszone osobno.

Źródło artykułu:

Autor artykułu:

Brevis

Poglądy:

Brevis: Architektura ProverNet traktuje różne typy dowodów jako różne towary na aukcji. Aplikacje określają wymagania dotyczące dowodu, w tym typ przetwarzania (wykonanie zkVM, dowód danych, agregacja rekurencyjna), termin, maksymalną opłatę oraz parametry jakości. Mechanizm TODA w każdej rundzie oblicza optymalny przydział, dopasowując heterogeniczne żądania do odpowiednich możliwości dowodowych. Mechanizm ten rozwiązuje unikalne wyzwania rynku generowania dowodów. Tradycyjne mechanizmy aukcyjne opierają się na założeniu jednorodności towarów, podczas gdy TODA potrafi jednocześnie obsługiwać wiele typów dowodów. Złożone zadania dowodowe są dzielone na podzadania, wykonywane we współpracy przez różnych dowodzących. Na przykład dowód zkVM może obejmować generowanie bloków na jednym dowodzącym, kompresję na innym, agregację na trzecim, a ostateczną weryfikację i opakowanie na czwartym, dedykowanym systemie. TODA zapewnia kilka właściwości ekonomicznych: prawdziwość (optymalną strategią jest uczciwe licytowanie); równowagę budżetową (pobrane opłaty przekraczają wypłacone wynagrodzenia); racjonalność indywidualną (żaden uczestnik nie przyjmuje nieopłacalnych zadań) oraz asymptotyczną optymalność (wraz ze wzrostem podaży dowodzących przydział zbliża się do maksymalnej efektywności). ProverNet opiera się na istniejącej infrastrukturze dowodowej Brevis, która obejmuje dwa uzupełniające się produkty, obsługujące różne potrzeby obliczeniowe. Pico zkVM stosuje architekturę „uniwersalnego rdzenia + wysokowydajnego koprocesora”, gdzie minimalistyczny, wydajny rdzeń jest połączony ze specjalistycznym akceleratorem kryptograficznym, co pozwala programom korzystać z ukierunkowanej optymalizacji sprzętowej przy jednoczesnym uruchamianiu stabilnej maszyny wirtualnej. Pico Prism niedawno osiągnął pokrycie dowodowe 99,6% bloków Ethereum z limitem gas 45 milionów, z czego 96,8% dowodów zostało wygenerowanych w ciągu 12 sekund, a średni czas dowodu wyniósł 6,9 sekundy. System ten wykorzystuje klaster 64×RTX 5090 GPU, osiągając dowodzenie w czasie rzeczywistym przy 50% niższych kosztach sprzętowych niż dotychczas najlepsze na rynku zkVM. Koprocesor danych ZK umożliwia smart kontraktom dostęp do historycznych danych blockchain oraz wykonywanie pozałańcuchowych obliczeń z możliwością kryptograficznej weryfikacji. System ten obsługuje takie aplikacje jak VIP fee rate PancakeSwap (sprawdzanie wolumenu transakcji z ostatnich 30 dni przed transakcją), bezpieczną dystrybucję nagród Euler (przetwarzanie sald ważonych czasem dla tysięcy adresów) oraz routing rebate Uniswap v4 (weryfikacja kwalifikacji do transakcji bez scentralizowanej księgi). Te integracje pokazują zapotrzebowanie na dowody intensywnie wykorzystujące dane, odróżniające się od ogólnej weryfikacji obliczeń. Systemy te wspólnie ustanawiają ekonomiczną wykonalność weryfikacji kryptograficznej w czasie rzeczywistym na poziomie warstwy bazowej, jednocześnie obsługując heterogeniczne typy obciążeń, które napędzają architekturę rynku ProverNet. ProverNet reprezentuje przejście od infrastruktury pojedynczego dostawcy dowodów do alokacji zasobów opartej na popycie rynkowym. Istniejące sieci dowodzących są zwykle zoptymalizowane pod wąskie przypadki użycia (np. dowody dla określonych Rollupów, określone maszyny wirtualne lub jednorodne typy zadań), co ogranicza ich zdolność do efektywnej obsługi zróżnicowanych potrzeb. Model aukcji rynkowej pozwala zespołom dowodzącym skupić się na określonych celach optymalizacyjnych (wsadowe przetwarzanie oparte na STARK, dowody SNARK o niskim opóźnieniu, określone operacje kryptograficzne) bez konieczności budowania uniwersalnej infrastruktury, podczas gdy aplikacje mogą uzyskać konkurencyjne ceny i gwarancję świadczenia usług, bez ryzyka uzależnienia od jednego dostawcy. Dla deweloperów eliminuje to dylemat wyboru między budową dedykowanej infrastruktury dowodowej (kosztownej i czasochłonnej) a poleganiem na scentralizowanych usługach (wprowadzających założenia zaufania), ponieważ kryptograficzna weryfikacja gwarantuje poprawność obliczeń, a konkurencja rynkowa zapewnia efektywność cenową i dostępność mocy obliczeniowej.