Proyecto de Cadena de bloques Aleo: lograr la protección de la privacidad y la escalabilidad a través de zk-SNARKs
Aleo es un proyecto de cadena de bloques que se centra en la protección de la privacidad, utilizando la tecnología zk-SNARKs (ZKP) para mejorar la privacidad y la escalabilidad. La filosofía central de Aleo es permitir a los usuarios autenticar su identidad y procesar datos sin revelar información personal.
Este artículo presenta una descripción general del proyecto Aleo y sus últimos avances, y analiza en detalle la actualización del algoritmo puzzle, que ha generado un gran interés en el mercado.
Introducción a los últimos algoritmos
La red Aleo genera aleatoriamente un circuito ZK cada hora. Los mineros necesitan intentar diferentes nonce como entradas del circuito dentro de esa hora, calcular el witness(, es decir, todas las variables en el circuito, este proceso también se conoce como synthesize), calcular la raíz de Merkle del witness y luego determinar si cumple con los requisitos de dificultad de minería. Debido a la aleatoriedad del circuito, este algoritmo de minería no es amigable para las GPU, lo que presenta un gran desafío en términos de aceleración de cálculos.
Situación de financiamiento
Aleo completó en 2021 una ronda de financiación Serie A de 28 millones de dólares liderada por a16z, y en 2024 completó una ronda de financiación Serie B de 200 millones de dólares. Los inversores de la ronda B incluyen a Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures y Samsung Next, entre otros. Esta ronda de financiación llevó la valoración de Aleo a 1.450 millones de dólares.
Resumen del proyecto
privacidad
El núcleo de Aleo son los zk-SNARKs ( ZKPs ) tecnología, que permite que las transacciones y la ejecución de contratos inteligentes se realicen bajo la premisa de proteger la privacidad. Los detalles de las transacciones de los usuarios, como el remitente y el monto de la transacción, 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 es muy adecuado para el desarrollo de aplicaciones DeFi. Los componentes principales incluyen:
Leo lenguaje de programación: adaptado del lenguaje Rust, diseñado específicamente para desarrollar aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimientos criptográficos 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 ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que permiten a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden implementar aplicaciones en el registro de programas de Aleo sin 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 similares de congestión de red y altos costos en Ethereum.
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 demostradores. 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 los bloques: 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 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 monopolizen la red.
Mecanismo de incentivos: los validadores y los demostradores comparten la recompensa de bloques; se anima a los demostradores a convertirse en validadores mediante la apuesta de tokens, lo que mejora 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 particularmente adecuado para aplicaciones que requieren un tiempo de ejecución prolongado, como el aprendizaje automático.
Progreso actual
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas de las últimas informaciones importantes:
Voto aprobado para ARC-100: La propuesta "Mejores prácticas de cumplimiento para desarrolladores y operadores de Aleo" (ARC-100(), que aborda aspectos de cumplimiento, bloqueo de fondos en la red Aleo y medidas de seguridad como el retraso en el abono, ha finalizado y ha sido aprobada. El equipo está realizando los ajustes finales.
Plan de incentivos para validadores: Este plan se lanzará 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. El porcentaje de puntos generados por los nodos determinará su parte de la recompensa, y cada validador debe ganar al menos 100 tokens para recibir la recompensa. Los detalles específicos aún no se han finalizado.
Suministro inicial y suministro circulante: el suministro inicial es de 1.5 mil millones de tokens, el suministro circulante inicial es de aproximadamente el 10%) no está finalizado(. Estos tokens provienen principalmente de la tarea de Coinbase)7500 mil(, 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 del cual no se agregarán nuevas funciones, la red será similar a la mainnet. El restablecimiento es para agregar ARC-41 y la nueva función de rompecabezas.
Congelación de código: la congelación de código se completó hace una semana.
Plan de expansión de nodos de verificación: la cantidad inicial de nodos de verificación es de 15, con el objetivo de aumentar a 50 dentro del año y, finalmente, alcanzar 500. Para convertirse en un delegado se requieren 10,000 tokens, y para convertirse en un verificador se necesitan 10 millones de tokens; estas cantidades disminuirán gradualmente con el tiempo.
Interpretación de la actualización del algoritmo
Aleo recientemente anunció noticias de su última red de pruebas y actualizó la versión más reciente del algoritmo puzzle. El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, eliminando MSM y NTT), que son módulos de cálculo ampliamente utilizados en la generación de pruebas en zk. Los participantes de la red de pruebas anterior se centraron en optimizar la eficiencia de este algoritmo para aumentar los beneficios de minería (, enfatizando la generación de datos intermedios witness antes de la producción de pruebas. A continuación, se presenta una breve introducción al último algoritmo.
) proceso de consenso
En términos del protocolo de consenso, en su proceso, el prover y el validator son responsables de generar el resultado de cálculo solution y de crear bloques y agregar el solution. El proceso es el siguiente:
Prover calcula el puzzle, construye soluciones y las difunde en la red.
La agregación de transacciones y soluciones del validador para el siguiente bloque nuevo, asegurando que la cantidad de soluciones no supere el límite de consenso ###MAX_SOLUTIONS(
La validez de la solución necesita verificar que su epoch_hash coincide con el latest_epoch_hash mantenido por el validador, que el proof_target calculado coincide con el latest_proof_target mantenido por el validador en la red, y que la cantidad de soluciones incluidas en ese bloque sea menor que el límite de consenso.
Una solución efectiva puede obtener recompensas de consenso
) Rompecabezas de síntesis
El núcleo del algoritmo más reciente se llama Synthesis Puzzle, y su esencia es generar un EpochProgram común fijo para cada epoch. Al construir un circuito de prueba R1CS para la entrada y el EpochProgram, se genera la correspondiente asignación R1CS ###, es decir, el testigo ( del que todos hablan, que se utiliza como nodo hoja en el á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. El proceso detallado y las especificaciones para construir el Synthesis Puzzle son las siguientes:
Cada cálculo de puzzle se llama nonce, que se construye a partir de la dirección que recibe la recompensa de minería, el epoch_hash y un número aleatorio counter. Cada vez que se necesita calcular una nueva solución, se puede obtener un nuevo nonce actualizando el counter.
En cada epoch, el EpochProgram que todos los provers en la red necesitan calcular es el mismo, se extrae de un conjunto de instrucciones mediante un número aleatorio generado por el epoch_hash actual, la lógica de muestreo es:
El conjunto de instrucciones es fijo, cada instrucción )instruction( contiene una o más operaciones computacionales, cada instrucción tiene un peso y un conteo de operaciones preestablecidos.
Al muestrear, se genera un número aleatorio basado en el epoch_hash actual, y se obtiene una instrucción del conjunto de instrucciones combinando el peso y ordenándola, acumulando el conteo de operaciones hasta que se detenga el muestreo después de 97.
Componer todas las instrucciones en EpochProgram
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram
Agregar R1CS e input correspondientes al EpochProgram, realizar el cálculo de asignación de witness)R1CS(.
Al calcular todos los testigos, estos testigos se convertirán en la secuencia de nodos hoja del árbol de Merkle correspondiente, el árbol de Merkle es un árbol K-ario de 8 vías con una profundidad de 8.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, determinar si satisface el latest_proof_target del epoch actual; si es así, el cálculo es exitoso, enviar la dirección de recompensa, epoch_hash y counter necesarios para construir la entrada como solución y transmitir.
En el mismo epoch, se puede actualizar la entrada de EpochProgram mediante la iteración del counter para realizar múltiples cálculos de solución.
![Interpretación del último algoritmo de Aleo Synthesis Puzzle: liderando la revolución de la privacidad en Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(
Los cambios y efectos de la minería
Después de esta actualización, puzzle ha pasado de generar proof a generar witness, la lógica de cálculo de todas las soluciones dentro de cada epoch es consistente, pero hay una gran diferencia en la lógica de cálculo entre diferentes epochs.
A partir de la red de prueba anterior, podemos observar que muchos métodos de optimización se centran en utilizar GPU para optimizar el cálculo de MSM y NTT en la fase de generación de proof, con el fin de mejorar la eficiencia de la minería; esta actualización abandona por completo este tipo de cálculo. Al mismo tiempo, dado que el proceso de generación de witness ocurre al ejecutar un programa que cambia con cada epoch, las instrucciones tendrán algunas dependencias de ejecución en serie, por lo que implementar la paralelización presenta un desafío considerable.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
9 me gusta
Recompensa
9
11
Compartir
Comentar
0/400
GateUser-3ae5cfe8
· hace21h
¡Agárrate bien, que vamos a despegar To the moon!
Ver originalesResponder0
LuoGeMade1MillionDo
· hace22h
Increíble, la primavera de zk塞道 está por llegar.
Ver originalesResponder0
ZeJun888
· hace22h
hacer grandes promesas y ser increíble está en primer lugar
Ver originalesResponder0
GateUser-b199200a
· hace22h
¿Entonces mi Rig de Minera todavía puede minar?
Ver originalesResponder0
StakeTillRetire
· hace23h
No puedo minar más, simplemente lubrica.
Ver originalesResponder0
Rekt_Recovery
· hace23h
me destrozaron en la minería de aleo... pero sigo alcista af ngl
Ver originalesResponder0
SandwichDetector
· hace23h
No me banneen todos los algoritmos que no se pueden ajustar.
Ver originalesResponder0
RugPullProphet
· hace23h
El nuevo algoritmo de minería es un poco complicado, ¿quién lo entiende?
Ver originalesResponder0
GweiObserver
· hace23h
Ah, esto de zk huele muy bien.
Ver originalesResponder0
DYORMaster
· hace23h
Compra temprano, gana temprano. El mercado de la pista de privacidad comenzará pronto.
Aleo actualiza el algoritmo de Minería, se centra en la generación de testigos para mejorar la privacidad y la escalabilidad.
Proyecto de Cadena de bloques Aleo: lograr la protección de la privacidad y la escalabilidad a través de zk-SNARKs
Aleo es un proyecto de cadena de bloques que se centra en la protección de la privacidad, utilizando la tecnología zk-SNARKs (ZKP) para mejorar la privacidad y la escalabilidad. La filosofía central de Aleo es permitir a los usuarios autenticar su identidad y procesar datos sin revelar información personal.
Este artículo presenta una descripción general del proyecto Aleo y sus últimos avances, y analiza en detalle la actualización del algoritmo puzzle, que ha generado un gran interés en el mercado.
Introducción a los últimos algoritmos
La red Aleo genera aleatoriamente un circuito ZK cada hora. Los mineros necesitan intentar diferentes nonce como entradas del circuito dentro de esa hora, calcular el witness(, es decir, todas las variables en el circuito, este proceso también se conoce como synthesize), calcular la raíz de Merkle del witness y luego determinar si cumple con los requisitos de dificultad de minería. Debido a la aleatoriedad del circuito, este algoritmo de minería no es amigable para las GPU, lo que presenta un gran desafío en términos de aceleración de cálculos.
Situación de financiamiento
Aleo completó en 2021 una ronda de financiación Serie A de 28 millones de dólares liderada por a16z, y en 2024 completó una ronda de financiación Serie B de 200 millones de dólares. Los inversores de la ronda B incluyen a Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures y Samsung Next, entre otros. Esta ronda de financiación llevó la valoración de Aleo a 1.450 millones de dólares.
Resumen del proyecto
privacidad
El núcleo de Aleo son los zk-SNARKs ( ZKPs ) tecnología, que permite que las transacciones y la ejecución de contratos inteligentes se realicen bajo la premisa de proteger la privacidad. Los detalles de las transacciones de los usuarios, como el remitente y el monto de la transacción, 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 es muy adecuado para el desarrollo de aplicaciones DeFi. Los componentes principales incluyen:
Leo lenguaje de programación: adaptado del lenguaje Rust, diseñado específicamente para desarrollar aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimientos criptográficos 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 ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), que permiten a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden implementar aplicaciones en el registro de programas de Aleo sin 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 similares de congestión de red y altos costos en Ethereum.
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 demostradores. 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 los bloques: 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 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 monopolizen la red.
Mecanismo de incentivos: los validadores y los demostradores comparten la recompensa de bloques; se anima a los demostradores a convertirse en validadores mediante la apuesta de tokens, lo que mejora 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 particularmente adecuado para aplicaciones que requieren un tiempo de ejecución prolongado, como el aprendizaje automático.
Progreso actual
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas de las últimas informaciones importantes:
Voto aprobado para ARC-100: La propuesta "Mejores prácticas de cumplimiento para desarrolladores y operadores de Aleo" (ARC-100(), que aborda aspectos de cumplimiento, bloqueo de fondos en la red Aleo y medidas de seguridad como el retraso en el abono, ha finalizado y ha sido aprobada. El equipo está realizando los ajustes finales.
Plan de incentivos para validadores: Este plan se lanzará 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. El porcentaje de puntos generados por los nodos determinará su parte de la recompensa, y cada validador debe ganar al menos 100 tokens para recibir la recompensa. Los detalles específicos aún no se han finalizado.
Suministro inicial y suministro circulante: el suministro inicial es de 1.5 mil millones de tokens, el suministro circulante inicial es de aproximadamente el 10%) no está finalizado(. Estos tokens provienen principalmente de la tarea de Coinbase)7500 mil(, 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 del cual no se agregarán nuevas funciones, la red será similar a la mainnet. El restablecimiento es para agregar ARC-41 y la nueva función de rompecabezas.
Congelación de código: la congelación de código se completó hace una semana.
Plan de expansión de nodos de verificación: la cantidad inicial de nodos de verificación es de 15, con el objetivo de aumentar a 50 dentro del año y, finalmente, alcanzar 500. Para convertirse en un delegado se requieren 10,000 tokens, y para convertirse en un verificador se necesitan 10 millones de tokens; estas cantidades disminuirán gradualmente con el tiempo.
Interpretación de la actualización del algoritmo
Aleo recientemente anunció noticias de su última red de pruebas y actualizó la versión más reciente del algoritmo puzzle. El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, eliminando MSM y NTT), que son módulos de cálculo ampliamente utilizados en la generación de pruebas en zk. Los participantes de la red de pruebas anterior se centraron en optimizar la eficiencia de este algoritmo para aumentar los beneficios de minería (, enfatizando la generación de datos intermedios witness antes de la producción de pruebas. A continuación, se presenta una breve introducción al último algoritmo.
) proceso de consenso
En términos del protocolo de consenso, en su proceso, el prover y el validator son responsables de generar el resultado de cálculo solution y de crear bloques y agregar el solution. El proceso es el siguiente:
Prover calcula el puzzle, construye soluciones y las difunde en la red.
La agregación de transacciones y soluciones del validador para el siguiente bloque nuevo, asegurando que la cantidad de soluciones no supere el límite de consenso ###MAX_SOLUTIONS(
La validez de la solución necesita verificar que su epoch_hash coincide con el latest_epoch_hash mantenido por el validador, que el proof_target calculado coincide con el latest_proof_target mantenido por el validador en la red, y que la cantidad de soluciones incluidas en ese bloque sea menor que el límite de consenso.
Una solución efectiva puede obtener recompensas de consenso
) Rompecabezas de síntesis
El núcleo del algoritmo más reciente se llama Synthesis Puzzle, y su esencia es generar un EpochProgram común fijo para cada epoch. Al construir un circuito de prueba R1CS para la entrada y el EpochProgram, se genera la correspondiente asignación R1CS ###, es decir, el testigo ( del que todos hablan, que se utiliza como nodo hoja en el á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. El proceso detallado y las especificaciones para construir el Synthesis Puzzle son las siguientes:
Cada cálculo de puzzle se llama nonce, que se construye a partir de la dirección que recibe la recompensa de minería, el epoch_hash y un número aleatorio counter. Cada vez que se necesita calcular una nueva solución, se puede obtener un nuevo nonce actualizando el counter.
En cada epoch, el EpochProgram que todos los provers en la red necesitan calcular es el mismo, se extrae de un conjunto de instrucciones mediante un número aleatorio generado por el epoch_hash actual, la lógica de muestreo es:
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram
Agregar R1CS e input correspondientes al EpochProgram, realizar el cálculo de asignación de witness)R1CS(.
Al calcular todos los testigos, estos testigos se convertirán en la secuencia de nodos hoja del árbol de Merkle correspondiente, el árbol de Merkle es un árbol K-ario de 8 vías con una profundidad de 8.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, determinar si satisface el latest_proof_target del epoch actual; si es así, el cálculo es exitoso, enviar la dirección de recompensa, epoch_hash y counter necesarios para construir la entrada como solución y transmitir.
En el mismo epoch, se puede actualizar la entrada de EpochProgram mediante la iteración del counter para realizar múltiples cálculos de solución.
![Interpretación del último algoritmo de Aleo Synthesis Puzzle: liderando la revolución de la privacidad en Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(
Los cambios y efectos de la minería
Después de esta actualización, puzzle ha pasado de generar proof a generar witness, la lógica de cálculo de todas las soluciones dentro de cada epoch es consistente, pero hay una gran diferencia en la lógica de cálculo entre diferentes epochs.
A partir de la red de prueba anterior, podemos observar que muchos métodos de optimización se centran en utilizar GPU para optimizar el cálculo de MSM y NTT en la fase de generación de proof, con el fin de mejorar la eficiencia de la minería; esta actualización abandona por completo este tipo de cálculo. Al mismo tiempo, dado que el proceso de generación de witness ocurre al ejecutar un programa que cambia con cada epoch, las instrucciones tendrán algunas dependencias de ejecución en serie, por lo que implementar la paralelización presenta un desafío considerable.