Zobacz, że sieć GOAT uruchomiła swoją testową sieć opartą na technologii BitVM2, w której znajduje się jeden z interesujących realizacji: ZK Rollup dla Bitcoina w czasie rzeczywistym. Realizacja szybkiego dowodu ZK Rollup jest ważnym krokiem w rozwoju infrastruktury BTC L2. Z perspektywy doświadczeń użytkowników, czas wypłaty będzie znacznie bardziej efektywny niż wcześniej, co przyciągnie więcej deweloperów i użytkowników. Jak można to prosto zrozumieć technicznie? Najpierw przyjrzyjmy się procesowi realizacji L2 Bitcoina w sieci GOAT. Sieć GOAT jest rozwiązaniem opartym na L2 Bitcoina, które wykorzystuje technologie BitVM2 i zkMIPS, wspierając realizację natywnych zysków BTC (co oznacza, że uczestnicy mają szansę na zarobienie większej ilości BTC). Proces ten obejmuje głównie mostowanie (Bridge in), wyjście z mostu (Bridge out), zobowiązanie sekwencera (Sequencer Set Commitment) oraz przetwarzanie zwrotów (Reimbursement). Mostowanie polega głównie na stakowaniu BTC w skrypcie taproot (bez kontrolowanego klucza prywatnego), a pośrednik przesyła je do kontraktu Goat. Komitet buduje przepływ transakcji BitVM2, operator wstępnie podpisuje i przechowuje w IPFS, po weryfikacji przez użytkownika, pośrednik wydaje PegBTC na L2; wyjście z mostu to wypłata, użytkownik przeprowadza transakcję atomową z operatorem (użytkownik może być również operatorem, jeśli nie chce, może zrealizować wypłatę przez operatora), niszczy PegBTC na L2, operator uruchamia przetwarzanie zwrotów, nie ma potrzeby przeprowadzania transakcji Peg-OUT na głównym łańcuchu BTC. Zobowiązanie sekwencera odnosi się głównie do tego, że komitet regularnie używa drzewa Merkle do zobowiązania przyszłego zestawu sekwencerów, wspierając weryfikację mechanizmu lekkiego klienta Bitcoina. Weryfikacja za pomocą mechanizmu lekkiego klienta wykorzystuje zobowiązany zestaw weryfikatorów na BTC jako publiczny input do późniejszej weryfikacji dowodu zerowej wiedzy, aby osiągnąć weryfikację konsensusu bloków L2. Przetwarzanie zwrotów polega na tym, że operator stakuje BTC i przesyła ID transakcji wypłaty oraz najnowszy hash bloku. Wyzwania są weryfikowane offline i online, a jeśli nie ma wyzwań, operator odbiera fundusze. Wyzwania mogą również być zgłaszane, a po ich wystąpieniu losowo wybierani są weryfikatorzy, którzy mogą przeprowadzać interaktywną weryfikację za pomocą skryptów Bitcoina. Okres wyzwań skrócono do około 1 dnia (około 144 bloków btc), co skraca czas potrzebny na finalizację. Dodatkowo wykorzystuje zdecentralizowanego sekwencera, operator stakuje BTC, a model ekonomiczny generuje natywne zyski BTC z opłat gazowych L2. Teraz skupmy się na ZK Rollup w czasie rzeczywistym, najpierw omówmy technologię Rollup. Sieć GOAT pakuje wiele transakcji L2 w partie (Batch), wykonując je offline, aby wygenerować dowód ZK, który będzie weryfikowany przez główny łańcuch Bitcoina (weryfikacja etapu Assert/Disprove BitVM2 itp.). Korzyścią z dowodu ZK jest to, że nie trzeba przesyłać wszystkich szczegółów transakcji; ponadto, w przeciwieństwie do zksync lub Starknet na Ethereum, Goat używa natywnych mechanizmów skryptów Taproot Bitcoina do zakotwiczenia aktualizacji stanu, unikając polegania na zewnętrznych mostach lub mechanizmach multisig. Po prostym zrozumieniu technologii ZK Rollup, przyjrzyjmy się mechanizmowi dowodów w czasie rzeczywistym. Zgodnie z dokumentacją sieci GOAT, generowanie dowodów w czasie rzeczywistym wykorzystuje silnik zkMIPS, realizując szybkie generowanie dowodów dzięki architekturze równoległego dowodzenia w potoku + rozproszonemu sieci dowodzących GPU. Najpierw generowanie dowodu bloku, wykorzystując techniki fragmentacji ścieżki wykonania i równoległego dowodzenia, weryfikując, czy zmiana stanu Rollup jest poprawna; następnie agregacja dowodów, rekurencyjne kompresowanie wielu dowodów bloków; na koniec dowód SNARK (Groth16), kompresowany do małego, weryfikowalnego dowodu na BitVM2. Aby zrealizować dowody w czasie rzeczywistym, generowanie dowodów nie jest przetwarzane w sposób liniowy, lecz wykorzystuje mechanizm przetwarzania równoległego w potoku (Pipelined), głównie opierając się na technologii zkVM „Ziren” ZKM, a także przyspieszeniu GPU i rozproszonej sieci dowodzących. Zgodnie z danymi z oficjalnej strony testowej, średni czas generowania dowodu bloku wynosi około 2,6 sekundy, agregacji dowodu 2,7 sekundy, a dowodu SNARK około 10,38 sekundy. Użytkownicy mogą na bieżąco śledzić pełny proces generowania dowodu ZK dla każdej wypłaty na stronie frontowej. Jeśli dowód ZK można zakończyć w mniej niż 1 minutę, oznacza to, że prędkość wypłat użytkowników znacznie wzrośnie. Wcześniejsze wypłaty w niektórych sieciach L2 Bitcoina wymagały oczekiwania przez kilka godzin, a szybkie dowody umożliwiają użytkownikom inicjowanie wypłat zaraz po ich wygenerowaniu, co oznacza, że użytkownicy mogą rozpocząć wypłatę w mniej niż 1 minutę. Oczywiście czas ostatecznego zakupu zależy od sytuacji transakcji w głównym łańcuchu Bitcoina. Jednak w przypadku wypłat nie ma już potrzeby czekać, co oznacza, że doświadczenie wypłaty jest praktycznie zbliżone do czasu inicjowania transakcji na łańcuchu Bitcoina. Oprócz wypłat, dowody w czasie rzeczywistym będą również stymulować deweloperów do budowy aplikacji L2 o wysokiej częstotliwości, a także kompatybilność z EVM może przyciągnąć deweloperów z ekosystemu Ethereum; dla operatorów nie ma potrzeby czekania na masowe wydanie dowodów, co zwiększa efektywność kapitału. Technologia ZK jest stosunkowo skomplikowana, a długoterminowe bezpieczeństwo wymaga pewnego czasu na udowodnienie. Niemniej jednak, wdrożenie dowodów w czasie rzeczywistym jest ważnym postępem w infrastrukturze technologicznej dla L2 Bitcoina. Oczywiście, obecnie L2 Bitcoina ma jeszcze daleką drogę do przebycia, poza budową infrastruktury technologicznej, konieczne jest również większe wysiłki w odkrywaniu potrzeb użytkowników i stymulowaniu deweloperów do budowy aplikacji L2 Bitcoina, ponieważ ostatecznie, gdy ekosystem L2 Bitcoina się rozwinie, pojawią się wystarczające opłaty transakcyjne, aby zrealizować wzrost efektu kołowego. Jednym z wyraźnych potrzeb jest to, że wielu posiadaczy BTC również chce uzyskać zyski, co można zobaczyć po liczbie BTC na łańcuchu Ethereum (takich jak wbtc itp.), która obecnie przekracza 150 000 BTC, o wartości ponad 15 miliardów dolarów. Jeśli można osiągnąć bezpieczeństwo oparte na natywnej łańcuchu btc, to więcej posiadaczy BTC będzie skłonnych spróbować uzyskać zyski poprzez BTCFI.