Actualización importante de la cadena de bloques de privacidad Aleo: Análisis del algoritmo Synthesis Puzzle y lanzamiento de la testnet de incentivos.
Aleo: Un nuevo avance en la cadena de bloques de protección de la privacidad
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, que a través de la tecnología de pruebas de cero conocimiento (ZKP) ha logrado un mayor nivel de privacidad y escalabilidad. La idea central de este proyecto es permitir a los usuarios autenticar su identidad y procesar datos mientras protegen su información personal.
Resumen del proyecto
privacidad
El núcleo de Aleo son las pruebas de conocimiento cero (ZKPs), que permiten 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 la cantidad, 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:
Lenguaje compilado Leo: adaptado de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero ( ZKApps ), reduce los requisitos de conocimiento 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, lo que mejora la eficiencia. snarkOS asegura la seguridad de los datos y cálculos, y soporta 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), apoyando a los desarrolladores en la rápida creación y publicación de aplicaciones. Los desarrolladores pueden desplegar aplicaciones en el registro de programas de Aleo sin depender de terceros, reduciendo así 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 problemas de congestión de red y altos costos similares a los de Ethereum.
mecanismo de consenso
Aleo ha introducido AleoBFT, que es un mecanismo de consenso de arquitectura híbrida, combinando la finalización instantánea de los validadores y 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 generado sea confirmado de inmediato, 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, 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 las recompensas de bloque; se alienta a los demostradores a convertirse en validadores a través de 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 especialmente adecuado para aplicaciones que requieren un largo tiempo de ejecución, como el aprendizaje automático.
Últimos avances
Aleo planea lanzar la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas novedades importantes:
Propuesta ARC-100 aprobada: Esta propuesta se refiere a aspectos de cumplimiento, bloqueo de fondos en la red y medidas de seguridad como retrasos en la llegada de fondos, el equipo está realizando ajustes finales.
Plan de incentivos para validadores: comenzará el 1 de julio, con el objetivo de 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 de tokens: el suministro inicial es de 1.5 mil millones de tokens, el suministro inicial en circulación es de aproximadamente el 10%( por determinar). Estos tokens provienen principalmente de la tarea de Coinbase(7500 mil), que se distribuirán en los primeros seis meses, incluyendo recompensas por participación, operación de validadores y nodos de validación.
Reinicio de la Beta de Testnet: Este es el último reinicio de la red, después de completar esto no se agregarán nuevas funciones, la red será similar a la red principal.
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 de un año y, finalmente, alcanzar los 500. Se requieren 10,000 tokens para convertirse en delegado, y 10 millones de tokens para convertirse en validador; estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente el algoritmo puzzle. El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, sino que se enfoca en generar los datos intermedios witness antes de la prueba. A continuación se presenta una breve introducción al nuevo algoritmo:
Proceso de consenso
Prover calcula el puzzle, construye soluciones y las transmite a la red.
La agregación de transacciones de Validator y la solución para el nuevo Bloquear, asegurando que la cantidad de soluciones no exceda el límite de consenso.
La legitimidad de la solución debe verificar si epoch_hash y proof_target cumplen con los requisitos de la red, así como si la cantidad de soluciones en el bloque está dentro del límite.
Una solución efectiva puede obtener recompensas de consenso.
Mecanismo central del Synthesis Puzzle
Cada epoch genera un EpochProgram fijo, que es utilizado por todos los prover.
Cada cálculo de puzzle se llama nonce, y está compuesto por la dirección que recibe la recompensa de minería, epoch_hash y el número aleatorio counter.
EpochProgram genera un número aleatorio a partir del epoch_hash actual muestreando del conjunto de instrucciones.
Utilizar nonce como semilla aleatoria para generar la entrada del EpochProgram.
Agregar el R1CS y la entrada correspondientes al EpochProgram, realizar el cálculo de testigos.
Calcular todos los testigos y convertirlos en una secuencia de nodos hoja del árbol de Merkle.
Calcular la raíz merkle y convertirla en proof_target de la solución, y determinar si cumple con los requisitos de la epoch actual.
Si se cumplen los requisitos, envíe la solución y transmítala.
Esta actualización transforma el puzzle de generar proof a generar witness, la lógica de cálculo de la solution dentro de cada epoch es consistente, pero hay grandes diferencias entre diferentes epochs. El nuevo algoritmo abandona la optimización de GPU anterior para el cálculo de MSM y NTT, y además, debido a la relación de dependencia en la ejecución en serie durante el proceso de generación de witness, enfrentar la paralelización representa un gran desafío.
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.
10 me gusta
Recompensa
10
7
Compartir
Comentar
0/400
Cfrs2020
· hace18h
#ALEO# ¿No ven los anuncios en absoluto? El tiempo de confirmación del bloque arc6 se reduce en un 90% en agosto, el ARC5 entra en vigencia el 9 de septiembre, y los Blanqueo de capitales disminuyen en un 90%. Se está preparando el camino para el ecosistema.
Ver originalesResponder0
0xTherapist
· hace19h
La privacidad es libertad
Ver originalesResponder0
tokenomics_truther
· hace19h
La privacidad es productividad.
Ver originalesResponder0
LuoGeMade1MillionDo
· hace19h
cadena pública líder de privacidad aleo
Ver originalesResponder0
SchroedingerAirdrop
· hace19h
La infraestructura de privacidad necesita que alguien la gestione.
Actualización importante de la cadena de bloques de privacidad Aleo: Análisis del algoritmo Synthesis Puzzle y lanzamiento de la testnet de incentivos.
Aleo: Un nuevo avance en la cadena de bloques de protección de la privacidad
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, que a través de la tecnología de pruebas de cero conocimiento (ZKP) ha logrado un mayor nivel de privacidad y escalabilidad. La idea central de este proyecto es permitir a los usuarios autenticar su identidad y procesar datos mientras protegen su información personal.
Resumen del proyecto
privacidad
El núcleo de Aleo son las pruebas de conocimiento cero (ZKPs), que permiten 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 la cantidad, 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:
Lenguaje compilado Leo: adaptado de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero ( ZKApps ), reduce los requisitos de conocimiento 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, lo que mejora la eficiencia. snarkOS asegura la seguridad de los datos y cálculos, y soporta 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), apoyando a los desarrolladores en la rápida creación y publicación de aplicaciones. Los desarrolladores pueden desplegar aplicaciones en el registro de programas de Aleo sin depender de terceros, reduciendo así 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 problemas de congestión de red y altos costos similares a los de Ethereum.
mecanismo de consenso
Aleo ha introducido AleoBFT, que es un mecanismo de consenso de arquitectura híbrida, combinando la finalización instantánea de los validadores y 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 generado sea confirmado de inmediato, 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, 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 las recompensas de bloque; se alienta a los demostradores a convertirse en validadores a través de 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 especialmente adecuado para aplicaciones que requieren un largo tiempo de ejecución, como el aprendizaje automático.
Últimos avances
Aleo planea lanzar la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas novedades importantes:
Propuesta ARC-100 aprobada: Esta propuesta se refiere a aspectos de cumplimiento, bloqueo de fondos en la red y medidas de seguridad como retrasos en la llegada de fondos, el equipo está realizando ajustes finales.
Plan de incentivos para validadores: comenzará el 1 de julio, con el objetivo de 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 de tokens: el suministro inicial es de 1.5 mil millones de tokens, el suministro inicial en circulación es de aproximadamente el 10%( por determinar). Estos tokens provienen principalmente de la tarea de Coinbase(7500 mil), que se distribuirán en los primeros seis meses, incluyendo recompensas por participación, operación de validadores y nodos de validación.
Reinicio de la Beta de Testnet: Este es el último reinicio de la red, después de completar esto no se agregarán nuevas funciones, la red será similar a la red principal.
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 de un año y, finalmente, alcanzar los 500. Se requieren 10,000 tokens para convertirse en delegado, y 10 millones de tokens para convertirse en validador; estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente el algoritmo puzzle. El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, sino que se enfoca en generar los datos intermedios witness antes de la prueba. A continuación se presenta una breve introducción al nuevo algoritmo:
Proceso de consenso
Prover calcula el puzzle, construye soluciones y las transmite a la red.
La agregación de transacciones de Validator y la solución para el nuevo Bloquear, asegurando que la cantidad de soluciones no exceda el límite de consenso.
La legitimidad de la solución debe verificar si epoch_hash y proof_target cumplen con los requisitos de la red, así como si la cantidad de soluciones en el bloque está dentro del límite.
Una solución efectiva puede obtener recompensas de consenso.
Mecanismo central del Synthesis Puzzle
Cada epoch genera un EpochProgram fijo, que es utilizado por todos los prover.
Cada cálculo de puzzle se llama nonce, y está compuesto por la dirección que recibe la recompensa de minería, epoch_hash y el número aleatorio counter.
EpochProgram genera un número aleatorio a partir del epoch_hash actual muestreando del conjunto de instrucciones.
Utilizar nonce como semilla aleatoria para generar la entrada del EpochProgram.
Agregar el R1CS y la entrada correspondientes al EpochProgram, realizar el cálculo de testigos.
Calcular todos los testigos y convertirlos en una secuencia de nodos hoja del árbol de Merkle.
Calcular la raíz merkle y convertirla en proof_target de la solución, y determinar si cumple con los requisitos de la epoch actual.
Si se cumplen los requisitos, envíe la solución y transmítala.
Esta actualización transforma el puzzle de generar proof a generar witness, la lógica de cálculo de la solution dentro de cada epoch es consistente, pero hay grandes diferencias entre diferentes epochs. El nuevo algoritmo abandona la optimización de GPU anterior para el cálculo de MSM y NTT, y además, debido a la relación de dependencia en la ejecución en serie durante el proceso de generación de witness, enfrentar la paralelización representa un gran desafío.