Aleo: Pionero en protección de la privacidad y escalabilidad
Aleo es un proyecto de blockchain enfocado en la protección de la privacidad, que utiliza la tecnología de pruebas de conocimiento cero (ZKP) para lograr una mayor privacidad y escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin revelar información personal.
Descripción del proyecto
privacidad
El núcleo de Aleo es la tecnología de pruebas de conocimiento cero (ZKPs), que permite que las transacciones y la ejecución de contratos inteligentes se realicen manteniendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, mientras que 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 del lenguaje Rust, diseñado específicamente para desarrollar aplicaciones de conocimiento cero (ZKApps), lo que reduce 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 asegura la seguridad de los datos y los cálculos, y permite la ejecución de funciones sin permisos.
zkCloud: Proporciona un entorno de computación fuera de la cadena seguro y privado, que admite la interacción programática 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 desplegar aplicaciones en el registro de programas de Aleo sin depender de terceros, 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 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 mejora 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, mientras que los probadores realizan el cálculo de pruebas, evitando que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los testigos comparten las recompensas de bloque; se alienta a los testigos a convertirse en validadores a través de la participación 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 limitaciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren largas ejecuciones, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas novedades importantes:
Voto aprobado para ARC-100: La propuesta relacionada con el cumplimiento, el bloqueo de fondos en la red y medidas de seguridad como retrasos en los depósitos ha sido aprobada, y el equipo está realizando los ajustes finales.
Plan de incentivos para validadores: del 1 al 15 de julio, se distribuirán 1 millón de puntos Aleo como recompensa. El porcentaje de puntos generados por el nodo determinará su parte de la recompensa, y cada validador debe ganar al menos 100 tokens para recibir recompensas.
Suministro de tokens: La oferta inicial es de 1.5 mil millones de tokens, con un suministro circulante inicial de aproximadamente el 10%. Estos tokens provienen principalmente de tareas de Coinbase (75 millones), que se distribuirán en los primeros seis meses, e incluyen recompensas por staking, operar 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 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 del año y finalmente alcanzar los 500. Se requieren 10,000 tokens para convertirse en delegador y 10 millones de tokens para convertirse en validador, y estas cantidades se reducirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo más reciente de Aleo se llama Synthesis Puzzle, y su esencia es generar un EpochProgram común fijo para cada epoch. Esto se logra construyendo un circuito de prueba R1CS para la entrada y el EpochProgram, generando 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.
El proceso detallado para construir el Synthesis Puzzle es el siguiente:
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úmeros aleatorios.
En cada epoch, el EpochProgram calculado por todos los provers es el mismo, y se extrae una muestra del conjunto de instrucciones utilizando el número aleatorio generado por el epoch_hash actual.
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar el R1CS y el input correspondientes al EpochProgram, y realizar el cálculo de testigos.
Calcula todos los testigos y conviértelos en una secuencia de nodos hoja del árbol de Merkle.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, para determinar si satisface el latest_proof_target del epoch actual.
En una misma epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada del EpochProgram a través del contador de iteraciones.
Esta actualización cambiará el puzzle de generar prueba a generar testigo. La lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero la lógica de cálculo entre diferentes épocas presenta diferencias significativas. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, y dado que hay relaciones de dependencia en la ejecución en serie durante el proceso de generación de testigos, implementar la paralelización presenta ciertos desafíos.
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
5
Compartir
Comentar
0/400
LuoGeMade1MillionDo
· hace6h
aleo es el líder de la zona de conocimiento cero, con un gran potencial futuro.
Ver originalesResponder0
GateUser-330c4008
· hace6h
Esta moneda se basa en la publicidad de su supuesta privacidad zk-SNARKs, pero en realidad Ethereum usará zk-SNARKs pronto.
Ver originalesResponder0
GasFeeWhisperer
· hace8h
Gran avance en la tecnología de privacidad.
Ver originalesResponder0
LiquidityWitch
· hace8h
Se espera que las cadenas de bloques de privacidad tengan un buen desempeño el próximo año.
La cadena de bloques de privacidad Aleo lanzará pronto la testnet de incentivos, la tecnología zk-SNARKs lidera una nueva era.
Aleo: Pionero en protección de la privacidad y escalabilidad
Aleo es un proyecto de blockchain enfocado en la protección de la privacidad, que utiliza la tecnología de pruebas de conocimiento cero (ZKP) para lograr una mayor privacidad y escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin revelar información personal.
Descripción del proyecto
privacidad
El núcleo de Aleo es la tecnología de pruebas de conocimiento cero (ZKPs), que permite que las transacciones y la ejecución de contratos inteligentes se realicen manteniendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, mientras que 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 del lenguaje Rust, diseñado específicamente para desarrollar aplicaciones de conocimiento cero (ZKApps), lo que reduce 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 asegura la seguridad de los datos y los cálculos, y permite la ejecución de funciones sin permisos.
zkCloud: Proporciona un entorno de computación fuera de la cadena seguro y privado, que admite la interacción programática 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 desplegar aplicaciones en el registro de programas de Aleo sin depender de terceros, 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 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 mejora 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, mientras que los probadores realizan el cálculo de pruebas, evitando que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los testigos comparten las recompensas de bloque; se alienta a los testigos a convertirse en validadores a través de la participación 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 limitaciones de gas, por lo que es especialmente adecuado para aplicaciones que requieren largas ejecuciones, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas novedades importantes:
Voto aprobado para ARC-100: La propuesta relacionada con el cumplimiento, el bloqueo de fondos en la red y medidas de seguridad como retrasos en los depósitos ha sido aprobada, y el equipo está realizando los ajustes finales.
Plan de incentivos para validadores: del 1 al 15 de julio, se distribuirán 1 millón de puntos Aleo como recompensa. El porcentaje de puntos generados por el nodo determinará su parte de la recompensa, y cada validador debe ganar al menos 100 tokens para recibir recompensas.
Suministro de tokens: La oferta inicial es de 1.5 mil millones de tokens, con un suministro circulante inicial de aproximadamente el 10%. Estos tokens provienen principalmente de tareas de Coinbase (75 millones), que se distribuirán en los primeros seis meses, e incluyen recompensas por staking, operar 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 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 del año y finalmente alcanzar los 500. Se requieren 10,000 tokens para convertirse en delegador y 10 millones de tokens para convertirse en validador, y estas cantidades se reducirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo más reciente de Aleo se llama Synthesis Puzzle, y su esencia es generar un EpochProgram común fijo para cada epoch. Esto se logra construyendo un circuito de prueba R1CS para la entrada y el EpochProgram, generando 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.
El proceso detallado para construir el Synthesis Puzzle es el siguiente:
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úmeros aleatorios.
En cada epoch, el EpochProgram calculado por todos los provers es el mismo, y se extrae una muestra del conjunto de instrucciones utilizando el número aleatorio generado por el epoch_hash actual.
Utilizar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar el R1CS y el input correspondientes al EpochProgram, y realizar el cálculo de testigos.
Calcula todos los testigos y conviértelos en una secuencia de nodos hoja del árbol de Merkle.
Calcular la raíz de Merkle y convertirla en proof_target de la solución, para determinar si satisface el latest_proof_target del epoch actual.
En una misma epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada del EpochProgram a través del contador de iteraciones.
Esta actualización cambiará el puzzle de generar prueba a generar testigo. La lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero la lógica de cálculo entre diferentes épocas presenta diferencias significativas. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, y dado que hay relaciones de dependencia en la ejecución en serie durante el proceso de generación de testigos, implementar la paralelización presenta ciertos desafíos.