Aleo: pionero en la Cadena de bloques de protección de la privacidad y escalabilidad
Aleo es un proyecto innovador dedicado a mejorar la protección de la privacidad y la escalabilidad de la cadena de bloques. Al utilizar tecnología de prueba de conocimiento cero, Aleo permite a los usuarios realizar la verificación de identidad y el procesamiento de datos mientras protegen su información personal.
Resumen del proyecto
Protección de la privacidad
La tecnología central de Aleo son las pruebas de conocimiento cero (ZKPs), que garantizan la protección de la privacidad del usuario durante la ejecución de transacciones y contratos inteligentes. Por defecto, los detalles de la transacción, como el remitente y la cantidad, están ocultos. Este diseño no solo protege la privacidad del usuario, sino que también admite la divulgación selectiva cuando es necesario, lo que es muy adecuado para el desarrollo de aplicaciones DeFi.
Los principales componentes de Aleo incluyen:
Lenguaje de programación Leo: adaptado de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimientos criptográficos para los desarrolladores.
snarkVM y snarkOS: snarkVM admite la ejecución de cálculos fuera de la cadena, validando solo los resultados en la cadena, lo que mejora 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 cálculo fuera de la cadena seguro y privado, que admite la interacción de programación entre las partes.
Aleo también ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), lo que facilita a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, sin necesidad de depender de terceros, lo que reduce el riesgo de la plataforma.
escalabilidad
Aleo utiliza 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 transacciones y la escalabilidad del sistema, evitando problemas de congestión de la red y costos elevados.
mecanismo de consenso
Aleo ha introducido AleoBFT, que es 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 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 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, y los probadores realizan cálculos de prueba, evitando que unas pocas entidades monopolizen la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloque; se alienta a los probadores a convertirse en validadores mediante la apuesta de tokens, mejorando así el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones que no están limitadas por el gas, por lo que es especialmente adecuado para aplicaciones que requieren funcionar durante largos períodos, 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 actualizaciones importantes:
Propuesta ARC-100 aprobada: La propuesta que involucra medidas de seguridad como cumplimiento, bloqueo de fondos y retraso en la llegada ha sido aprobada, el equipo está realizando los ajustes finales.
Plan de incentivos para validadores: del 1 al 15 de julio, se asignarán 1 millón de puntos Aleo como recompensa. La distribución de recompensas se basa en el porcentaje de puntos generados por los nodos, y cada validador debe ganar al menos 100 tokens para recibir una recompensa.
Suministro de tokens: la oferta inicial es de 1.500 millones de tokens, con un suministro circulante inicial de aproximadamente el 10%. Estos tokens provienen principalmente de la tarea de Coinbase (7500万), que se distribuirán en los primeros seis meses, incluyendo recompensas por staking, operación de validadores y nodos de validación.
Actualización de la red de pruebas: Testnet Beta realizará un último reinicio, añadiendo ARC-41 y la nueva función de rompecabezas. Después del reinicio, la red será similar a la de la mainnet y no se añadirán nuevas funciones.
Congelación de código: completada hace una semana.
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 durante el año y alcanzar finalmente 500. Se necesitan 10,000 tokens para convertirse en delegador y 10,000,000 tokens para convertirse en validador, estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El algoritmo puzzle recientemente lanzado por Aleo se llama Synthesis Puzzle, y su núcleo es generar un EpochProgram fijo para cada epoch. Al construir un circuito de prueba R1CS para las entradas y el EpochProgram, se genera la correspondiente asignación R1CS (, es decir, el testigo ), y 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 de Synthesis Puzzle es el siguiente:
Cada cálculo de puzzle se denomina nonce, que está compuesto por la dirección que recibe la recompensa de minería, epoch_hash y el contador de número aleatorio.
En cada epoch, todos los prover calculan el mismo EpochProgram, que se obtiene muestreando desde el conjunto de instrucciones utilizando el 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 e input correspondientes al EpochProgram, realizar el cálculo del testigo.
Calcule todos los testigos y conviértalos 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, determinar si satisface el latest_proof_target de la epoch actual.
Si se cumplen las condiciones, envíe la dirección de recompensa, el epoch_hash y el counter necesarios para construir la entrada como solución y transmita.
En la misma epoch, se puede actualizar la entrada del EpochProgram a través del contador de iteración para realizar múltiples cálculos de solución.
Esta actualización cambiará el puzzle de generar proof a generar witness. La lógica de cálculo de la solución dentro de cada epoch es consistente, pero hay grandes diferencias en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, lo que presenta nuevos desafíos para la optimización de GPU. Dado que el proceso de generar witness implica la ejecución de un programa que varía con cada epoch, hay dependencias de ejecución en parte en serie en las instrucciones, lo que plantea un gran desafío para lograr la paralelización.
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.
13 me gusta
Recompensa
13
7
Compartir
Comentar
0/400
BankruptcyArtist
· hace10h
¡Vaya, finalmente ha llegado el turno de los proyectos de diseño de privacidad!
Aleo lanza Testnet de incentivos, una nueva etapa para la Cadena de bloques privada y escalable
Aleo: pionero en la Cadena de bloques de protección de la privacidad y escalabilidad
Aleo es un proyecto innovador dedicado a mejorar la protección de la privacidad y la escalabilidad de la cadena de bloques. Al utilizar tecnología de prueba de conocimiento cero, Aleo permite a los usuarios realizar la verificación de identidad y el procesamiento de datos mientras protegen su información personal.
Resumen del proyecto
Protección de la privacidad
La tecnología central de Aleo son las pruebas de conocimiento cero (ZKPs), que garantizan la protección de la privacidad del usuario durante la ejecución de transacciones y contratos inteligentes. Por defecto, los detalles de la transacción, como el remitente y la cantidad, están ocultos. Este diseño no solo protege la privacidad del usuario, sino que también admite la divulgación selectiva cuando es necesario, lo que es muy adecuado para el desarrollo de aplicaciones DeFi.
Los principales componentes de Aleo incluyen:
Lenguaje de programación Leo: adaptado de Rust, diseñado específicamente para el desarrollo de aplicaciones de conocimiento cero (ZKApps), reduciendo los requisitos de conocimientos criptográficos para los desarrolladores.
snarkVM y snarkOS: snarkVM admite la ejecución de cálculos fuera de la cadena, validando solo los resultados en la cadena, lo que mejora 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 cálculo fuera de la cadena seguro y privado, que admite la interacción de programación entre las partes.
Aleo también ofrece un entorno de desarrollo integrado (IDE) y un kit de herramientas de desarrollo de software (SDK), lo que facilita a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, sin necesidad de depender de terceros, lo que reduce el riesgo de la plataforma.
escalabilidad
Aleo utiliza 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 transacciones y la escalabilidad del sistema, evitando problemas de congestión de la red y costos elevados.
mecanismo de consenso
Aleo ha introducido AleoBFT, que es 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 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 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, y los probadores realizan cálculos de prueba, evitando que unas pocas entidades monopolizen la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloque; se alienta a los probadores a convertirse en validadores mediante la apuesta de tokens, mejorando así el grado de descentralización y la capacidad de cálculo de la red.
Aleo permite a los desarrolladores crear aplicaciones que no están limitadas por el gas, por lo que es especialmente adecuado para aplicaciones que requieren funcionar durante largos períodos, 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 actualizaciones importantes:
Propuesta ARC-100 aprobada: La propuesta que involucra medidas de seguridad como cumplimiento, bloqueo de fondos y retraso en la llegada ha sido aprobada, el equipo está realizando los ajustes finales.
Plan de incentivos para validadores: del 1 al 15 de julio, se asignarán 1 millón de puntos Aleo como recompensa. La distribución de recompensas se basa en el porcentaje de puntos generados por los nodos, y cada validador debe ganar al menos 100 tokens para recibir una recompensa.
Suministro de tokens: la oferta inicial es de 1.500 millones de tokens, con un suministro circulante inicial de aproximadamente el 10%. Estos tokens provienen principalmente de la tarea de Coinbase (7500万), que se distribuirán en los primeros seis meses, incluyendo recompensas por staking, operación de validadores y nodos de validación.
Actualización de la red de pruebas: Testnet Beta realizará un último reinicio, añadiendo ARC-41 y la nueva función de rompecabezas. Después del reinicio, la red será similar a la de la mainnet y no se añadirán nuevas funciones.
Congelación de código: completada hace una semana.
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 durante el año y alcanzar finalmente 500. Se necesitan 10,000 tokens para convertirse en delegador y 10,000,000 tokens para convertirse en validador, estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El algoritmo puzzle recientemente lanzado por Aleo se llama Synthesis Puzzle, y su núcleo es generar un EpochProgram fijo para cada epoch. Al construir un circuito de prueba R1CS para las entradas y el EpochProgram, se genera la correspondiente asignación R1CS (, es decir, el testigo ), y 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 de Synthesis Puzzle es el siguiente:
Cada cálculo de puzzle se denomina nonce, que está compuesto por la dirección que recibe la recompensa de minería, epoch_hash y el contador de número aleatorio.
En cada epoch, todos los prover calculan el mismo EpochProgram, que se obtiene muestreando desde el conjunto de instrucciones utilizando el 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 e input correspondientes al EpochProgram, realizar el cálculo del testigo.
Calcule todos los testigos y conviértalos 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, determinar si satisface el latest_proof_target de la epoch actual.
Si se cumplen las condiciones, envíe la dirección de recompensa, el epoch_hash y el counter necesarios para construir la entrada como solución y transmita.
En la misma epoch, se puede actualizar la entrada del EpochProgram a través del contador de iteración para realizar múltiples cálculos de solución.
Esta actualización cambiará el puzzle de generar proof a generar witness. La lógica de cálculo de la solución dentro de cada epoch es consistente, pero hay grandes diferencias en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, lo que presenta nuevos desafíos para la optimización de GPU. Dado que el proceso de generar witness implica la ejecución de un programa que varía con cada epoch, hay dependencias de ejecución en parte en serie en las instrucciones, lo que plantea un gran desafío para lograr la paralelización.