🧵 @Agglayer v0.3 jest już dostępny.
Większość mostów wciąż opiera się na wibracjach „po prostu nam zaufaj”.
Ta wersja w końcu zmienia model:
"nie ufaj mostowi, weryfikuj stan."
Pozwól, że przeprowadzę cię przez to, co się zmieniło i dlaczego to ma znaczenie 👇
Agglayer v0.3 mainnet jest już aktywny.
Ta aktualizacja zabezpieczeń kładzie podwaliny pod dołączenie łańcuchów nie-CDK, zaczynając od Polygon PoS do końca Q3. Łańcuchy mogą udowodnić stan i połączyć się, bezpiecznie i bez przepisania architektury.
Następny przystanek: szybka interoperacyjność (transakcje międzyłańcuchowe poniżej 10 sekund)
Przed wersją v0.3, Agglayer koncentrował się głównie na weryfikacji wiadomości między łańcuchami — a nie na tym, co działo się w obrębie łańcuchów.
Powiedzmy, że Łańcuch A wysyła 100 USDC do Łańcucha B. Stary model tylko weryfikował, że "wiadomość o wysłaniu 100 USDC" została przekazana. Ale nie udowodnił:
- czy Łańcuch A rzeczywiście odjął 100 USDC z twojego portfela
- czy Łańcuch B poprawnie wyemitował tokeny
Musiałeś ufać sekwencerom lub logice mostu, że "zrobią to, co należy."
W wersji v0.3, Agglayer dodaje pełną weryfikację tych wewnętrznych kroków. Sprawdza:
- Czy przejście stanu na Łańcuchu A było ważne (np. saldo zostało odjęte)
- Czy zachowanie mostu i roszczenie na Łańcuchu B odpowiada temu, co faktycznie się wydarzyło
Koniec z ślepym zaufaniem. Teraz wszystko jest udowadnialne.
Agglayer v0.3 to duża aktualizacja pesymistycznego dowodu.
Główna idea? Łańcuchy teraz dołączają dowód, który pokazuje, że prawidłowo sfinalizowały swój własny blok — zgodnie z własnymi zasadami.
Pomyśl o tym jak o #2FA dla rozliczeń: jednym czynnikiem jest różnica stanu, a drugim dowód, że blok został uczciwie zbudowany.
Bezpieczeństwo Agglayer v0.3 zostało wzmocnione poprzez trzyetapowy proces:
1️⃣ Dowód przejścia stanu dowodzi własnego przejścia stanu (poprzez dowód zk lub ECDSA)
2️⃣ Dowód AggProver weryfikuje dowód przejścia stanu oraz ograniczenia mostu (tj. wyjścia, zmiany korzenia)
3️⃣ Na koniec, cały proces jest wykonywany ponownie. To sprawia, że cały system jest weryfikowalny i odporny na manipulacje — żadnych skrótów, żadnych założeń zaufania.
Każdy krok jest wykonywany w zkVM, gdzie używamy @SuccinctLabs SP1! To trzy dowody SP1 na każde zobowiązanie stanu łańcucha! Potrójne zaufanie!
Jest bez zaufania, modułowy i znacznie bardziej bezpieczny.
Wyjaśnijmy każdy poziom po kolei:
Krok 1 — Dowód przejścia stanu To tutaj każda sieć dowodzi, że jej wewnętrzne przejście stanu jest ważne.
Jeśli jesteś zk rollupem, generujesz pełny dowód ważności (np. Plonky2/3, STARK itp.).
Jeśli nie, możesz podpisać nowy korzeń stanu używając ECDSA.
Celem jest: udowodnić "Przetworzyłem te transakcje i uczciwie zaktualizowałem mój stan."
Wynik to dowód lokalnego stanu — nie mówi jeszcze nic o mostach, tylko o wewnętrznej poprawności.
5,31 tys.
29
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.