Aztec запускает четырехуровневую стек-архитектуру для полной конфиденциальности на ethereum

Коротко:

• Aztec представила свою четырехуровневую технологическую стек-архитектуру для обеспечения программируемой конфиденциальности на ethereum в виде децентрализованной сети уровня 2.
• Язык Noir, разработанный Aztec, позволяет разработчикам писать программы с нулевым знанием без криптографической экспертизы, с включенной по умолчанию конфиденциальностью.
• Сеть в настоящее время имеет более 3 500 активных секвенсоров в своей Alpha-сети, причем роли секвенсоров и доказывающих полностью без разрешения.

Aztecопубликовал подробное техническое описание своей архитектуры, получившей название «The Aztec Stack», объясняя, как его L2-сеть на ethereum позволяет разработчикам смарт-контрактов обеспечивать полную конфиденциальность.

Система организована в четыре уровня. Первый — Noir, язык программирования, специализированный для цепочек нулевого разглашения (zk), с синтаксисом, похожим на Rust. Noir автоматически компилирует код в zk-цепочки через промежуточное представление под названием ACIR, совместимое с несколькими бэкендами для доказательств, включая собственную систему Barretenberg. Конфиденциальность — поведение по умолчанию: все переменные и функции остаются закрытыми, пока разработчик явно не укажет иное с помощью атрибута `pub`.

Второй уровень состоит из смарт-контрактов, написанных с использованием фреймворка Aztec.nr, который расширяет Noir для управления публичным и приватным состоянием в цепочке. Один контракт может выполнять приватные функции на устройстве пользователя и публичные функции в сети, прозрачно объединяя их. Контракты аккаунтов реализуют абстракцию аккаунта, обеспечивая восстановление социального аккаунта, многофакторную аутентификацию и детализированный контроль доступа, что полезно для соблюдения регуляторных требований и налоговой отчетности.

Третий уровень — это сама сеть. Частные функции выполняются в частной среде исполнения (PXE) на устройстве пользователя, генерируя zk-доказательства, которые не раскрывают входы, выходы или идентичности. Публичные функции обрабатываются секвенсорами, которые проверяют частные доказательства, выполняют публичное состояние и публикуют различия состояния на L1 Ethereum. Каждый эпох, определяемый как последовательность из 32 L2-блоков, получает финальное доказательство, сгенерированное децентрализованной сетью доказывающих, и публикуется в цепочке.

Четвертый уровень — это Ethereum, который выступает в качестве уровня расчетов: доказательства rollup привязываются к L1, наследуя его экономическую безопасность. Модель частного состояния использует UTXO, а публичное состояние воспроизводит модель аккаунтов Ethereum.

Noir уже используется за пределами экосистемы Aztec проектами, строящимися на Base, Scroll и Starknet, что подтверждает его значимость как стандартного языка для приложений с нулевым знанием.