Glossary
Aleo
Una Layer-1 que prioriza la privacidad: cada transacción es una prueba zero-knowledge generada en el cliente, con un DSL propio (Leo) para escribir contratos privados.
Aleo es una Layer-1 diseñada en torno a la computación programable privada. Cada transacción es una prueba SNARK generada localmente en el dispositivo del usuario; la cadena solo ve y verifica pruebas, nunca las entradas o el estado del contrato subyacentes.
Los desarrolladores escriben contratos en Leo, un DSL con sabor a Rust que compila a forma de circuito. Aleo incluye emisión nativa del token ALEO, consenso PoSW y un mercado descentralizado de provers. El contrapeso es que ejecutar todo de forma privada tiene costes reales de rendimiento: el proving es lento comparado con una VM pública.