Análisis integral del proyecto Aleo

1. Arquitectura técnica

ALEO es una plataforma de cadena de bloques Layer-1 que se centra en la privacidad de forma predeterminada, utilizando tecnología de prueba de conocimiento cero (ZKP) de vanguardia para habilitar aplicaciones descentralizadas privadas y programables (DAPPS). Sus componentes técnicos principales incluyen:

• Arquitectura ZEXE

Aleo se basa en ZEXE, una arquitectura de ejecución de conocimiento cero introducido por sus fundadores en 2018. En ZEXE, los cálculos se ejecutan fuera de la cadena y su validez se demuestra utilizando ZKSNarks (argumentos sucintos no interactivos de conocimiento), que luego se presentan en la cadena. Esta estructura permite cálculos privados con verificabilidad pública al tiempo que mejora la escalabilidad y la eficiencia.

Cada transacción consume y genera "registros" cifrados, similar a un modelo UTXO. Estos registros están vinculados a las claves de usuario y se ocultan desde la vista pública. Cuando se ejecuta una transacción, la cadena de bloques solo revela el número de serie del registro consumido, el compromiso del nuevo registro y un Zksnark que prueba validez, sin revelar ningún dato subyacente.

• Lenguaje de programación LEO

LEO es un lenguaje de programación específico de dominio inspirado en Rust (DSL) diseñado para escribir contratos inteligentes basados ​​en ZKP. Los desarrolladores pueden usar LEO para expresar la lógica compleja como código legible, que luego se compila en los circuitos compatibles con R1CS de Aleo para la generación de prueba de Zksnark. Esto reduce en gran medida la barrera criptográfica para el desarrollo de DAPP.

• Aleovm y Snarkvm

Los programas LEO se compilan en circuitos ejecutados en Aleovm, con SnarkVM como su backend criptográfico. SnarkVM utiliza el sistema de prueba Varuna basado en Marlin y admite SRS universal y actualizable (cadenas de referencia estructuradas). Permite la generación y verificación ZKSNARK de alta velocidad y uso general, con ejecución escalable.

• Consenso híbrido: Aleobft + Posw

Aleo combina la prueba de estanca (POS) y un nuevo mecanismo de prueba de trabajo-trabajo (POSW). Aleobft es su consenso de estilo DAG basado en POS, asegurando la finalidad rápida y determinista. Mientras tanto, POSW es ​​una prueba de trabajo con sede en Zksnark: los retrocesos generan a prueba de ZK que cumplen con un umbral de dificultad para ganar recompensas de bloque. Esto incentiva el cálculo de la seguridad de la red mientras mantiene la descentralización.

En resumen, la arquitectura de Aleo combina la ejecución fuera de la cadena con la verificación en la cadena, lo que permite una plataforma de contrato inteligente escalable y que presenta la privacidad con una cadena de herramientas amigable para el desarrollador.

2. Mecanismos de privacidad

Aleo garantiza las transacciones privadas predeterminadas y la ejecución del contrato utilizando ZKSNarks. Las características de privacidad clave incluyen:

• Registros cifrados y pruebas de conocimiento cero

Todas las interacciones del usuario se modelan como registros cifrados. No se divulgan datos públicos sobre remitentes, destinatarios o montos. Solo Zksnarks demuestra que la transición entre registros es válida. Esto significa que los observadores no pueden determinar qué acciones ocurrieron, solo que eran válidas bajo las reglas del contrato.

• Flexibilidad pública y privada del estado

Los contratos escritos en LEO pueden manejar los estados públicos y privados, permitiendo la divulgación selectiva. Por ejemplo, un DAPP de votación puede ocultar las identidades de los votantes mientras publica resultados agregados. Este equilibrio entre confidencialidad y verificabilidad es una de las innovaciones clave de Aleo.

El resultado es una cadena de bloques donde los saldos de cuenta, las llamadas de contrato y los estados internos son privados de forma predeterminada, lo que hace que Aleo sea la primera cadena que ofrece privacidad programable a escala.

3. Escenarios de aplicación

Aleo admite una amplia gama de tipos de DAPP:

• Defi privado: Proyectos como Alphaswap y Arcane Finance demuestran el comercio y liquidez de defi con privacidad de transacciones completa. Esto protege a los usuarios de la primera, mejora la seguridad y admite casos de uso como préstamos confidenciales y pagos privados de establo.

• Identidad y divulgación selectiva: Aplicaciones basadas en ZK como Aleo Name Service (ANS) y ZPass permiten a los usuarios probar reclamos (por ejemplo, edad o ciudadanía) sin revelar datos confidenciales.

• Juegos en cadena: Aleo admite juegos de estado oculto como póker o acorazado al encriptar la información de los jugadores y validar los movimientos con a prueba de ZK.

• Ecosistema de desarrolladores: 350+ equipos se están basando en Aleo. Las herramientas incluyen Leo Wallet, Foxwallet, Aleo123 Explorer y soluciones de cadena cruzada como Verulink.

4. Línea de tiempo de desarrollo del proyecto

• Equipo: Fundado por Howard Wu, Collin Chin, Raymond Chu y Michael Beller. El CEO Alex Pruden aporta experiencia militar y VC. CTO Pratyush Mishra lidera la criptografía.

• Fondos: Semilla de $ 28M (2021) y $ 200M Serie B (2022) de A16Z, SoftBank, Coinbase Ventures y otros.

• Bolas de prueba: Cuatro bolas de prueba escenificadas (2021–2023) con 25 millones de créditos ALEO distribuidos como incentivos.

• Red: Lanzado en septiembre de 2024, con más de 100,000 GPU participando en la minería ZK.

• Hoja de ruta: Centrarse en la escalabilidad, las herramientas de desarrollador e integraciones empresariales durante los próximos 24 meses.

5. Tokenómica

• Suministro y asignación: Suministro de génesis de 1.500 millones de Aleo. Distribuido: 34% inversores, 25% de comunidad, 17% de equipo, 16% de fundación, 8% de socios.

• Modelo de emisión:

  • Posw (Provers): Comienza en ~ 105 ALEO/bloque, disminuye un 10% por año durante 9 años, luego se fijó a 12.5 ALEO/bloque.

  • POS (validadores): Fijado a 23 Aleo/Block para siempre.

• Inflación: Se estima que alcanza ~ 2.6 mil millones de ALEO en 10 años, con una tasa de inflación disminuida (~ 12% a ~ 2%).

• Utilidad: Utilizado para gas, apuesta, recompensas, cálculo de ZK y gobernanza futura.

6. Análisis de inversiones

• Potencial de mercado: Aborda los desafíos de Web3 centrales - privacidad y escalabilidad - con una creciente demanda en todas las industrias.

• Competencia: Superforma ZCash (sin contratos inteligentes), ofrece más flexibilidad que Mina (no privada por defecto) y funciona como un L1 soberano a diferencia de AZTEC (L2).

• Ventajas: Tecnología de vanguardia, herramientas de desarrollo fuertes, fondos robustos y tracción del ecosistema.

• Riesgos: Escrutinio regulatorio sobre privacidad, complejidad de Zksnark, desbloqueos de tokens y limitaciones de rendimiento.

• Perspectiva: Perfil de alto riesgo y alto recompensa. Fuerte candidato para la exposición a largo plazo al ecosistema de conocimiento cero.

Referencias

1. Sitio web oficial de ALEO - https://aleo.org
   

2. Aleo Docs (detalles técnicos) - https://developer.aleo.org

3. ZEXE: habilitando el cálculo privado descentralizado - https://eprint.iacr.org/2018/962.pdf

4. ALEO TestNet Reports - https://medium.com/@aleo

5. Repositorio de lenguaje LEO - https://github.com/AleoHQ/leo

6. Snarkvm Github - https://github.com/AleoHQ/snarkVM
   

7. Blog de lanzamiento de Aleo Mainnet - https://www.aleo.org/post/mainnet-launch
   

8. Cobertura de Coindesk en Aleo - https://www.coindesk.com/tag/aleo

9. Sitio oficial de ZCash - https://z.cash

10. Docios de Mina Protocol - https://docs.minaprotocol.com

11. Red azteca - https://aztec.network

12. Arcane Finance & Alphaswap (proyectos de ecosistemas Aleo) - https://www.aleo.org/ecosystem
    

13. Foxwallet - https://foxwallet.com

14. Aleo123 Explorer – https://aleo123.io