🧵 @Agglayer wersja 0.3 jest już dostępna. Większość mostów nadal opiera się na wibracjach "po prostu nam zaufaj". To wydanie w końcu odwraca model: "Nie ufaj mostowi, sprawdź stan". Pozwól, że przeprowadzę Cię przez to, co się zmieniło i dlaczego ma to znaczenie 👇

Przed wersją 0.3 Agglayer skupiał się głównie na weryfikacji wiadomości między łańcuchami, a nie na tym, co działo się w łańcuchach. Powiedzmy, że łańcuch A wysyła 100 USDC do łańcucha B. Stary model właśnie zweryfikował, że "wiadomość o wysłaniu 100 USDC" została przekazana. Ale to nie udowodniło: - czy Chain A faktycznie potrącił 100 USDC z Twojego portfela - lub czy Chain B prawidłowo wybił tokeny Ufałeś sekwencerom lub logice mostu, że "zrobią to, co trzeba". W wersji 0.3 Agglayer dodaje pełną weryfikację tych wewnętrznych kroków. Sprawdza on: - Czy zmiana stanu w łańcuchu A była prawidłowa (np. saldo zostało odliczone) - Zachowanie mostka i twierdzenie dotyczące łańcucha B zgadza się z tym, co faktycznie się wydarzyło Koniec ze ślepym zaufaniem. Teraz wszystko jest do udowodnienia.

Agglayer v0.3 to duże ulepszenie do pesymistycznego dowodu. Główna idea? Łańcuchy dołączają teraz dowód, który pokazuje, że prawidłowo sfinalizowały swój własny blok — w oparciu o własne zasady. Pomyśl o tym jak o #2FA dla osiedlenia: jednym czynnikiem jest różnica stanu, drugim jest dowód, że blok został uczciwie zbudowany.

Zabezpieczenia Agglayer v0.3 są wzmocnione za pomocą trzyetapowego przepływu: 1️⃣ Dowód przejścia stanu dowodzi własnego przejścia stanu (za pomocą dowodu zk lub ECDSA) 2️⃣ Dowód AggProver weryfikuje dowód przejścia stanu i ograniczenia mostu (tj. wyjścia, zmiany rootów) 3️⃣ Na koniec całość jest ponownie wykonywana. To sprawia, że cały system jest weryfikowalny i odporny na manipulacje — bez skrótów, bez założeń dotyczących zaufania. Każdy krok jest wykonywany w zkVM, gdzie używamy @SuccinctLabs SP1! To trzy dowody SP1 na zobowiązanie stanu łańcucha! Potrójne zaufanie! Jest niewymagający zaufania, modułowy i o wiele bezpieczniejszy. Wyjaśnijmy każdą warstwę po kolei:

Krok 1 - Dowód przejścia stanu Jest to miejsce, w którym każdy łańcuch udowadnia, że jego własne wewnętrzne przejście stanu jest prawidłowe. Jeśli jesteś agulaturą zk, generujesz pełny dowód ważności (np. Plonky2/3, STARK itp.). Jeśli tak nie jest, możesz podpisać nowy katalog główny stanu przy użyciu ECDSA. Cel tutaj: udowodnić, że "przetworzyłem te transakcje i uczciwie zaktualizowałem swój stan". Wynik jest dowodem lokalnego stanu – nie mówi jeszcze nic o mostach, tylko wewnętrzna poprawność.