Aleo: Una nueva dirección para la Cadena de bloques de privacidad

Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, que utiliza la tecnología de prueba de conocimiento cero (ZKP) para lograr un mayor nivel de privacidad y escalabilidad. La idea central de este proyecto es permitir a los usuarios llevar a cabo la verificación de identidad y el procesamiento de datos sin revelar información personal.

Resumen del proyecto

privacidad

El núcleo de Aleo es la tecnología de prueba de conocimiento cero, que permite que las transacciones y la ejecución de contratos inteligentes se realicen mientras se protege la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, pero se permite la divulgación selectiva cuando es necesario, lo que es muy adecuado para el desarrollo de aplicaciones DeFi. Los componentes principales incluyen:

1. Lenguaje de compilación Leo: un lenguaje especialmente diseñado para desarrollar aplicaciones de conocimiento cero (ZKApps), que reduce los requisitos de conocimiento criptográfico para los desarrolladores.

2. snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, verificando solo los resultados en la cadena, mejorando la eficiencia. snarkOS garantiza la seguridad de los datos y cálculos, y apoya la ejecución de funciones sin permiso.

3. zkCloud: proporciona un entorno de cálculo fuera de la cadena seguro y privado, que admite la interacción de programación entre usuarios, organizaciones y DAO.

Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, apoyando a los desarrolladores a escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones en el registro de programas de Aleo, sin necesidad de depender de terceros, lo que reduce el riesgo de la plataforma.

Escalabilidad

Aleo adopta un enfoque de procesamiento fuera de la cadena, donde las transacciones se calculan primero en el dispositivo del usuario y luego solo se sube el resultado de la verificación a la Cadena de bloques. Este enfoque mejora significativamente la velocidad de procesamiento de transacciones y la escalabilidad del sistema, evitando problemas de congestión de red y altos costos.

mecanismo de consenso

Aleo introdujo AleoBFT, un mecanismo de consenso de arquitectura híbrida que combina la finalización instantánea de los validadores y la capacidad de cálculo de los demostradores. AleoBFT mejora el grado de descentralización de la red, aumentando el rendimiento y la seguridad.

1. Finalidad rápida del Bloquear: asegurar que cada Bloquear se confirme inmediatamente después de ser generado, mejorando la estabilidad de los nodos y la experiencia del usuario.

2. Garantía de descentralización: mediante la separación de la producción de bloques y la generación de coinbase, se previene que unas pocas entidades monopolizan la red.

3. Mecanismo de incentivos: los validadores y los comprobadores comparten las recompensas de bloque; se alienta a los comprobadores a convertirse en validadores a través de la apuesta de tokens, mejorando el grado de descentralización y la capacidad de cálculo de la red.

Aleo permite a los desarrolladores crear aplicaciones sin restricciones de gas, especialmente adecuadas para aplicaciones que requieren tiempo de ejecución prolongado, como el aprendizaje automático.

Últimos avances

Aleo lanzará la red de pruebas incentivada el 1 de julio, la información importante incluye:

1. La votación de ARC-100 fue aprobada, el equipo está realizando los ajustes finales.

2. El programa de incentivos para validadores se lanzará el 1 de julio y funcionará hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.

3. La oferta inicial es de 1.5 mil millones de tokens, con una oferta circulante inicial de aproximadamente el 10%.

4. La Beta de Testnet ha completado el último reinicio de la red, se han añadido ARC-41 y la nueva función de puzzle.

5. La congelación del código se completó hace una semana.

6. Plan de expansión de nodos de verificación: 15 nodos iniciales, objetivo de aumentar a 50 dentro del año, y alcanzar finalmente 500.

Análisis del algoritmo Synthesis Puzzle

Aleo ha actualizado recientemente el algoritmo puzzle, llamado Synthesis Puzzle. El nuevo algoritmo ya no se centra en generar pruebas zk, sino que se enfoca en generar datos intermedios witness. El proceso central del algoritmo es el siguiente:

1. Se genera un EpochProgram común en cada epoch.

2. Usar nonce( compuesto por la dirección de recompensa de minería, epoch_hash y el número aleatorio counter) como entrada.

3. Construir el circuito de prueba R1CS según el EpochProgram y la entrada, generando el testigo.

4. Utilizar witness como un nodo hoja del árbol de Merkle, calcular la raíz de Merkle.

5. Convertir la raíz de Merkle en proof_target de la solución, verificando si cumple con los requisitos de la época actual.

6. Si cumple con los requisitos, envíe la solución y transmítala.

Esta actualización hace que puzzle pase de generar pruebas a generar testigos, la lógica de cálculo dentro de cada época es consistente, pero las diferencias entre épocas son bastante grandes. El nuevo algoritmo elimina los cálculos MSM y NTT anteriores, aumentando la dificultad de la implementación paralela. Este cambio tendrá un impacto significativo en las estrategias y la eficiencia de la minería.