Коротко: Aztec – Ethereum L2, где смарт-контракт может сочетать приватные и публичные данные и вычисления. Приватные функции выполняются в пользовательской среде PXE и формируют доказательство, а публичное состояние и итоговое обновление проверяются сетью и связываются с Ethereum. Архитектура позволяет создавать конфиденциальные приложения, но не делает каждую операцию полностью невидимой.
Какую задачу решает Aztec
В обычном публичном блокчейне состояние контракта и история операций доступны для наблюдения. Это удобно для проверки, но мешает сценариям, где раскрытие баланса, условий сделки или поведения пользователя нежелательно. Aztec строится вокруг программируемой приватности: разработчик выбирает, какие части логики и состояния остаются приватными, а какие выполняются публично.
Это не просто миксер и не отдельный кошелёк, скрывающий перевод. Aztec описывает себя как приватный zk-rollup на Ethereum, где приложения могут смешивать private и public execution. Контракт может иметь публичные функции для общих операций и приватные функции для пользовательских данных. Уровень конфиденциальности зависит от того, как написано приложение и что оно намеренно публикует.
Чтобы понять, чем доказательства приватных вычислений отличаются от общих понятий zkVM и zkEVM, дополните обзор материалом о различиях zkVM и zkEVM.
Private execution, PXE и публичная часть
В документации Aztec приватные функции исполняются в Private eXecution Environment на стороне пользователя. Приватное состояние представлено заметками или UTXO-подобными объектами: пользователь хранит данные, которые может расшифровать своим ключом, а сеть оперирует обязательствами и nullifier-записями, показывающими, что состояние было использовано или погашено.
Публичные функции исполняются в Public VM. Они могут менять открытое состояние контракта, наблюдаемое как в других публичных сетях. После локального приватного вычисления и формирования доказательства транзакция поступает в сетевую обработку. Sequencer упорядочивает транзакции и предлагает блок, участники проверяют публичное исполнение и доказательства приватных функций. Роллап публикует данные и подтверждение перехода состояния в Ethereum.
Эти среды разделены: PXE и Public VM не являются общей машиной, которая видит всё состояние. Приложение должно явно строить сообщения и переходы между приватной и публичной частями. Ошибка проектирования, неверная обработка ключей или случайная публикация значения всё равно может раскрыть информацию.
Доказательство корректности не означает, что приложение автоматически безопасно или что интерфейс не собирает дополнительные данные. Оно подтверждает определённые вычислительные свойства при заданных предположениях, но не проверяет весь продукт и его операционные процессы.
Noir и разработка контрактов
Noir – язык и инструменты для схем с доказательствами. В Aztec разработчики используют Aztec.nr, который добавляет структуры и макросы для контрактов. В одном приложении сочетаются приватные функции, формирующие circuit-представление, и публичные функции, исполняемые в AVM. Это отличается от обычной Solidity-разработки на EVM и требует тестирования обеих сторон контракта.
При чтении проекта выясняйте, какие входы приватная функция получает на устройстве, какие commitments или события попадают в сеть и что публичный контракт выводит во внешнее состояние. Аудит должен охватывать раскрытие данных, управление ключами, сообщения между L1 и L2 и экономические стимулы. Слова «zero knowledge» не заменяют проверку кода и предположений модели.
Aztec имеет собственные SDK, инструменты локального тестирования и версии библиотек. Их следует согласовывать с версией сети и контракта: документы могут описывать разные релизы или сети. Перед взаимодействием уточняйте, идёт ли речь о локальной среде, тестовой сети или Alpha в Ethereum Mainnet.
Sequencers, Ethereum и состояние сети
Sequencer собирает ожидающие транзакции, определяет их порядок и предлагает блок. В схеме Aztec также участвуют комитет аттестации и provers, формирующие доказательства. Ethereum служит уровнем публикации и проверки rollup-перехода, но пользователю нужно учитывать доступность L2, работу оператора, сборы и мостовые операции.
Документация на момент подготовки обзора описывает Alpha как раннюю рабочую сеть с реальными транзакциями, staking и управлением, и отдельно предупреждает, что программное обеспечение ещё не hardened и возможны серьёзные ошибки. Тестовая сеть предназначена для проверки обновлений и приложений до работы с реальными активами. Статус и версии быстро меняются, поэтому слово mainnet не следует воспринимать как обещание зрелости.
Участие в sequencer-сети требует инфраструктуры и экономического залога. Stake может подвергаться slashing в предусмотренных правилами случаях. Делегирование переносит операционную работу к оператору, но добавляет его надёжность и комиссионную структуру к оценке риска. О графике выпуска токена можно прочитать в инструкции по vesting и unlock.
Что приватность не скрывает автоматически
Даже если внутренние значения функции приватны, публичная сеть может раскрывать время транзакции, факт взаимодействия, публичные вызовы, оплату и внешние сообщения. Приложение может связывать пользователя с активностью через веб-сайт, аналитику или повторное использование адресных данных. Доступность сети, поведение sequencer и сами доказательства также часть модели наблюдения.
Перед использованием dApp проверьте, какие поля приватны, что публикуется в L1 и L2, как приложение управляет ключами и какие метаданные видит оператор интерфейса. Проверьте адрес контракта и путь возврата активов. Мост может раскрывать связь между депозитом и следующим действием, а приватное исполнение не отменяет риск ошибочного получателя или вредоносного контракта. О различии между сообщением и токеном рассказывает статья о межсетевом сообщении и token bridge.
Итог
Aztec сочетает конфиденциальное исполнение, публичные взаимодействия и settlement на Ethereum. Noir и Aztec.nr дают инструменты для приватных контрактов, а sequencers собирают транзакции и продвигают состояние сети. Но приватность зависит от кода, ключей, данных, интерфейса и внешних сообщений. Пока сеть на раннем этапе, используйте реальные активы только после проверки статуса, контрактов и ограничений приложения.
