Question 1

Какому проекту соответствует ATA?

Accepted Answer

ATA — токен проекта Automata. Основное позиционирование Automata — слой машинных доказательств: он позволяет проверять состояние аппаратного и программного обеспечения, на котором работают сервисы, чтобы пользователям или смарт-контрактам не приходилось полагаться только на устные заверения оператора. Это позиционирование не означает, что ATA сам по себе является доказательством вычислений. Доказательства обеспечиваются доверенными средами исполнения и создаваемыми ими криптографическими свидетельствами; ATA в документации Automata 2.0 связан с управлением и экономическим устройством протокола, а конкретные уже реализованные права токена следует отличать от описания этой конструкции.

Question 2

Какова роль доверенной среды исполнения Automata?

Accepted Answer

Доверенная среда исполнения (TEE) — это вычислительная среда с аппаратно принудительной изоляцией, например Intel SGX или TDX. Она может создавать удалённую аттестацию, то есть криптографическое свидетельство об используемом оборудовании, исполняемом коде и его состоянии безопасности. Роль Automata состоит в том, чтобы перенести такие изначально создаваемые оборудованием свидетельства в среду, где их можно использовать в блокчейне: смарт-контракты могут проверять доказательства, а не напрямую доверять заявлениям оператора сервиса. Здесь подтверждается конкретная среда и состояние кода; это нельзя упрощённо понимать как безусловную гарантию всех бизнес-результатов сервиса.

Question 3

Как машинное доказательство становится информацией, проверяемой в блокчейне?

Accepted Answer

Ключевой процесс таков: TEE сначала запускает код в изолированной среде и создаёт удалённую аттестацию; это свидетельство содержит криптографическую информацию, позволяющую идентифицировать оборудование и состояние кода; затем компонент доказательств Automata в блокчейне проверяет это свидетельство, позволяя смарт-контракту на его основе определить, работает ли сервис в ожидаемой среде. Это меняет способ проверки. Изначально контракт мог лишь принять результат, отправленный офчейн-сервисом, или полагаться на репутацию оператора; после подключения проверяемого доказательства контракт может сделать «соответствие ожидаемому оборудованию и состоянию кода» условием последующей логики. Будет ли доказательство использовано конкретным приложением, по-прежнему зависит от того, интегрирует ли оно результат проверки в собственные правила.

Question 4

Какие возможности, связанные с машинным доверием, предоставляет Automata?

Accepted Answer

В документации Automata перечислены такие возможности, как проверка доказательств в блокчейне, операционные инструменты для поддержки материалов, необходимых для доказательств, и воспроизводимые сборки. Цель воспроизводимых сборок — доказать, что опубликованная бинарная программа действительно собрана из проверенного исходного кода, а не только доказать, что сервер запускает произвольную программу. Эти возможности могут использоваться в сценариях, где требуется проверить целостность вычислений: с одной стороны, подтвердить среду исполнения и состояние кода, с другой — позволить приложениям в блокчейне считывать результаты проверки. Они не делают автоматически достоверными все офчейн-вычисления; приложению всё равно необходимо явно выбрать идентификатор проверяемого кода, правила проверки и способ обработки сбоев.

Question 5

Какова роль ATA в конструкции Automata 2.0?

Accepted Answer

В конструкции Automata 2.0 ATA связан с управлением протоколом и распределением ценности, формируемой комиссиями протокола. Документ описывает подход, при котором участвующие в управлении держатели ATA могут участвовать в распределении ценности комиссий протокола пропорционально своей доле участия. Это следует понимать как экономическую конструкцию версии 2.0, а не как гарантированный, автоматически возникающий доход. Фактический результат определяется тем, возникают ли комиссии, какие действия использования учитываются как комиссии протокола, каковы конкретные условия участия в управлении и реализована ли конструкция согласно документу; нельзя представлять эту конструкцию как текущий фиксированный доход ATA.

Цена Automata (ATA)