Demokratyzacja przetwarzania opartego na wiedzy zerowej: moc sieci Bonsai firmy RISC Zero - Kapitał Blockchain

Opublikowane ponownie przez Plato

Obserwuje: 0

By Barta Stephensa, Ryana Sproule'a, Yuan Han Li

Wyobraź sobie świat, w którym prywatność danych, bezpieczeństwo i zaufanie nie stanowią już problemu, w którym łańcuchy dostaw oprogramowania są przejrzyste i weryfikowalne, a nowa generacja aplikacji może wykorzystać moc przetwarzania bez wiedzy, aby rozwiązać niektóre z najpilniejszych wyzwań ery cyfrowej. To jest obietnica przetwarzania bez wiedzy (ZK) i powód, dla którego inwestujemy RYZYKO Zero, przełomowa firma, której celem jest demokratyzacja dostępu do ZK poprzez swoją sieć Bonsai.

Obliczenia o zerowej wiedzy (ZK) to rewolucyjny prymityw, który umożliwia aplikacjom i protokołom wykorzystanie trzech kluczowych właściwości: zwięzłości, poprawności i zerowej wiedzy. Oznacza to, że weryfikując dowód ZK (poprawność), weryfikator wie – z niemal matematyczną gwarancją – że obliczenia zostały wykonane poprawnie.

Co więcej, zweryfikowany dowód będzie znacznie mniejszy (zwięzłość) niż pierwotne obliczenia, a właściwość zerowej wiedzy dowodu może być również wykorzystana, aby upewnić się, że weryfikator nie dowie się niczego o samych obliczeniach. Ta unikalna mieszanka właściwości ma dalekosiężne implikacje i zapewnia nowy sposób weryfikacji informacji. Razem właściwości równoważą potrzeby prywatności, bezpieczeństwa i zaufania, oferując potencjał bezpieczniejszego i bardziej prywatnego cyfrowego świata. Jednak zanim ZK może osiągnąć swój pełny potencjał, pozostaje kilka przeszkód.

Po pierwsze, wykonywanie obliczeń w ZK trwa zbyt długo i jest zbyt drogie. Czasy i koszty sprawdzania muszą drastycznie spaść, zanim złożone obliczenia w ZK staną się praktyczne. Dobrą wiadomością jest to, że drastycznie spadają: trajektoria czasów i kosztów potwierdzania ZK podążała za znanym trendem w historii technologii - czy to było prawo Moore'a, gdzie koszt obliczeń zmniejszał się o połowę co dwa lata, prawo Flatleya, gdzie koszt sekwencjonowania ludzkiego genomu spadał w jeszcze bardziej znaczącym tempie, czy prawo Krydera, gdzie gęstość dysków magnetycznych podwaja się mniej więcej co 13 miesięcy. Niedawne postępy w architekturze systemów sprawdzających (Plonky2, Hyperplonk, STARKs) wraz z postępami w podstawowej kryptografii (Poseidon) obniżyły koszty ogólne związane z tworzeniem dowodu ZK dla dowolnych obliczeń. Podczas gdy postępy w tych obszarach będą nadal następować w podobnym tempie (zwłaszcza w związku z niedawnym napływem talentów do ZK), koszty ogólne udowodnienia będą również korzystać z postępów w akceleracji sprzętowej (MSM, NTT), czegoś, co do tej pory było niedostatecznie zbadane.

Inną dużą przeszkodą w masowej adopcji ZK jest wysoce skomplikowana matematyka i kryptografia nieodłącznie związana z systemami ZK. Poziom dogłębności i wiedzy potrzebnej do napędzania innowacji ZK został ściśle ograniczony do niewielkiej grupy wysoko wykwalifikowanych programistów technicznych.

Idealnie byłoby, gdyby programiści mieli swobodę pisania programów w preferowanym języku, a jednocześnie mieli możliwość udowadniania obliczeń w wiedzy zerowej, bez konieczności ręcznego pisania i projektowania obwodów w niskopoziomowych językach programowania specyficznych dla ZK. Właśnie w tym miejscu platforma Bonsai RISC Zero zmienia zasady gry dla programistów na całym świecie i jest powodem, dla którego inwestujemy w RISC Zero.

Tworząc maszynę wirtualną o zerowej wiedzy (zkVM), która emuluje architekturę zestawu instrukcji RISC-V (ISA), firma RISC Zero zbudowała system zdolny do udowodnienia wykonania kodu niskiego poziomu. Ponieważ ISA jest pomostem między kodem czytelnym dla człowieka a instrukcjami interpretowalnymi maszynowo, osiągnięcie to sugeruje, że sieć Bonsai może udowodnić każdy program wysokiego poziomu, który można skompilować do tej architektury. Ponieważ większość współczesnych języków programowania jest kompatybilna z RISC-V, Bonsai RISC Zero umożliwia wykonanie praktycznie dowolnego programu komputerowego przy zerowej wiedzy.

W przyszłości, w której obliczenia z wiedzą zerową (ZK) staną się powszechne, wiele aplikacji, które wcześniej były niemożliwe, zostanie włączonych. Obejmują one nie tylko aplikacje oparte na Ethereum, wykorzystujące sieć Bonsai RISC Zero jako koprocesor – wykonujące prace wymagające dużej ilości zasobów poza łańcuchem przed weryfikacją wyników w łańcuchu – ale także obejmują aplikacje poza kryptografią. Na przykład Bonsai może umożliwić hakerom białych kapeluszy udowodnienie istnienia luk w zabezpieczeniach i błędów bez bezpośredniego ujawniania exploita. Może również zapobiegać atakom na oprogramowanie w łańcuchu dostaw w przyszłości, umożliwiając użytkownikom pobieranie i weryfikowanie dowodów ZK, aby upewnić się, że uruchamiają kod, który został poddany wstępnej kontroli w Bonsai. Najbardziej ekscytujące jest to, że powszechne przyjęcie Bonsai może doprowadzić do zupełnie nowych przypadków użycia, których jeszcze sobie nie wyobrażano.

Do imponujących przełomów technologicznych RISC Zero dodaje się niesamowicie silny i wyjątkowy zespół, który za nim stoi. Trzech współzałożycieli —Briana Retforda, Jeremy'ego Bruestla, Franka Lauba—znają się od ponad 20 lat. Ich wspólna historia obejmuje wspólne budowanie wielu firm, z których najnowsza dotyczyła optymalizacji i kompilacji sztucznej inteligencji i została ostatecznie przejęta przez firmę Intel.

Każdy członek tego trio wnosi do RISC Zero bogate doświadczenie — Brian doskonalił swoje umiejętności w Google Cloud Platform, gdzie pracował nad systemami cenowymi i pomiarowymi; Jeremy, wieloletni entuzjasta matematyki, pracował nad akceleracją GPU do sekwencjonowania genów i ma doświadczenie w kryptografii, HPC i bezpieczeństwie; oraz Frank, który ma duże doświadczenie w kompilatorach i zaprojektował wiele baz kodu. Dzięki wspólnej historii i zróżnicowanemu zestawowi umiejętności, The RYZYKO Zero zespół jest wyjątkowo przygotowany do dostarczania masom komputerów o zerowej wiedzy i potencjalnie do zmiany cyfrowego krajobrazu w tym procesie.

Kiedy patrzymy w przyszłość, w której obliczenia z wiedzą zerową są powszechne, możliwości innowacji są nieograniczone. Sieć Bonsai RISC Zero, z możliwością obsługi szerokiej gamy języków programowania, zdemokratyzuje obliczenia ZK i umożliwi programistom tworzenie bezpiecznych, prywatnych i pozbawionych zaufania aplikacji w różnych domenach. Od wzmocnienia środków bezpieczeństwa cybernetycznego po zwiększenie zaufania do łańcuchów dostaw oprogramowania i drastyczne zwiększenie mocy obliczeniowej dostępnej dla aplikacji w łańcuchu, potencjalny wpływ przetwarzania bez wiedzy jest ogromny. Połączenie szybko malejących czasów i kosztów sprawdzania ZK, zaangażowanego zespołu RISC Zero oraz pojawienia się Bonsai jako wszechstronnej platformy komputerowej zwiastuje nową erę w informatyce — taką, w której prywatność, bezpieczeństwo i zaufanie są wbudowane w samą strukturę naszego cyfrowego świata.

Ujawnienia: Blockchain Capital jest inwestorem w kilka z wyżej wymienionych protokołów.

Poglądy wyrażone w każdym poście na blogu mogą być osobistymi poglądami każdego autora i niekoniecznie odzwierciedlają poglądy Blockchain Capital i jej podmiotów stowarzyszonych. Ani Blockchain Capital, ani autor nie gwarantują dokładności, adekwatności ani kompletności informacji zawartych w każdym poście na blogu. Żadne oświadczenie ani gwarancja, wyraźna lub dorozumiana, nie jest składana ani udzielana w imieniu Blockchain Capital, autora lub jakiejkolwiek innej osoby co do dokładności, kompletności lub rzetelności informacji zawartych w jakimkolwiek poście na blogu i nie przyjmuje się żadnej odpowiedzialności ani odpowiedzialności za wszelkie tego typu informacje. Żadne informacje zawarte w każdym poście na blogu nie stanowią porady inwestycyjnej, regulacyjnej, prawnej, zgodności, podatkowej ani innej ani nie należy na nich polegać przy podejmowaniu decyzji inwestycyjnych. Wpisów na blogu nie należy postrzegać jako obecnych lub przeszłych rekomendacji lub propozycji kupna lub sprzedaży jakichkolwiek papierów wartościowych lub przyjęcia jakiejkolwiek strategii inwestycyjnej. Posty na blogu mogą zawierać prognozy lub inne stwierdzenia dotyczące przyszłości, które są oparte na przekonaniach, założeniach i oczekiwaniach, które mogą ulec zmianie w wyniku wielu możliwych zdarzeń lub czynników. Jeśli nastąpi zmiana, rzeczywiste wyniki mogą znacznie różnić się od tych przedstawionych w stwierdzeniach dotyczących przyszłości. Wszystkie stwierdzenia dotyczące przyszłości są aktualne wyłącznie w dniu ich złożenia i ani Blockchain Capital, ani żaden z autorów nie przyjmuje na siebie żadnego obowiązku aktualizowania takich oświadczeń, z wyjątkiem przypadków wymaganych przez prawo. W zakresie, w jakim jakiekolwiek dokumenty, prezentacje lub inne materiały wyprodukowane, opublikowane lub w inny sposób dystrybuowane przez Blockchain Capital są przywoływane w jakimkolwiek poście na blogu, takie materiały należy czytać ze szczególną uwagą na wszelkie zawarte w nich zastrzeżenia.