Strukturální kombinace paralelního prostředí pro spouštění založeného na jazyce Move a multi-chain staking bezpečnostního modelu @Aptos, @helios_layer1, @alignedlayer Pokusy zajistit současně výpočetní výkon a bezpečnost v blockchainových systémech probíhají již dlouhou dobu a v posledních letech byly paralelní technologie provádění a bezpečnostní modely založené na víceřetězcovém stakingu postupně kombinovány prostřednictvím nezávislých vývojových fází. V tomto toku sdílejí jazyk Move, paralelní výkonový engine Block-STM a Aptos, Helios a Aligned Layer, které jsou zodpovědné za víceřetězcové staking a ověřování přestakingu, role v různých vrstvách a vytvářejí tak koherentní strukturu. Paralelní provádění je technika pro zpracování více transakcí ve stejném čase a sama o sobě ztěžuje ověření bezpečnosti, protože může nastat více změn stavů současně. Pro vyřešení tohoto problému provádí Block-STM paralelní provádění na základě předem stanoveného pořadí transakcí a pokud během provádění dojde ke konfliktu, zajišťuje, že výsledek je stejný jako u sekvenčního provádění prostřednictvím přerušení a opakovaných operací. Tato metoda se vyznačuje tím, že proces provádění je paralelní, ale konečný stav je vždy deterministický a umožňuje všem validátorům dosáhnout stejného výsledku. Tato rozhodnost je důležitým předpokladem, protože umožňuje ověření a sledování odpovědnosti v pozdější fázi. Jazyk Move poskytuje bezpečnost na úrovni jazyka v tomto paralelním prostředí pro vykonávání. Lineární systém typů v Move neumožňuje duplikovat nebo libovolně ničit zdroje, jako jsou aktiva, což strukturálně blokuje riziko dvojího utrácení nebo nesouladu stavů, které mohou nastat při paralelním provádění. Modulová kontrola přístupu a jasný model vlastnictví jasně ukazují, kdo změnil jaký stav, takže odpovědní osoby lze identifikovat při špatném provedení. Navíc bajtkód Move je navržen tak, aby byl ověřitelný před vykonáním, takže můžete ověřit, že přechod stavu dodržel pravidla, i když nereprodukujete celé provedení. Aptos je založen na těchto jazycích Move a na výkonném enginu Block-STM, aby zajistil konsensus a přesnost provádění v jednom řetězci. Zde staking slouží jako prostředek, jak držet účastníky konsenzu sítě ekonomicky odpovědnými, přičemž slashing se uplatňuje při jasných porušeních, jako je dvojité podepsání nebo kompromitovaná dostupnost. To slouží jako interní záruka, že paralelní provádění je provedeno správně. Helios rozšiřuje tento rozsah o ověřování stavu a interoperabilitu v multi-chain prostředích. Model založený na stakingu a reputaci, nazývaný I-PoSR, kumulativně hodnotí důvěryhodnost účastníků vykonávajících validační úkoly napříč více řetězci. Chyby nebo výpadky na konkrétním řetězci nekončí jednou událostí, ale odrážejí se v reputačním skóre, které dlouhodobě ovlivňuje práva na ověření a odměny. Díky tomu Helios postupně vylučuje účastníky, kteří způsobují opakované chyby při přenosu dat a ověřování stavu mezi řetězci. Aligned Layer je zodpovědná za bezpečnost více řetězců na jiné úrovni. Tato vrstva využívá retaking prostřednictvím EigenLayer k ekonomickému zajištění výsledků důkazů a ověření generovaných napříč různými prostředími pro vykonání provozu. Slaže kontroly správných výsledků provedení pomocí lehkých klientských vzorkovacích a reklamačních postupů a aplikuje slashing na stakovaná aktiva, pokud jsou zjištěny chyby validace nebo selhání dostupnosti. Důležité je, že díky deterministickým výsledkům vykonávání poskytovaným Block-STM může Aligned ověřit konzistenci výsledků, aniž by musel reprodukovat všechny interní procesy paralelního vykonávání metod. Kombinace těchto tří vrstev také vytváří strukturu, ve které může jediná chyba při provádění současně ovlivnit více bezpečnostních systémů. Pokud se stejný validátor účastní konsenzu Aptosu, cross-chain ověřování Heliosu a ověření důkazů Aligned, mohou paralelní chyby při provádění vést k řetězci in-chain slashingu, poklesu reputace a ztrátě restakovaných aktiv. To ukazuje, že rizika nejsou v prostředí víceřetězcového staking na sobě nezávislá, a zároveň to ukazuje možnost systémové kontroly, protože odpovědnosti jsou jasně sledovány. Díky tomu bezpečnost zdrojů jazyka Move a deterministické paralelní provádění Block-STM poskytují technický základ pro provoz bezpečnostního modelu založeného na víceřetězcovém stakingu. Aptos zajišťuje přesnost jednořetězcového vykonání, Helios spravuje spolehlivost ověřování stavu mezi řetězci a Aligned Layer umožňuje ekonomicky ověřit všechny tyto výsledky vykonání. Tato struktura může být považována za příklad toho, jak paralelní provádění a vícechainová bezpečnost nejsou oddělené pojmy, ale jsou úzce propojeny determinismem a ověřitelností provádění. $APT