Структурне поєднання середовища паралельного виконання на основі мови Move та моделі безпеки багатоланцюгового стейкінгу @Aptos , @helios_layer1 , @alignedlayer Спроби одночасно забезпечити обчислювальну потужність і безпеку в блокчейн-системах тривають вже давно, і останніми роками технологія паралельного виконання та моделі безпеки на основі мультичейн-стейкінгу поступово поєднуються на незалежних етапах розробки. У цьому процесі мова Move, паралельний виконавчий рушій Block-STM, а також Aptos, Helios і Aligned Layer, які відповідають за багатоланцеве стейкінг і перевірку повторного стейкінгу, ділять ролі в різних рівнях, формуючи цілісну структуру. Паралельне виконання — це техніка обробки більшої кількості транзакцій за той самий проміжок часу, і вона ускладнює перевірку безпеки, оскільки може відбуватися кілька змін стану одночасно. Щоб вирішити цю проблему, Block-STM виконує паралельне виконання на основі попередньо фіксованого порядку транзакцій, і якщо під час виконання виникає конфлікт, він гарантує, що результат буде таким самим, як і при послідовному виконанні через переривання та повторення. Цей метод характеризується тим, що процес виконання є паралельним, але кінцевий стан завжди детермінований і дозволяє всім валідаторам досягти однакового результату. Ця рішучість є важливою передумовою, оскільки дозволяє перевіряти та відстежувати відповідальність на пізніших етапах. Мова Move забезпечує безпеку на рівні мови в цьому паралельному середовищі виконання. Лінійна система Move не дозволяє дублювати або знищувати ресурси, такі як активи, що структурно блокує ризик подвійних витрат або невідповідності станів, які можуть виникати під час паралельного виконання. Модульний контроль доступу та чітка модель власності чітко показують, хто який стан змінив, щоб винних можна було ідентифікувати у разі неправильного виконання. Крім того, байткод Move розроблений так, щоб його можна було перевірити перед виконанням, тому ви можете перевірити, чи перехід стану відповідав правилам, навіть якщо ви не відтворюєте все виконання. Aptos базується на цих мовах Move та виконавчому движку Block-STM для забезпечення консенсусу в одному ланцюгу та точності виконання. Тут стейкінг слугує засобом притягнення учасників консенсусу мережі до економічної відповідальності, при цьому застосовується слеш за явні порушення, такі як подвійне підписання або скомпрометована доступність. Це слугує внутрішньою гарантією правильного виконання паралельного виконання. Helios розширює цю сферу для вирішення питання перевірки стану та сумісності в багатоланцевих середовищах. Модель стейкінгу та репутації, яка називається I-PoSR, накопичено оцінює довіру до учасників, які виконують валідаційні завдання у кількох ланцюгах. Помилки або простої на певному ланцюжку не закінчуються однією подією, а відображаються у рейтингу репутації, що впливає на права на верифікацію та винагороди в довгостроковій перспективі. Завдяки цьому Helios поступово виключає учасників, які спричиняють повторні помилки у процесі передачі даних і верифікації стану між ланцюгами. Aligned Layer відповідає за багатоланцеву безпеку на іншому рівні. Цей рівень використовує перезафіксування через EigenLayer для економічного забезпечення результатів доказів і верифікацій, створених у різних середовищах виконання. Перевірка коректних результатів виконання за допомогою легких процедур вибірки клієнтів і оскарження, а також застосовує слеш до стейкованих активів у разі виявлення помилок валідації або збоїв у доступності. Важливо, що завдяки детермінованим результатам виконання, які надає Block-STM, Aligned може перевіряти узгодженість результатів без необхідності відтворювати всі внутрішні процеси паралельного виконання. Поєднання цих трьох рівнів також створює структуру, в якій одна помилка виконання може впливати на кілька систем безпеки одночасно. Якщо той самий валідатор бере участь у консенсусі Aptos, крос-чейн-верифікації Helios та перевірці доказів Aligned, паралельні помилки виконання можуть призвести до ланцюга внутрішньоланцевого слешингу, падіння репутації та втрати рестейкінгованих активів. Це показує, що ризики не є незалежними один від одного в багатоланцюговому середовищі стейкінгу, а також виявляє можливість системного контролю, оскільки обов'язки чітко відстежуються. Внаслідок цього безпека ресурсів мови Move та детерміноване паралельне виконання Block-STM забезпечують технічну основу для роботи багатоланцюгової моделі безпеки на основі стейкінгу. Aptos забезпечує точність виконання в одному ланцюзі, Helios керує надійністю перевірки стану між ланцюгами, а Aligned Layer робить усі ці результати виконання економічно перевіреними. Цю структуру можна назвати прикладом того, що паралельне виконання та багатоланцюгова безпека не є окремими поняттями, а тісно пов'язані детермінованістю та перевіреністю виконання. $APT