Osiągnięcie natychmiastowej walidacji 27 ms dla Bitcoina zajmie 17 lat mocy obliczeniowej GPU

Deweloper Hazynca informuje, że samodzielny weryfikator o wielkości 1,7 MB sprawdził kryptograficzny dowód o wielkości 226 434 bajtów obejmujący pierwsze 1 789 bloków Bitcoina w 27 milisekund. Ujawnienie z 15 sierpnia ogranicza ten wynik do wczesnego okresu historii Bitcoina. Cała kampania dowodowa od początku do końca pozostaje niedokończona.

Hazync to prototyp badawczy, który wykorzystuje maszynę wirtualną zero-knowledge RISC Zero, znaną jako zkVM, aby uczynić walidację Bitcoina wielokrotnego użytku. zkVM wykonuje program walidacyjny, a wynikowy dowód daje innym użytkownikom kompaktowy plik do sprawdzenia. Projekt dewelopera koncentruje generację dowodów wśród dowodzących, pozostawiając weryfikację dowodów znacznie większej populacji.

Te dwa zadania mają radykalnie różne koszty. Deweloper szacuje, że historyczne uzupełnienie zajmie około 17 lat GPU, a następnie potrzebna będzie moc równoważna około sześciu GPU Nvidia L40S, aby nadążyć za nowymi blokami. Tanie kontrole dowodów pojawiają się po tym, jak dowodzący, audytorzy i operatorzy archiwów dostarczą kosztowną pracę w górę.

Weryfikacja jest tania; dowodzenie jest drogie

Konwencjonalny nowy węzeł Bitcoina niezależnie odtwarza łańcuch. Hazync uruchamia zasady Bitcoina wewnątrz zkVM, dowodzi, że te zasady zaakceptowały każdy objęty blok i rekurencyjnie składa dowody bloków w jeden dowód.

Publiczne repozytorium Hazynca opisuje program gościa zbudowany z istotnych części kodu konsensusu Bitcoin Core v28 oraz libsecp256k1, skompilowanego dla 32-bitowego RISC-V. Ponowne wykorzystanie kodu Core zmniejsza ilość zachowań konsensusu, które muszą być powtórzone w osobnym obwodzie.

Benchmark bloku 741 000 mierzy koszt generacji dowodów na podstawie danych z ostatnich bloków Bitcoina. Deweloper informuje, że blok zawierał 670 wejść i wymagał 394 liści UTXO. Dowodzenie go jako 16 kawałków na dwóch GPU L40S zajęło około 55 minut, w tym 27 minut na agregację.

To pomiar informuje o szacunku dewelopera wynoszącym około 17 lat GPU dla uzupełnienia od początku do końca. Dostępny materiał dostarcza reprezentatywnych benchmarków projektów zamiast audytowanego pomiaru w każdej erze historii Bitcoina. Dlatego pełna wydajność łańcucha Hazynca pozostaje szacunkowa, dopóki kampania nie zostanie zakończona.

Zmiany w oprogramowaniu mogą również zniweczyć wykonaną pracę. Każdy dowód Hazynca zobowiązuje się do METHOD_ID, odcisku palca skompilowanego programu gościa. Nowa wersja gościa otrzymuje nowy identyfikator, pozostawiając wcześniejsze dowody związane z poprzednią wersją.

Projekt wznowił swoją tablicę początkową 4 sierpnia po wewnętrznym audycie, który wymusił nową bazę. Późniejsza poprawka poprawności może wywołać ten sam reset po zgromadzeniu znacznie większej ilości czasu GPU. Budżet dowodowy obejmuje zatem stabilny kod, historyczne uzupełnienie oraz ciągłą moc dla końca.

Szybkość weryfikacji jest częścią widoczną dla końcowego użytkownika. Szacunek 17 lat GPU mierzy skoncentrowany wysiłek przemysłowy wymagany do uzyskania tego doświadczenia.

Czego dowód nie zastępuje

Dowód kompresuje sprawdzanie ważności. Operatorzy archiwów nadal dostarczają dostępność transakcji i zachowują historyczne bajty świadków i podpisów. Przyszłe rewizje gości potrzebują tych bajtów, aby ponownie udowodnić łańcuch, więc zwięzła weryfikacja zachowuje długoterminową rolę przechowywania dla infrastruktury archiwalnej.

Wybór najlepszego łańcucha pozostaje z zasadą największej pracy Bitcoina. Hazync umieszcza skumulowaną pracę w publicznym wyjściu dowodu, dając weryfikatorowi wartość potrzebną do porównania konkurencyjnych końców. Dowód ustala zgodność z zasadami dla swojego segmentu łańcucha; węzeł nadal wybiera, który ważny łańcuch śledzić.

Most archiwalny również zachowuje moc marnowania zasobów dowodzących. Zadeklarowane zasady kompozycji projektu łączą każdą granicę stanu z pinem początkowym, powodując, że sfałszowany stan nie udaje się, gdy dowód dołącza do kręgosłupa. Wrogie mosty mogą zamiast tego dostarczać nieużyteczne wejścia i konsumować czas GPU pracownika, przekształcając dostępność w ryzyko ekonomicznego ataku typu denial-of-service.

Deweloper opisuje dowód skomponowany od początku jako bezwarunkowy w ramach oprogramowania Hazynca i założeń kryptograficznych. Późniejszy punkt kontrolny wchodzi do systemu jako jawny wkład zaufania.

Sam gość zawiera ważną granicę przeglądu, ponieważ znaczny kod konsensusu Core działa wewnątrz niego, obok utrzymywanych przez projekt fragmentów harmonogramu subsydiów i wysokości aktywacji skryptów. Projekt twierdzi, że jego harmonogram flag skryptowych jest różnicowo testowany jako solidny nadzbiór zasad Core, co pozwala na dodatkowe odrzucenie w kierunku zamierzonym do zachowania poprawności.

Warstwa przenośności C++ dostosowuje Core do zkVM, a akumulator Utreexo, który nie jest częścią Core, zobowiązuje się do zmian w zestawie niewydanych transakcji Bitcoina. Ujawnione założenia obejmują również system dowodowy RISC Zero, SHA-256 i secp256k1. Hazync identyfikuje warstwy przenośności i akumulator jako swoje najwyższe priorytetowe cele przeglądu.

Repozytorium informuje o dwóch zewnętrznych przeglądach wspomaganych przez AI w sierpniu, które nie znalazły drogi dla gościa do zaakceptowania nieprawidłowego łańcucha. Zlecona profesjonalna audyt pozostaje w toku. Publiczny kod umożliwia zewnętrzną kontrolę, a zapewnienie produkcji nadal opiera się na wrogiej analizie dokładnego gościa i każdego komponentu wewnątrz jego granicy dowodowej.

Hazync dzieli bezpieczną synchronizację na kilka zadań z różnymi operatorami i budżetami. Weryfikacja dowodów może osiągnąć milisekundy dla udowodnionego zakresu. Generacja dowodów zużywa moc GPU, operatorzy archiwów zachowują podstawowe dane, węzły porównują końce, a audytorzy oceniają gościa.

Stabilna implementacja z wystarczającą mocą obliczeniową i zewnętrznym przeglądem mogłaby zmniejszyć powtarzalną walidację w nowych węzłach. Na obecnym etapie projektu, zgłoszona przez dewelopera kontrola 27 milisekund obejmuje ograniczony kręgosłup, podczas gdy szacunek 17 lat GPU opisuje niedokończoną drogę do końca Bitcoina.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.