Що ALUX дозволяє зробити понад можливості звичайних смартконтрактів?
ALUX розширює модель смартконтрактів до децентралізованого рушія стійкого виконання тривалих завдань. Робочий процес може запускати конкурентні процеси, призупинятися між блоками, чекати на зовнішні інструменти чи людей, поновлюватися й об’єднувати результати, не розкриваючи наполовину завершений стан. Зовнішні канали, опосередковані середовищем виконання, можуть взаємодіяти з підтримуваними позаблокчейновими сервісами без окремої координації оракулів і ретрансляторів. Архітектура розрахована на горизонтальне розширення тієї самої атомарної моделі, щоб міжшардові ефекти фіксувалися або скасовувалися разом; міжшардове виконання залишається в планах.
Чому ALUX підходить для ШІ-агентів?
Агент у блокчейні природно є довгою транзакцією. Виклик LLM або інструмента потребує часу; очікування відповіді людини — також. Такий процес неможливо звести до миттєвого виклику в одному блоці. ALUX дозволяє зберігати контекст виконання, призупинятися, поновлюватися з надходженням даних, координувати конкурентних агентів і фіналізувати результат через відтворюване виконання.
ALUX — просто ще один швидший L1?
Ні. Швидші L1 прискорюють ту саму абстракцію: одноразові оновлення стану в межах одного блока. ALUX — децентралізоване конкурентне середовище виконання довгих транзакцій, які можуть чекати, поновлюватися, об’єднувати результати кількох каналів або вибирати перший готовий канал; їхні оновлення стану більше не обмежені межею блока. Архітектура GLVM — абстракція віртуальної машини — розрахована на розширення тієї самої логічної транзакції за межі блоків, у напрямі меж шардів і систем.
Деякі інші блокчейни також заявляють про міжблочні транзакції. Чим відрізняється ALUX?
Ключове слово — атомарність.
Компенсація / Saga: commit → commit → ✗ fail → run compensating undo
Кожен крок фіксується локально, проміжні стани видимі, компенсація також може завершитися помилкою, а зовнішні ефекти не завжди зворотні. Це узгодженість у кінцевому підсумку. Деякі асинхронні блокчейни, зокрема ICP і Rialo, спираються на цю модель. Її простіше реалізувати, але вона не підходить застосункам, яким потрібні сильніші гарантії ACID.
ALUX: усе або нічого: stage → stage → ✗ fail → discard everything
Нічого не фіксується до фіксації всієї транзакції. У разі скасування незафіксовані ефекти відкидаються, і жоден частковий стан не стає спостережуваним. Це справжня атомарність ACID між висотами блоків.
Як ALUX забезпечує детермінованість довгих транзакцій?
ReplayTrie записує недетерміновані рішення COMM, що впливають на виконання, забезпечуючи побітово точне детерміноване відтворення всередині середовища ALUX, щоб валідатори могли отримати той самий результат виконання.
Що таке об’єктні повноваження (OCAP)?
Об’єктні повноваження (OCAP) — модель безпеки, у якій код може отримати доступ до ресурсу лише через явно надане посилання на цей ресурс — повноваження. У системі OCAP те саме об’єктне посилання одночасно позначає ресурс і надає дозвіл на його використання.
Чому OCAP — сильніша й компонована модель безпеки?
Об’єктні повноваження (OCAP) — сильніша модель безпеки, оскільки повноваження представлені явними непідроблюваними посиланнями, а не глобальними ідентифікаторами чи списками контролю доступу. Вона дотримується принципу «позначення є авторизацією»: володіння повноваженням одночасно позначає ресурс і дозволяє його використання, усуваючи неявні повноваження та скорочуючи поверхню атаки. Повноваження можна безпечно делегувати, звужувати й відкликати, тому політики безпеки локалізуються біля відповідних об’єктів, а не розподіляються централізованою системою дозволів. Це робить OCAP природно компонованою: складні застосунки, смартконтракти й процеси ШІ-агентів можна будувати з незалежно захищених компонентів, зберігаючи принцип мінімальних привілеїв.
Що означає вбудована підтримка OCAP в ALUX?
Віртуальна машина простору кортежів ALUX (TVM) реалізує модель об’єктних повноважень (OCAP) безпосередньо на рівні байт-коду. У наборі інструкцій немає операцій для підроблення або побудови довільних об’єктних посилань, тому повноваження можна отримати лише через явне делегування. Це гарантує непідроблюваність і явну передачу всіх повноважень.
Чи можуть ним користуватися розробники наявних смартконтрактів?
TVM виконує байт-код EVM в ізольованих пісочницях, тому більшість контрактів EVM можна перенести до ALUX з мінімальними змінами. ALUX також надає сумісний з Ethereum інтерфейс через набір поширених методів eth_* JSON-RPC.
