Aleo: Pionero en 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 nivel más alto de privacidad y escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos mientras protegen su información personal.
Resumen del proyecto
privacidad
El núcleo de Aleo es la tecnología de pruebas de conocimiento cero (ZKPs), que garantiza que la ejecución de transacciones y contratos inteligentes se realice manteniendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, este diseño no solo protege la privacidad del usuario, sino que también permite la divulgación selectiva cuando es necesario, lo que lo hace muy adecuado para el desarrollo de aplicaciones DeFi.
Los componentes principales incluyen:
Leo lenguaje de compilación: adaptado a partir de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimiento criptográfico para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, verificando solo los resultados de los cálculos en la cadena, lo que mejora la eficiencia. snarkOS garantiza la seguridad de los datos y cálculos, y permite la ejecución de funciones sin permisos.
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 proporciona un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que apoyan a los desarrolladores en la rápida redacción y publicación de aplicaciones. Los desarrolladores pueden implementar aplicaciones en el registro de programas de Aleo sin depender de terceros, lo que reduce el riesgo en la plataforma.
escalabilidad
Aleo utiliza un método 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 método mejora significativamente la velocidad de procesamiento de las transacciones y la escalabilidad del sistema, evitando la congestión de la red y los altos costos.
mecanismo de consenso
Aleo ha introducido AleoBFT, un mecanismo de consenso de arquitectura híbrida que combina la finalización instantánea de los validadores con la capacidad de cálculo de los probadores. AleoBFT no solo mejora el grado de descentralización de la red, sino que también aumenta el rendimiento y la seguridad.
Finalidad rápida de bloque: AleoBFT asegura que cada bloque sea confirmado inmediatamente después de su generación, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía de descentralización: al separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, los demostradores realizan cálculos de prueba, evitando que unas pocas entidades monopolicen la red.
Mecanismo de incentivos: los validadores y los comprobadores comparten las recompensas de los bloques; se anima a los comprobadores a convertirse en validadores a través de la apuesta de tokens, aumentando así el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones que no están sujetas a restricciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren largos períodos de ejecución, como el aprendizaje automático.
Últimos avances
Aleo planea lanzar la red de prueba de incentivos el 1 de julio, a continuación se presentan algunas noticias importantes:
ARC-100 votación aprobada: La propuesta relacionada con la conformidad, el bloqueo de fondos en la red y las medidas de seguridad como el retraso en la llegada de fondos ha sido aprobada, el equipo está realizando ajustes finales.
Plan de incentivos para validadores: comienza el 1 de julio y tiene como objetivo validar el nuevo mecanismo de puzzle. El plan se ejecutará hasta el 15 de julio, durante el cual se asignarán 1 millón de puntos Aleo como recompensa.
Suministro inicial y suministro en circulación: la cantidad de suministro inicial es de 1.5 mil millones de tokens, y la cantidad de suministro en circulación inicial es de aproximadamente el 10%. Estos tokens provienen principalmente de tareas de Coinbase y se distribuirán en los primeros seis meses.
Restablecimiento de Testnet Beta: Este es el último restablecimiento de la red, después del cual no se agregarán nuevas funciones; la red será similar a la mainnet.
Congelación de código: se completó hace una semana.
Plan de expansión de nodos de validación: el número inicial de nodos de validación es de 15, con el objetivo de aumentar a 50 dentro del año y finalmente alcanzar 500.
Synthesis Puzzle: Análisis del nuevo algoritmo
El núcleo del algoritmo más reciente de Aleo se llama Synthesis Puzzle, y su núcleo es la generación fija de un EpochProgram común para cada epoch. Al construir un circuito de prueba R1CS para las entradas y el EpochProgram, se genera la correspondiente asignación R1CS (es decir, testigo) que se utiliza como nodo hoja del árbol de Merkle. Después de calcular todos los nodos hoja, se genera la raíz de Merkle y se convierte en el proof_target de la solución.
proceso del algoritmo
Cada cálculo de puzzle se llama nonce, y se construye a partir de la dirección que recibe la recompensa por la minería, epoch_hash y el número aleatorio counter.
En cada epoch, todos los prover calculan el mismo EpochProgram, que se extrae de un conjunto de instrucciones a partir de un número aleatorio generado por el epoch_hash actual.
Usar nonce como semilla de número aleatorio para generar la entrada de EpochProgram.
Agregar el R1CS y el input correspondientes al EpochProgram, y realizar el cálculo del testigo.
Calcular la secuencia de nodos hoja del árbol Merkle después de todos los testigos.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, determinando si cumple con el latest_proof_target del epoch actual.
En el mismo epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram mediante iteraciones del counter.
Cambios e impactos en la minería
La nueva versión del puzzle ha pasado de generar pruebas a generar testigos. La lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero hay diferencias significativas en la lógica de cálculo entre diferentes épocas. Esta actualización ha abandonado los cálculos MSM y NTT anteriores, y dado que el proceso de generación de testigos implica ejecutar un programa que cambia con cada época, algunas de las instrucciones tienen dependencias que se ejecutan de manera secuencial, lo que representa un desafío considerable para la paralelización.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
11 me gusta
Recompensa
11
5
Compartir
Comentar
0/400
GasFeeCrybaby
· 07-25 14:40
¡Guau! ¿Qué intercambio se puede usar?
Ver originalesResponder0
OnchainDetectiveBing
· 07-25 14:40
Personalidad aguda, ha estado en la Cadena de bloques durante muchos años, le gusta comentar con un tono provocador de preguntas retóricas y dudas.
Ver originalesResponder0
ThreeHornBlasts
· 07-25 14:33
La privacidad finalmente comienza a calentarse.
Ver originalesResponder0
GateUser-2e89a06f
· 07-25 14:30
¡Maldita sea, el aire vuelve a lavarnos el cerebro con ppt!
Aleo blockchain de privacidad se actualiza nuevamente: la tecnología ZKP y el nuevo Mecanismo de consenso mejoran el rendimiento
Aleo: Pionero en 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 nivel más alto de privacidad y escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos mientras protegen su información personal.
Resumen del proyecto
privacidad
El núcleo de Aleo es la tecnología de pruebas de conocimiento cero (ZKPs), que garantiza que la ejecución de transacciones y contratos inteligentes se realice manteniendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, este diseño no solo protege la privacidad del usuario, sino que también permite la divulgación selectiva cuando es necesario, lo que lo hace muy adecuado para el desarrollo de aplicaciones DeFi.
Los componentes principales incluyen:
Leo lenguaje de compilación: adaptado a partir de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimiento criptográfico para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, verificando solo los resultados de los cálculos en la cadena, lo que mejora la eficiencia. snarkOS garantiza la seguridad de los datos y cálculos, y permite la ejecución de funciones sin permisos.
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 proporciona un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que apoyan a los desarrolladores en la rápida redacción y publicación de aplicaciones. Los desarrolladores pueden implementar aplicaciones en el registro de programas de Aleo sin depender de terceros, lo que reduce el riesgo en la plataforma.
escalabilidad
Aleo utiliza un método 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 método mejora significativamente la velocidad de procesamiento de las transacciones y la escalabilidad del sistema, evitando la congestión de la red y los altos costos.
mecanismo de consenso
Aleo ha introducido AleoBFT, un mecanismo de consenso de arquitectura híbrida que combina la finalización instantánea de los validadores con la capacidad de cálculo de los probadores. AleoBFT no solo mejora el grado de descentralización de la red, sino que también aumenta el rendimiento y la seguridad.
Finalidad rápida de bloque: AleoBFT asegura que cada bloque sea confirmado inmediatamente después de su generación, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía de descentralización: al separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, los demostradores realizan cálculos de prueba, evitando que unas pocas entidades monopolicen la red.
Mecanismo de incentivos: los validadores y los comprobadores comparten las recompensas de los bloques; se anima a los comprobadores a convertirse en validadores a través de la apuesta de tokens, aumentando así el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones que no están sujetas a restricciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren largos períodos de ejecución, como el aprendizaje automático.
Últimos avances
Aleo planea lanzar la red de prueba de incentivos el 1 de julio, a continuación se presentan algunas noticias importantes:
ARC-100 votación aprobada: La propuesta relacionada con la conformidad, el bloqueo de fondos en la red y las medidas de seguridad como el retraso en la llegada de fondos ha sido aprobada, el equipo está realizando ajustes finales.
Plan de incentivos para validadores: comienza el 1 de julio y tiene como objetivo validar el nuevo mecanismo de puzzle. El plan se ejecutará hasta el 15 de julio, durante el cual se asignarán 1 millón de puntos Aleo como recompensa.
Suministro inicial y suministro en circulación: la cantidad de suministro inicial es de 1.5 mil millones de tokens, y la cantidad de suministro en circulación inicial es de aproximadamente el 10%. Estos tokens provienen principalmente de tareas de Coinbase y se distribuirán en los primeros seis meses.
Restablecimiento de Testnet Beta: Este es el último restablecimiento de la red, después del cual no se agregarán nuevas funciones; la red será similar a la mainnet.
Congelación de código: se completó hace una semana.
Plan de expansión de nodos de validación: el número inicial de nodos de validación es de 15, con el objetivo de aumentar a 50 dentro del año y finalmente alcanzar 500.
Synthesis Puzzle: Análisis del nuevo algoritmo
El núcleo del algoritmo más reciente de Aleo se llama Synthesis Puzzle, y su núcleo es la generación fija de un EpochProgram común para cada epoch. Al construir un circuito de prueba R1CS para las entradas y el EpochProgram, se genera la correspondiente asignación R1CS (es decir, testigo) que se utiliza como nodo hoja del árbol de Merkle. Después de calcular todos los nodos hoja, se genera la raíz de Merkle y se convierte en el proof_target de la solución.
proceso del algoritmo
Cada cálculo de puzzle se llama nonce, y se construye a partir de la dirección que recibe la recompensa por la minería, epoch_hash y el número aleatorio counter.
En cada epoch, todos los prover calculan el mismo EpochProgram, que se extrae de un conjunto de instrucciones a partir de un número aleatorio generado por el epoch_hash actual.
Usar nonce como semilla de número aleatorio para generar la entrada de EpochProgram.
Agregar el R1CS y el input correspondientes al EpochProgram, y realizar el cálculo del testigo.
Calcular la secuencia de nodos hoja del árbol Merkle después de todos los testigos.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, determinando si cumple con el latest_proof_target del epoch actual.
En el mismo epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram mediante iteraciones del counter.
Cambios e impactos en la minería
La nueva versión del puzzle ha pasado de generar pruebas a generar testigos. La lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero hay diferencias significativas en la lógica de cálculo entre diferentes épocas. Esta actualización ha abandonado los cálculos MSM y NTT anteriores, y dado que el proceso de generación de testigos implica ejecutar un programa que cambia con cada época, algunas de las instrucciones tienen dependencias que se ejecutan de manera secuencial, lo que representa un desafío considerable para la paralelización.