Strukturalne połączenie środowiska równoległego wykonania opartego na języku Move i modelu bezpieczeństwa stakingu wielołańcuchowego @Aptos , @helios_layer1 , @alignedlayer Próby jednoczesnego zapewnienia wydajności przetwarzania i bezpieczeństwa w systemach blockchain trwają od dłuższego czasu, a ostatnio technologia równoległego wykonania i model bezpieczeństwa oparty na stakingu wielołańcuchowym przechodzą niezależne etapy rozwoju, stopniowo się łącząc. W tym nurcie język Move, silnik równoległego wykonania Block-STM oraz Aptos, Helios i Aligned Layer, odpowiedzialne za weryfikację stakingu i restakingu w środowisku wielołańcuchowym, dzielą się rolami na różnych poziomach, tworząc jedną spójną strukturę. Równoległe wykonanie to technologia mająca na celu przetwarzanie większej liczby transakcji w tym samym czasie, co z punktu widzenia bezpieczeństwa sprawia, że w tym samym czasie mogą wystąpić różne zmiany stanu, co zasadniczo utrudnia weryfikację bezpieczeństwa. Block-STM rozwiązuje ten problem, wykonując równoległe operacje na podstawie z góry ustalonej kolejności transakcji, a w przypadku wystąpienia kolizji przerywa i ponownie próbuje, aby zapewnić, że wyniki są zgodne z sekwencyjnym wykonaniem. Ta metoda charakteryzuje się tym, że proces wykonania jest równoległy, ale ostateczny stan jest zawsze deterministyczny, co pozwala wszystkim weryfikatorom osiągnąć ten sam wynik. Taka deterministyczność staje się ważnym warunkiem wstępnym, ponieważ umożliwia późniejsze etapy weryfikacji i śledzenia odpowiedzialności. Język Move zapewnia bezpieczeństwo na poziomie języka w tym środowisku równoległego wykonania. System typów liniowych w Move nie pozwala na kopiowanie lub przypadkowe znikanie zasobów, takich jak aktywa, co strukturalnie blokuje ryzyko podwójnej płatności lub niespójności stanu, które mogą wystąpić podczas równoległego wykonania. Modułowe podejście do kontroli dostępu i jasny model własności pozwalają określić, kto i jakie zmiany stanu wprowadził, co umożliwia wskazanie odpowiedzialnego podmiotu w przypadku wystąpienia błędnego wykonania. Dodatkowo, bajtkod Move jest zaprojektowany tak, aby można go było weryfikować przed wykonaniem, co pozwala na sprawdzenie, czy zasady przejścia stanu były przestrzegane, nawet bez konieczności odtwarzania całego wykonania. Aptos, opierając się na języku Move i silniku wykonawczym Block-STM, zapewnia dokładność konsensusu i wykonania w ramach pojedynczego łańcucha. W tym przypadku staking działa jako środek przyznający uczestnikom konsensusu sieci odpowiedzialność ekonomiczną, a w przypadku wyraźnych naruszeń, takich jak podwójne podpisy czy zakłócenia dostępności, stosowane jest slashing. To pełni rolę gwarancji, że równoległe wykonanie zostało przeprowadzone poprawnie wewnątrz łańcucha. Helios rozszerza ten zakres, zajmując się weryfikacją stanu i interoperacyjnością w środowisku wielołańcuchowym. Model oparty na stakingu i reputacji, zwany I-PoSR, ocenia zaufanie uczestników wykonujących weryfikację w wielu łańcuchach w sposób kumulatywny. Błąd lub przestój w danym łańcuchu nie kończy się na pojedynczym incydencie, lecz jest odzwierciedlany w wyniku reputacyjnym, co w dłuższej perspektywie wpływa na uprawnienia do weryfikacji i nagrody. Dzięki temu Helios stopniowo wyklucza uczestników, którzy powodują powtarzające się błędy w procesie przekazywania danych i weryfikacji stanu między łańcuchami. Aligned Layer odpowiada za bezpieczeństwo wielołańcuchowe na innym poziomie. Ta warstwa wykorzystuje restaking przez EigenLayer, aby ekonomicznie zapewnić dowody i wyniki weryfikacji generowane w różnych środowiskach wykonawczych. Aligned sprawdza, czy wyniki wykonania są poprawne, poprzez próbkowanie lekkich klientów i procedury sporne, a w przypadku stwierdzenia błędów w weryfikacji lub awarii dostępności stosuje slashing na stakowanych aktywach. Ważne jest, że dzięki deterministycznym wynikom wykonania dostarczanym przez Block-STM, Aligned może weryfikować spójność wyników bez konieczności odtwarzania wszystkich wewnętrznych procesów równoległego wykonania. Połączenie tych trzech warstw tworzy strukturę, w której jeden błąd wykonania może jednocześnie wpływać na wiele systemów bezpieczeństwa. Gdy ten sam weryfikator uczestniczy w konsensusie Aptos, weryfikacji międzyłańcuchowej Helios i weryfikacji dowodów Aligned, błąd równoległego wykonania może prowadzić do łańcuchowej reakcji, skutkującej slashingiem wewnątrz łańcucha, spadkiem reputacji i utratą stakowanych aktywów. To pokazuje, że ryzyko w środowisku stakingu wielołańcuchowego nie jest niezależne, a jednocześnie ujawnia systemową kontrolowalność, ponieważ odpowiedzialność jest wyraźnie śledzona. W rezultacie bezpieczeństwo zasobów języka Move i deterministyczne równoległe wykonanie Block-STM stanowią techniczne podstawy działania modelu bezpieczeństwa opartego na stakingu wielołańcuchowym. Aptos zapewnia dokładność wykonania w ramach pojedynczego łańcucha, Helios zarządza wiarygodnością weryfikacji stanu między łańcuchami, a Aligned Layer czyni wszystkie wyniki wykonania ekonomicznie weryfikowalnymi. Ta struktura pokazuje, że równoległe wykonanie i bezpieczeństwo wielołańcuchowe nie są oddzielnymi pojęciami, lecz są ściśle powiązane poprzez deterministyczność wykonania i możliwość weryfikacji.