Aztec обеспечивает сквозную конфиденциальность в смарт-контрактах Ethereum

Aztec представила свой четырехуровневый технологический стек, обеспечивающий программируемую конфиденциальность в Ethereum как децентрализованной сети второго уровня.

Язык Noir, разработанный Aztec, позволяет разработчикам писать программы с нулевым разглашением информации, не обладая знаниями в области криптографии, с включенной по умолчанию конфиденциальностью.

В настоящее время в сети Alpha имеется более 3500 активных секвенаторов, причем роли секвенаторов и проверщиков полностью недоступны.

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

Четыре слоя ацтеков

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

За пределами защищенных транзакций

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

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

«Нуар» уже развертывается

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

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