Aleo: liderando una nueva era de computación privada en Web3
Aleo es un proyecto de blockchain enfocado en la protección de la privacidad, que utiliza tecnología de prueba de conocimiento cero (ZKP) para lograr una mayor privacidad y escalabilidad. Su idea central es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Resumen del Proyecto
El núcleo de Aleo son las pruebas de conocimiento cero (ZKPs), que permiten la ejecución de transacciones y contratos inteligentes 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:
Leo lenguaje de programación: adaptado de Rust, específicamente diseñado para el desarrollo de aplicaciones de conocimiento cero (ZKApps), lo que reduce los requisitos de conocimientos en criptografía para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, validando solo los resultados en la cadena, mejorando la eficiencia. snarkOS garantiza la seguridad de los datos y cálculos, y admite la ejecución de funciones sin permiso.
zkCloud: proporciona un entorno de computación fuera de la cadena seguro y privado, que admite interacciones de programación entre usuarios, organizaciones y DAO.
Aleo también ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que permite a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, lo que reduce el riesgo en la plataforma.
Escalabilidad
Aleo utiliza un enfoque de procesamiento off-chain, donde las transacciones se calculan primero en el dispositivo del usuario y luego solo se sube el resultado de la verificación a la blockchain. Este método mejora significativamente la velocidad de procesamiento de las transacciones y la escalabilidad del sistema, evitando problemas de congestión de la red y 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 y la capacidad de cálculo de los probadores. AleoBFT mejora el grado de descentralización de la red y refuerza el rendimiento y la seguridad.
Finalidad rápida de bloques: AleoBFT asegura que cada bloque generado sea confirmado inmediatamente, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía descentralizada: Al separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, mientras que los probadores realizan cálculos de prueba, evitando que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los comprobadores comparten las recompensas de los bloques; se fomenta que los comprobadores se conviertan en validadores mediante el staking 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 sin restricciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren un funcionamiento prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de prueba incentivada el 1 de julio, a continuación se presentan algunas información importante:
Aprobación de la votación de ARC-100: Se ha aprobado la propuesta que involucra medidas de seguridad relacionadas con el cumplimiento, el bloqueo de fondos en la red y el retraso en la contabilización, el equipo está realizando ajustes finales.
Programa de incentivos para validadores: Se asignarán 1 millón de puntos Aleo como recompensa entre el 1 y el 15 de julio. El porcentaje de puntos generados por el nodo determinará su parte de la recompensa, cada validador debe ganar al menos 100 tokens para recibir una recompensa.
Suministro de tokens: el suministro inicial es de 1.5 mil millones de tokens, y el suministro circulante inicial es de aproximadamente el 10%. Estos tokens provienen principalmente de la tarea de Coinbase (7500 millones ), que se distribuirán en los primeros seis meses, e incluirán recompensas por staking, operación de validadores y nodos de validación.
Restablecimiento de Testnet Beta: Este es el último restablecimiento de la red, después de completarse no se agregarán nuevas funciones, la red será similar a la de la mainnet.
Congelación de código: completada 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 alcanzar un total de 500. Para convertirse en delegado se requieren 10,000 tokens, y para convertirse en validador se necesitan 10 millones de tokens; estas cantidades se reducirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo puzzle más reciente de Aleo se llama Synthesis Puzzle, y sus principales características son las siguientes:
Cada epoch produce un EpochProgram común de forma fija.
Al construir el circuito de prueba R1CS para la entrada y EpochProgram, se genera la correspondiente asignación R1CS (, es decir, el testigo ).
Utilizar el testigo como un nodo hoja del árbol de Merkle, calcular la raíz de Merkle y convertirla en proof_target de la solución.
Cada cálculo de puzzle se llama nonce, construido a partir de la dirección que recibe la recompensa de minería, epoch_hash y el contador de número aleatorio.
EpochProgram genera un número aleatorio muestreado del conjunto de instrucciones a partir del hash de la época actual.
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Después de calcular el testigo, conviértalo en una secuencia de nodos hoja del árbol de Merkle, construyendo un árbol de Merkle K-ario de 8 vías con una profundidad de 8.
Calcular la raíz de Merkle y convertirla en proof_target, determinando si satisface el latest_proof_target del epoch actual.
Si se cumplen las condiciones, envía la solución y difúndela.
Esta actualización hace que puzzle pase de generar pruebas a generar testigos, la lógica de cálculo de soluciones dentro de cada época es consistente, pero las diferencias de lógica de cálculo entre épocas son bastante grandes. El nuevo algoritmo ha abandonado los cálculos MSM y NTT anteriores, y debido a la dependencia en serie en el proceso de generación de testigos, la implementación de la paralelización enfrenta grandes desafíos.
En general, Aleo ha reforzado aún más su posición de liderazgo en el campo de la computación privada Web3 a través de este algoritmo innovador, sentando una base sólida para el desarrollo futuro.
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.
15 me gusta
Recompensa
15
6
Republicar
Compartir
Comentar
0/400
LeekCutter
· 07-13 22:17
¿Qué más se puede decir sobre la privacidad? Todo son tonterías.
Ver originalesResponder0
CodeZeroBasis
· 07-13 15:41
Todo es Criptografía, me está mareando...
Ver originalesResponder0
LuoGeMade1MillionDo
· 07-11 01:59
El dark pool de la mainnet de aleo está llegando, una gran ola.
Ver originalesResponder0
MidnightMEVeater
· 07-11 00:41
Otra oleada de caza en piscina oscura ha llegado. La clave es si la computación privada puede mantener a los mineros.
Ver originalesResponder0
GateUser-e51e87c7
· 07-11 00:21
Yo digo que la privacidad es el futuro
Ver originalesResponder0
MercilessHalal
· 07-11 00:20
He estado en la privacidad durante diez años sin Aleo.
Aleo lidera la revolución de la computación privada Web3 lanzando el Testnet de incentivos.
Aleo: liderando una nueva era de computación privada en Web3
Aleo es un proyecto de blockchain enfocado en la protección de la privacidad, que utiliza tecnología de prueba de conocimiento cero (ZKP) para lograr una mayor privacidad y escalabilidad. Su idea central es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Resumen del Proyecto
El núcleo de Aleo son las pruebas de conocimiento cero (ZKPs), que permiten la ejecución de transacciones y contratos inteligentes 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:
Leo lenguaje de programación: adaptado de Rust, específicamente diseñado para el desarrollo de aplicaciones de conocimiento cero (ZKApps), lo que reduce los requisitos de conocimientos en criptografía para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, validando solo los resultados en la cadena, mejorando la eficiencia. snarkOS garantiza la seguridad de los datos y cálculos, y admite la ejecución de funciones sin permiso.
zkCloud: proporciona un entorno de computación fuera de la cadena seguro y privado, que admite interacciones de programación entre usuarios, organizaciones y DAO.
Aleo también ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que permite a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, lo que reduce el riesgo en la plataforma.
Escalabilidad
Aleo utiliza un enfoque de procesamiento off-chain, donde las transacciones se calculan primero en el dispositivo del usuario y luego solo se sube el resultado de la verificación a la blockchain. Este método mejora significativamente la velocidad de procesamiento de las transacciones y la escalabilidad del sistema, evitando problemas de congestión de la red y 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 y la capacidad de cálculo de los probadores. AleoBFT mejora el grado de descentralización de la red y refuerza el rendimiento y la seguridad.
Finalidad rápida de bloques: AleoBFT asegura que cada bloque generado sea confirmado inmediatamente, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía descentralizada: Al separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, mientras que los probadores realizan cálculos de prueba, evitando que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los comprobadores comparten las recompensas de los bloques; se fomenta que los comprobadores se conviertan en validadores mediante el staking 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 sin restricciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren un funcionamiento prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de prueba incentivada el 1 de julio, a continuación se presentan algunas información importante:
Aprobación de la votación de ARC-100: Se ha aprobado la propuesta que involucra medidas de seguridad relacionadas con el cumplimiento, el bloqueo de fondos en la red y el retraso en la contabilización, el equipo está realizando ajustes finales.
Programa de incentivos para validadores: Se asignarán 1 millón de puntos Aleo como recompensa entre el 1 y el 15 de julio. El porcentaje de puntos generados por el nodo determinará su parte de la recompensa, cada validador debe ganar al menos 100 tokens para recibir una recompensa.
Suministro de tokens: el suministro inicial es de 1.5 mil millones de tokens, y el suministro circulante inicial es de aproximadamente el 10%. Estos tokens provienen principalmente de la tarea de Coinbase (7500 millones ), que se distribuirán en los primeros seis meses, e incluirán recompensas por staking, operación de validadores y nodos de validación.
Restablecimiento de Testnet Beta: Este es el último restablecimiento de la red, después de completarse no se agregarán nuevas funciones, la red será similar a la de la mainnet.
Congelación de código: completada 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 alcanzar un total de 500. Para convertirse en delegado se requieren 10,000 tokens, y para convertirse en validador se necesitan 10 millones de tokens; estas cantidades se reducirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo puzzle más reciente de Aleo se llama Synthesis Puzzle, y sus principales características son las siguientes:
Cada epoch produce un EpochProgram común de forma fija.
Al construir el circuito de prueba R1CS para la entrada y EpochProgram, se genera la correspondiente asignación R1CS (, es decir, el testigo ).
Utilizar el testigo como un nodo hoja del árbol de Merkle, calcular la raíz de Merkle y convertirla en proof_target de la solución.
Cada cálculo de puzzle se llama nonce, construido a partir de la dirección que recibe la recompensa de minería, epoch_hash y el contador de número aleatorio.
EpochProgram genera un número aleatorio muestreado del conjunto de instrucciones a partir del hash de la época actual.
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Después de calcular el testigo, conviértalo en una secuencia de nodos hoja del árbol de Merkle, construyendo un árbol de Merkle K-ario de 8 vías con una profundidad de 8.
Calcular la raíz de Merkle y convertirla en proof_target, determinando si satisface el latest_proof_target del epoch actual.
Si se cumplen las condiciones, envía la solución y difúndela.
Esta actualización hace que puzzle pase de generar pruebas a generar testigos, la lógica de cálculo de soluciones dentro de cada época es consistente, pero las diferencias de lógica de cálculo entre épocas son bastante grandes. El nuevo algoritmo ha abandonado los cálculos MSM y NTT anteriores, y debido a la dependencia en serie en el proceso de generación de testigos, la implementación de la paralelización enfrenta grandes desafíos.
En general, Aleo ha reforzado aún más su posición de liderazgo en el campo de la computación privada Web3 a través de este algoritmo innovador, sentando una base sólida para el desarrollo futuro.