Что 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.
