Aleo: el proyecto de cadena de bloques que lidera la revolución de la privacidad en Web3
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, cuya tecnología central se basa en pruebas de cero conocimiento (ZKP), con el objetivo de lograr un mayor nivel de privacidad y escalabilidad. La idea básica del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin exponer información personal.
Descripción del proyecto
privacidad
La tecnología central de Aleo es la prueba de conocimiento cero, lo que permite que la ejecución de transacciones y contratos inteligentes se realice 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 resulta muy adecuado para el desarrollo de aplicaciones de finanzas descentralizadas.
Los componentes principales de Aleo incluyen:
Lenguaje de programación Leo: Adaptado del lenguaje Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero, reduciendo 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, verificando solo los resultados de los cálculos en la cadena, lo que mejora la eficiencia. snarkOS garantiza la seguridad de los datos y los cálculos, y permite la ejecución de funciones sin permiso.
zkCloud: proporciona un entorno de cálculo fuera de la cadena que es seguro y privado, y admite la interacción de programación entre usuarios, organizaciones y organizaciones autónomas descentralizadas.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que permite a los desarrolladores escribir y publicar aplicaciones rápidamente. Además, los desarrolladores pueden desplegar 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 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ómputo 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 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 tokens, los validadores son responsables de generar bloques, mientras que los probadores realizan cálculos de prueba, previniendo que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de los bloques; se alienta a los probadores a convertirse en validadores a través del staking de tokens, lo que aumenta el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones sin limitaciones de recursos, por lo que es especialmente adecuado para aplicaciones que requieren un tiempo de ejecución prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de prueba de incentivos el 1 de julio, a continuación se presentan algunas noticias importantes:
ARC-100 Voto Aprobado: La propuesta relacionada con aspectos de cumplimiento, el bloqueo de fondos en la red Aleo y las medidas de seguridad como el retraso en la acreditación ha sido aprobada. El equipo está realizando ajustes finales.
Programa de incentivos para validadores: Este programa comenzará el 1 de julio y tiene como objetivo validar el nuevo mecanismo de puzzle. El programa 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 el suministro inicial en circulación es de aproximadamente el 10%. Estos tokens provienen principalmente de recompensas por tareas (75 millones), que se distribuirán en los primeros seis meses, e incluyen recompensas por staking, operación de validadores y nodos de validación.
Reinicio de la red de pruebas: Este es el último reinicio de la red, después del cual no se agregarán nuevas funciones, la red será similar a la red principal. El reinicio es para agregar nuevas funciones y actualizar el mecanismo de puzzle.
Congelamiento de código: El congelamiento de código se completó hace una semana.
Plan de expansión de nodos de validación: La cantidad inicial de nodos de validación es de 15, con el objetivo de aumentar a 50 dentro del año y eventualmente alcanzar 500. Para convertirse en delegado se requieren 10,000 tokens, y para convertirse en validador se necesitan 10,000,000 tokens, estas cantidades disminuirá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 núcleo consiste en generar un EpochProgram común fijo para cada epoch. Al construir un circuito de prueba R1CS para la entrada y el EpochProgram, se produce la correspondiente asignación R1CS (es decir, testigo) y se utiliza como nodo hoja del árbol Merkle. Después de calcular todos los nodos hoja, se genera la raíz 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úmero aleatorio.
En cada epoch, el EpochProgram calculado por todos los prover es el mismo, y se muestrea del conjunto de instrucciones utilizando un número aleatorio generado por el epoch_hash actual.
Utilizar nonce como semilla de número aleatorio para generar la entrada de EpochProgram.
Agregar R1CS y input correspondientes al EpochProgram, y realizar el cálculo de witness.
Convertir todos los testigos 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, determinando si cumple con los requisitos de la epoch actual.
En el mismo epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram mediante la iteración del contador.
Impacto de la actualización del algoritmo
Después de esta actualización, el puzzle ha pasado de generar prueba a generar testigo. La lógica de cálculo de todas las soluciones dentro de cada epoch es consistente, pero existe una gran diferencia en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo ha abandonado los cálculos de MSM y NTT de versiones anteriores, lo que podría afectar las estrategias de optimización existentes para GPU. Al mismo tiempo, dado que el proceso de generación de testigos implica ejecutar un programa que cambia con cada epoch, las instrucciones pueden tener algunas dependencias de ejecución en serie, por lo que implementar la paralelización podría enfrentar grandes 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.
11 me gusta
Recompensa
11
15
Republicar
Compartir
Comentar
0/400
IgorXV
· hace2h
La fecha es el año 2024. Esta noticia es antigua.
Ver originalesResponder0
GateUser-fea06f41
· hace9h
La prueba de conocimiento del balón no sirve.
Ver originalesResponder0
010Strategy
· hace10h
¡Ver su respuesta me ha puesto muy nervioso! ¿Tienen Aleo Al Contado?
Aleo lanza la Testnet de la Cadena de bloques de privacidad, liderando la revolución de cero conocimiento en Web3
Aleo: el proyecto de cadena de bloques que lidera la revolución de la privacidad en Web3
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, cuya tecnología central se basa en pruebas de cero conocimiento (ZKP), con el objetivo de lograr un mayor nivel de privacidad y escalabilidad. La idea básica del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin exponer información personal.
Descripción del proyecto
privacidad
La tecnología central de Aleo es la prueba de conocimiento cero, lo que permite que la ejecución de transacciones y contratos inteligentes se realice 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 resulta muy adecuado para el desarrollo de aplicaciones de finanzas descentralizadas.
Los componentes principales de Aleo incluyen:
Lenguaje de programación Leo: Adaptado del lenguaje Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero, reduciendo 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, verificando solo los resultados de los cálculos en la cadena, lo que mejora la eficiencia. snarkOS garantiza la seguridad de los datos y los cálculos, y permite la ejecución de funciones sin permiso.
zkCloud: proporciona un entorno de cálculo fuera de la cadena que es seguro y privado, y admite la interacción de programación entre usuarios, organizaciones y organizaciones autónomas descentralizadas.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que permite a los desarrolladores escribir y publicar aplicaciones rápidamente. Además, los desarrolladores pueden desplegar 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 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ómputo 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 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 tokens, los validadores son responsables de generar bloques, mientras que los probadores realizan cálculos de prueba, previniendo que unas pocas entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de los bloques; se alienta a los probadores a convertirse en validadores a través del staking de tokens, lo que aumenta el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones sin limitaciones de recursos, por lo que es especialmente adecuado para aplicaciones que requieren un tiempo de ejecución prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de prueba de incentivos el 1 de julio, a continuación se presentan algunas noticias importantes:
ARC-100 Voto Aprobado: La propuesta relacionada con aspectos de cumplimiento, el bloqueo de fondos en la red Aleo y las medidas de seguridad como el retraso en la acreditación ha sido aprobada. El equipo está realizando ajustes finales.
Programa de incentivos para validadores: Este programa comenzará el 1 de julio y tiene como objetivo validar el nuevo mecanismo de puzzle. El programa 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 el suministro inicial en circulación es de aproximadamente el 10%. Estos tokens provienen principalmente de recompensas por tareas (75 millones), que se distribuirán en los primeros seis meses, e incluyen recompensas por staking, operación de validadores y nodos de validación.
Reinicio de la red de pruebas: Este es el último reinicio de la red, después del cual no se agregarán nuevas funciones, la red será similar a la red principal. El reinicio es para agregar nuevas funciones y actualizar el mecanismo de puzzle.
Congelamiento de código: El congelamiento de código se completó hace una semana.
Plan de expansión de nodos de validación: La cantidad inicial de nodos de validación es de 15, con el objetivo de aumentar a 50 dentro del año y eventualmente alcanzar 500. Para convertirse en delegado se requieren 10,000 tokens, y para convertirse en validador se necesitan 10,000,000 tokens, estas cantidades disminuirá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 núcleo consiste en generar un EpochProgram común fijo para cada epoch. Al construir un circuito de prueba R1CS para la entrada y el EpochProgram, se produce la correspondiente asignación R1CS (es decir, testigo) y se utiliza como nodo hoja del árbol Merkle. Después de calcular todos los nodos hoja, se genera la raíz 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úmero aleatorio.
En cada epoch, el EpochProgram calculado por todos los prover es el mismo, y se muestrea del conjunto de instrucciones utilizando un número aleatorio generado por el epoch_hash actual.
Utilizar nonce como semilla de número aleatorio para generar la entrada de EpochProgram.
Agregar R1CS y input correspondientes al EpochProgram, y realizar el cálculo de witness.
Convertir todos los testigos 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, determinando si cumple con los requisitos de la epoch actual.
En el mismo epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram mediante la iteración del contador.
Impacto de la actualización del algoritmo
Después de esta actualización, el puzzle ha pasado de generar prueba a generar testigo. La lógica de cálculo de todas las soluciones dentro de cada epoch es consistente, pero existe una gran diferencia en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo ha abandonado los cálculos de MSM y NTT de versiones anteriores, lo que podría afectar las estrategias de optimización existentes para GPU. Al mismo tiempo, dado que el proceso de generación de testigos implica ejecutar un programa que cambia con cada epoch, las instrucciones pueden tener algunas dependencias de ejecución en serie, por lo que implementar la paralelización podría enfrentar grandes desafíos.