#Weryfikowalne obliczenia - Wywiad z CEO RiscZero w podcaście Szybki rozwój AI zwiększa wydajność, ale także obniża koszty fałszerstw/oszustw. Więcej RWA na łańcuchu, ale czy aktywa na łańcuchu są weryfikowane i audytowane programowo? Jeśli nie ma gwarancji weryfikacji, te aktywa RWA są narażone na duże ryzyko. Pamiętam, że w latach 23-24 pojawiła się fala audytów zk aktywów CEX, ale w przyszłości, gdy więcej RWA trafi na łańcuch, potrzebna będzie większa weryfikacja aktywów i audyty śledzące. W przyszłości weryfikowalność internetu i przejrzystość programowa staną się kluczowymi cechami. Potencjał połączenia blockchain z AI/RWA jest ogromny, a weryfikowalne obliczenia są jednym z kluczowych elementów tej infrastruktury. W weryfikowalnych obliczeniach projekty zk @RiscZero i @boundless_xyz realizują weryfikowalne obliczenia za pomocą RISC-V i ZK VM. Od 2003 roku śledzę rozwój RiscZero od zkvm do konkretnego zk L1. Poniżej dzielę się wcześniejszym wywiadem z ich założycielem @zeroknowledgefm, aby lepiej zrozumieć wybory technologiczne, wizje biznesowe i inne aspekty tego zespołu i projektu. Ten wywiad został przeprowadzony przed publikacją @boundless_xyz, ale wcześniejsze rozmowy już ujawniały plany dotyczące L1. Czy masz dobrą słuchowość w języku angielskim? Posłuchaj oryginału: Podsumowanie wywiadu: Kluczowa technologia Risc0 ZK VM i RISC-V: Risc0 zbudowało ZK VM, które uruchamia kod RISC-V, wspierając programy skompilowane w C, C++, Rust i innych językach, podobnie jak wirtualny mikrokontroler, z właściwościami zerowej wiedzy (ukrywającymi dane wejściowe i program). Wybór RISC-V: ze względu na otwarty kod źródłowy, brak ograniczeń własności intelektualnej, prostotę i efektywność, a także wsparcie dla testów zgodności i formalnych modeli, jest odpowiedni do realizacji w obwodach ZK. Prywatność i skalowalność: wspiera dowody zerowej wiedzy dla wykonania programów i samego programu, początkowo koncentrując się na skalowalności, aby wspierać złożone ekosystemy aplikacji, prywatność (np. ZK tożsamość) jako kierunek na przyszłość. Pamięć i nieokreśloność: pamięć reprezentowana jest jako liczby 32-bitowe, a początkowy stan kodowany jest przez strukturę Merkle; wspiera nieokreślone żądania danych, gość (ZK VM) żąda danych od hosta i weryfikuje, zachowując prywatność. Realizacja technologii i przyspieszenie zastosowań STARKs: Użycie dowodów STARKs do powtarzalnych struktur (np. kroki czasowe procesora), odpowiednie dla modelu wykonania czasowego VM. Wsparcie rekurencyjne: w trakcie rozwoju, wspiera uruchamianie weryfikatora Rust w ZK VM, weryfikując dowody, realizując dowody inkrementalne (np. od bloku genesis do bloku N+1). Przyspieszenie sprzętowe: obecnie osiąga 30 000 cykli/sek na M1 Pro, przyspieszenie GPU (Metal/CUDA) przewiduje 1 000 000 cykli/sek, GPU 3090 około 10 000 000 cykli/sek. Wspiera obwody przyspieszające, takie jak SHA-256, a w przyszłości planuje dodać przyspieszacze dla pól skończonych i dużych liczb całkowitych. Paralelizacja: proces dowodzenia może być równoległy, odpowiedni do przyspieszenia GPU, zmniejszając opóźnienia, wspierając obliczenia na dużą skalę (np. uruchamianie kompilatora). Wizja i zastosowania Cloud 2.0: Celem jest zbudowanie zdecentralizowanej chmury publicznej, wspierającej DeFi, gry, NFT oraz złożone aplikacje (np. bazy danych SQL, media społecznościowe), osiągając „koszty transakcji tak niskie, że nie wymagają pomiaru”. L1 blockchain: Rozwój L1, wykorzystujący ZK do optymalizacji mechanizmu konsensusu („dowód transakcji”), wykorzystując ilość obliczeń, a nie liczbę transakcji do określenia najdłuższego łańcucha, wspierając dziesiątki miliardów transakcji na sekundę. Przykłady zastosowań: w tym bezpieczeństwo łańcucha dostaw (dowód, że binaria pochodzą z audytowanego kodu źródłowego), śledzenie aktywów fizycznych itp. Ekosystem i przyszłe połączenia ekosystemów: Planowane jest zintegrowanie z innymi blockchainami (takimi jak Ethereum) przez mosty lub weryfikatory, wspierając weryfikację dowodów Risc0 na Ethereum lub uruchamianie EVM. Mapa drogowa: obecna wersja jest otwartoźródłowa, następna wersja (z rekurencją i przyspieszeniem GPU) wkrótce będzie otwartoźródłowa. Planowane jest uruchomienie DevNet pod koniec 2022 lub na początku 2023 roku, z ogłoszeniem rejestracji testów przez Twitter itp. Czy Risc0 jako L1 będzie łączyć się z innymi sieciami lub klastrami sieci? Takimi jak @VitalikButerin eth, @gavinwood @Polkadot, Cosmos itp.? Brian stwierdził, że prawie na pewno będzie się łączyć. Postrzega technologię Risc0 jako narzędzie o szerokim zastosowaniu. Chociaż ma własną wizję L1, ma nadzieję, że ta technologia będzie służyć innym ekosystemom. Wyzwania i przemyślenia dotyczące łatwości programowania: Obniżenie progu wejścia dla programistów poprzez istniejące języki i narzędzia, bez potrzeby uczenia się nowego języka lub obwodów arytmetycznych. Perspektywy przyspieszenia sprzętowego: W krótkim okresie dominują GPU, z powodu niedojrzałości matematycznej i długiego cyklu rozwoju ASIC; FPGA i ASIC mogą być stosowane w określonych obwodach SNARK. Konkurencja i pozycjonowanie: W przeciwieństwie do innych projektów ZK VM/EVM, Risc0 podkreśla uniwersalność i skalowalność na poziomie chmury, uwzględniając ekosystem Ethereum i inne sieci. Risc0 wykorzystuje RISC-V i STARKs do budowy ZK VM, rozwiązując problem skalowalności systemów rozproszonych, celem jest zdecentralizowana chmura publiczna, wspierająca obliczenia na dużą skalę i z ochroną prywatności. Obecna wersja otwartoźródłowa jest już dostępna, a wsparcie dla przyspieszenia GPU i rekurencji wkrótce zostanie wprowadzone, planując budowę L1 i integrację z innymi ekosystemami, odpowiednią dla DeFi, bezpieczeństwa łańcucha dostaw i innych scenariuszy. Pełna treść wywiadu: długi tekst z obrazkami.