#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ść programów staną się kluczowymi cechami. Połączenie blockchaina z AI ma ogromny potencjał, a weryfikowalne obliczenia są kluczową infrastrukturą. 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śniejszy wywiad już ujawnił 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ł ZK VM, który uruchamia kod RISC-V, wspierający programy skompilowane w językach C, C++, Rust itp., podobny do wirtualnego mikrokontrolera, z właściwościami zerowej wiedzy (ukrywa dane wejściowe i program). Wybór RISC-V: ze względu na otwartość, 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ść) jest kierunkiem 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 fazie rozwoju, wspiera uruchamianie weryfikatora Rust w ZK VM, weryfikację dowodów, realizację dowodów inkrementacyjnych (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, w przyszłości planuje dodać przyspieszacze dla ograniczonych pól i dużych liczb całkowitych. Paralelizacja: proces dowodzenia może być równoległy, odpowiedni do przyspieszenia GPU, zmniejsza opóźnienia, wspiera obliczenia na dużą skalę (np. uruchamianie kompilatora). Wizja i zastosowanie 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 ekosystemu: Planowane jest zintegrowanie z innymi blockchainami (np. 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. Risc0 jako L1, czy połączy się z innymi sieciami lub klastrami sieci? Takimi jak @VitalikButerin eth, @gavinwood @Polkadot, Cosmos itp.? Brian stwierdził, że prawie na pewno się połą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 nauki nowego języka lub obwodów arytmetycznych. Perspektywy przyspieszenia sprzętowego: W krótkim okresie dominują GPU, z powodu niedojrzałości matematyki 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 chmurowym, 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ę 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, planowane jest zbudowanie L1 i integracja z innymi ekosystemami, odpowiednie dla DeFi, bezpieczeństwa łańcucha dostaw i innych scenariuszy. Pełna treść wywiadu: długi tekst z obrazkami.