TL;DR:
- Aztec presentó su pila de tecnología de cuatro capas para ofrecer privacidad programable en Ethereum como una red descentralizada de capa 2.
- El lenguaje Noir, desarrollado por Aztec, permite a los desarrolladores escribir programas de conocimiento cero sin necesidad de experiencia criptográfica, con privacidad activada por defecto.
- La red actualmente tiene más de 3,500 secuenciadores activos en su red Alpha, con roles de secuenciador y probador completamente sin permisos.
Aztecpublicó una descripción técnica detallada de su arquitectura, denominada “The Aztec Stack”, que explica cómo su red L2 en ethereum permite privacidad programable de extremo a extremo para desarrolladores de contratos inteligentes.
Las cuatro capas de Aztec
El sistema está organizado en cuatro capas. La primera es Noir, un lenguaje de programación específico para dominios de circuitos de conocimiento cero (zk) con sintaxis similar a Rust. Noir compila el código en circuitos zk automáticamente a través de una representación intermedia llamada ACIR, compatible con múltiples backends de prueba, incluido su propio sistema Barretenberg. La privacidad es el comportamiento predeterminado: todas las variables y funciones permanecen privadas a menos que el desarrollador indique explícitamente lo contrario utilizando el atributo `pub`.
Más allá de las transacciones protegidas
La segunda capa consiste en contratos inteligentes escritos con el marco Aztec.nr, que extiende Noir para gestionar estado público y privado en la cadena. Un solo contrato puede ejecutar funciones privadas en el dispositivo del usuario y funciones públicas en la red, combinándolas de forma transparente. Los contratos de cuenta implementan la abstracción de cuenta, permitiendo la recuperación de cuentas sociales, autenticación multifactor y controles de acceso granulares útiles para el cumplimiento regulatorio y la declaración de impuestos.
La tercera capa es la red misma. Las funciones privadas se ejecutan en un entorno de ejecución privado (PXE) en el dispositivo del usuario, generando pruebas zk que no revelan entradas, salidas ni identidades. Las funciones públicas son procesadas por secuenciadores, quienes verifican las pruebas privadas, ejecutan el estado público y publican las diferencias de estado en Ethereum L1. Cada epoch, definida como una secuencia de 32 bloques L2, recibe una prueba final generada por una red descentralizada de probadores y publicada en la cadena.
Noir ya se está implementando
La cuarta capa es Ethereum, que actúa como la capa de liquidación: las pruebas de rollup se anclan a L1, heredando su seguridad económica. El modelo de estado privado utiliza UTXOs, mientras que el estado público replica el modelo de cuenta de Ethereum.
Noir ya se está utilizando fuera del ecosistema Aztec por proyectos que construyen sobre Base, Scroll y Starknet, lo que demuestra su relevancia como lenguaje estándar para aplicaciones de conocimiento cero.