BOB ogłosił, że będzie pierwszym projektem rollupowym, który wykorzysta dowody ZK jako dowody oszustwa poprzez integrację architektury Kailua RISC Zero

25 lipca BOB (Build on Bitcoin) ogłosił współpracę z infrastrukturą dowodu wiedzy zerowej RISCZero, która stanie się pierwszym projektem rollupowym w branży, który wykorzystuje dowody wiedzy zerowej jako dowody oszustwa poprzez integrację Kailua, hybrydowej architektury platformy uruchomionej przez RISC Zero. Pozwoli to znacznie zaoszczędzić czas i koszty na istniejących konfiguracjach i może skrócić czas wypłaty ze zwykłych 7 dni do 1 godziny. Jest to kluczowy krok dla BOB w celu wdrożenia faz zbiorczych 1 i 2 w L2beat.

Poinformowano, że Kailua jest rozszerzeniem stosu OP zbudowanym przez RISC Zero przy użyciu weryfikowalnej warstwy obliczeniowej sieci Boundless, która jest architekturą hybrydową (tj. Hybrid Rollup), która może uaktualnić Optimistic Rollups do Hybrid ZK Rollups, która łączy zalety Optimistic Rollups i ZK Rollups w celu osiągnięcia skutecznego rozstrzygania blockchain i rozwiązywania sporów. Próbuje zrównoważyć wysokie połykanie liści, niski koszt i wysokie bezpieczeństwo, wykorzystując Optimistic Rollups do domyślnego szybkiego przetwarzania transakcji i umożliwiając dowody ZK w przypadku sporów lub konieczności szybkiego rozstrzygnięcia. Mówiąc prościej, ma możliwość zintegrowania korzyści z agregacji ZK z istniejącymi Optimistic Rollups.

Jedną z najważniejszych cech jest to, że może skrócić cykl rozliczeniowy z pierwotnego 7-dniowego okresu wyzwania do minimum 1 godziny, a w przypadku sieci Optimistic Rollup, która integruje Kailua, nie ma potrzeby martwić się o ciągły koszt generowania dowodów ZK, ponieważ jest ona wdrażana na żądanie.

BOB jest pierwszym łańcuchem, który wykorzystuje dowody z wiedzą zerową (ZK). To nowe podejście oferuje to, co najlepsze z obu światów, w porównaniu z optymistycznymi pakietami zbiorczymi, które są powolne w wycofywaniu i kosztowne w zwalczaniu oszustw, oraz pakietami zbiorczymi ZK, które są drogie w uruchomieniu.

BOB doskonale łączy w sobie efektywność (tańsze składanie propozycji w porównaniu do rollupów ważności) i bezpieczeństwo (udowadnianie poprawności bloków w przypadku oszustwa). Dodatkowo, dowody ZK kosztują znacznie mniej niż gry binarne on-chain na platformach Optimism lub Ink (mniej niż 100 USD, w porównaniu do około 1 miliona USD w przypadku tych ostatnich).

Trzy zalety:

• Każdy może zakwestionować propozycję sekwencera BOB z marginesem tak niskim, jak 0,5 ETH, bez konieczności posiadania setek ETH, takich jak dowody na oszustwa z niezerową wiedzą.

• W przypadku wyzwania, rozliczenie dowodów oszustwa może zostać zakończone w tylko jednej transakcji na Ethereum, dzięki czemu można je sfinalizować w ciągu kilku minut, w porównaniu do godzin lub dni i wielu transakcji w przypadku wersji z niezerową wiedzą.

• Na dłuższą metę czas wypłaty BOB może zostać znacznie skrócony, ponieważ rozwiązania w zakresie oszustw on-chain są szybkie i niedrogie. Początkowy szacowany czas wypłaty wynosi 4 dni, ale po ustabilizowaniu się systemu może zostać skrócony do kilku godzin.

Zasada działania:

• Kailua wprowadza nowy, samodzielnie opracowany, odporny na błędy projekt gry, aby zapewnić najwyższej klasy bezpieczeństwo zamawiania transakcji agregacji.

• BOB użyje dowodów zerowej wiedzy (ZK), dowodów odpornych na oszustwa zamiast wielu transakcji w grze binarnej Optimism.

• Dowody z wiedzą zerową pozwalają BOB usprawnić mechanizm zapobiegania błędom do pojedynczej transakcji na Ethereum, a nie wielu transakcji w grze binarnej.

• Specyficzny proces:

1. Dla każdego punktu kontrolnego sekwencer BOB (prowadzony przez Conduit) zaproponuje nowy łańcuch kanoniczny dla określonej wysokości.

2. Każdy może użyć pliku binarnego Kailua, aby złożyć kolejną propozycję zakwestionowania łańcucha kanonicznego. Złożenie propozycji wymaga wpłaty depozytu w ETH na Layer1. Początkowa konfiguracja to 0,5 ETH, co ułatwia każdemu zakwestionowanie i znacznie obniża barierę wejścia w celu weryfikacji bez zezwolenia.

3. Gdy na tej samej wysokości znajdują się sprzeczne propozycje, pretendent lub walidator (prowadzony przez Conduit) wygeneruje dowód wiedzy zerowej (przy użyciu algorytmu Boundless), aby rozwiązać problem łańcucha kanonicznego. Ponieważ struktura BOB zależy od kolejności, w jakiej transakcje są kodowane w warstwie 1, może istnieć tylko jeden prawidłowy łańcuch. Depozyt gwarancyjny niewłaściwego proponenta lub pretendenta przepada.

Alexei Zamyatin, współzałożyciel BOB i członek-założyciel BitVM Alliance, powiedział: "Wraz z uruchomieniem w pełni funkcjonalnego systemu dowodowego, BOB L2 będzie miał pełne bezpieczeństwo Ethereum. Oznacza to, że BOB nadal będzie znajdować się w warstwie L2 fazy 0, podczas gdy większość innych warstw L2 zostanie przeniesiona do innych kategorii w L2Beat. Pakiety zbiorcze fazy 1 są uzależnione wyłącznie od uruchomienia Komitetu ds. Bezpieczeństwa, który zostanie ogłoszony w najbliższej przyszłości. Pakiety zbiorcze w fazie 2 po prostu otwierają proces składania ofert dla każdego. ”

Zespół RISC Zero uważa, że Kailua zaktualizowała Optimistic Rollup, aby używał dowodów z wiedzą zerową (ZK Fault Proofs) zasilanych przez zkVM RISC Zero. Obecnie na rynku wybierany jest Optimistic Rollup lub ZK Rollup. Optimistic Rollup dominuje na obecnym rynku ze względu na niski koszt i wysoką przepustowość, ale wymaga 7-dniowego okna wyzwań, co opóźnia ostateczność i ogranicza interoperacyjność. Rollupy ZK mogą zapewnić szybką finalizację, ale generowanie prób ZK dla każdego bloku wiąże się ze znacznymi dodatkowymi kosztami, a agregacje o wysokiej przepustowości mogą kosztować miliony dolarów lub więcej.

Teraz, gdy trzecia metoda jest już dostępna w BOB, jest to rozwiązanie oparte na architekturze Kailua RISC Zero, które łączy zalety obu podejść: Optimistic ZK Rollups mają zarówno niskie koszty operacyjne systemu Optimistic Rollup, jak i szybką finalizację ZK Rollups.