Aleo: Un nuevo destacado en la Cadena de bloques que equilibra la privacidad y la escalabilidad
Aleo es un proyecto de cadena de bloques enfocado en la protección de la privacidad, que logra una mayor privacidad y escalabilidad a través de la tecnología de pruebas de conocimiento cero. La idea central del proyecto es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Descripción del proyecto
privacidad
El núcleo de Aleo son las pruebas de conocimiento cero ( ZKPs ), que permiten que la ejecución de transacciones y contratos inteligentes se realice protegiendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, pero se permite la divulgación selectiva cuando es necesario. Sus componentes principales incluyen:
Lenguaje compilado Leo: un lenguaje diseñado para el desarrollo de aplicaciones de conocimiento cero ( ZKApps ), que reduce los requisitos de conocimiento criptográfico para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, la cadena solo verifica los resultados; snarkOS asegura la seguridad de los datos y los cálculos.
zkCloud: ofrece un entorno de cálculo fuera de la cadena seguro y privado, que apoya la interacción de programación entre las partes.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que permiten a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, lo que reduce el riesgo de 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 enfoque 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á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. Sus características incluyen:
Bloquear rápida finalización: asegurar que cada bloque sea confirmado inmediatamente después de ser generado.
Garantía de descentralización: al separar la producción de bloques y la generación de coinbase, se evita que unos pocos entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloque, incentivando a los probadores a convertirse en validadores a través de la apuesta de tokens.
Aleo permite a los desarrolladores crear aplicaciones sin restricciones de gas, especialmente adecuadas para aplicaciones que requieren mucho tiempo de ejecución, como el aprendizaje automático y demás.
Últimos avances
Aleo planea lanzar la red de prueba incentivada el 1 de julio, a continuación se presentan algunas información importante y actualizada:
La propuesta ARC-100 ha sido aprobada, el equipo está realizando ajustes finales.
El programa de incentivos para validadores comenzará el 1 de julio y se llevará a cabo hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
La oferta inicial es de 1.500 millones de tokens, y la oferta circulante inicial es de aproximadamente el 10%.
Después de que se complete el reinicio de Testnet Beta, la red será similar a la red principal.
La congelación del código se completó hace una semana.
Plan de expansión de nodos de verificación: 15 nodos iniciales, con el objetivo de aumentar a 50 en el transcurso del año, alcanzando finalmente 500.
Interpretación del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente la última versión del algoritmo puzzle, llamado Synthesis 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. El proceso del algoritmo es el siguiente:
Generar un EpochProgram común en cada epoch.
Utiliza nonce( para construir la dirección de recompensa de minería, epoch_hash y el contador de número aleatorio ) como entrada.
Construir el circuito de prueba R1CS según EpochProgram y la entrada, generar testigos.
Convertir el testigo en un nodo hoja del árbol de Merkle y calcular la raíz de Merkle.
Convertir la raíz de Merkle en proof_target de la solución y determinar si cumple con los requisitos de dificultad de la epoch actual.
Si cumple con los requisitos, envíe la solución y transmítala.
Esta actualización hace que el rompecabezas pase de generar pruebas a generar testigos, la lógica de cálculo dentro de cada época es coherente, pero hay grandes diferencias entre épocas diferentes. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, aumentando la dificultad de implementar la paralelización, lo que podría afectar las estrategias de optimización de minería existentes.
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.
9 me gusta
Recompensa
9
4
Compartir
Comentar
0/400
TrustlessMaximalist
· hace7h
Me encanta esto de la encriptación de la privacidad.
Aleo lanza la Testnet de incentivos, la cadena de bloques de conocimiento cero avanza hacia el Mainnet
Aleo: Un nuevo destacado en la Cadena de bloques que equilibra la privacidad y la escalabilidad
Aleo es un proyecto de cadena de bloques enfocado en la protección de la privacidad, que logra una mayor privacidad y escalabilidad a través de la tecnología de pruebas de conocimiento cero. La idea central del proyecto es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Descripción del proyecto
privacidad
El núcleo de Aleo son las pruebas de conocimiento cero ( ZKPs ), que permiten que la ejecución de transacciones y contratos inteligentes se realice protegiendo la privacidad. Los detalles de las transacciones de los usuarios están ocultos por defecto, pero se permite la divulgación selectiva cuando es necesario. Sus componentes principales incluyen:
Lenguaje compilado Leo: un lenguaje diseñado para el desarrollo de aplicaciones de conocimiento cero ( ZKApps ), que reduce los requisitos de conocimiento criptográfico para los desarrolladores.
snarkVM y snarkOS: snarkVM permite la ejecución de cálculos fuera de la cadena, la cadena solo verifica los resultados; snarkOS asegura la seguridad de los datos y los cálculos.
zkCloud: ofrece un entorno de cálculo fuera de la cadena seguro y privado, que apoya la interacción de programación entre las partes.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que permiten a los desarrolladores escribir y publicar aplicaciones rápidamente. Los desarrolladores pueden desplegar aplicaciones directamente en el registro de programas de Aleo, lo que reduce el riesgo de 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 enfoque 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á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. Sus características incluyen:
Bloquear rápida finalización: asegurar que cada bloque sea confirmado inmediatamente después de ser generado.
Garantía de descentralización: al separar la producción de bloques y la generación de coinbase, se evita que unos pocos entidades monopolizan la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloque, incentivando a los probadores a convertirse en validadores a través de la apuesta de tokens.
Aleo permite a los desarrolladores crear aplicaciones sin restricciones de gas, especialmente adecuadas para aplicaciones que requieren mucho tiempo de ejecución, como el aprendizaje automático y demás.
Últimos avances
Aleo planea lanzar la red de prueba incentivada el 1 de julio, a continuación se presentan algunas información importante y actualizada:
La propuesta ARC-100 ha sido aprobada, el equipo está realizando ajustes finales.
El programa de incentivos para validadores comenzará el 1 de julio y se llevará a cabo hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
La oferta inicial es de 1.500 millones de tokens, y la oferta circulante inicial es de aproximadamente el 10%.
Después de que se complete el reinicio de Testnet Beta, la red será similar a la red principal.
La congelación del código se completó hace una semana.
Plan de expansión de nodos de verificación: 15 nodos iniciales, con el objetivo de aumentar a 50 en el transcurso del año, alcanzando finalmente 500.
Interpretación del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente la última versión del algoritmo puzzle, llamado Synthesis 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. El proceso del algoritmo es el siguiente:
Generar un EpochProgram común en cada epoch.
Utiliza nonce( para construir la dirección de recompensa de minería, epoch_hash y el contador de número aleatorio ) como entrada.
Construir el circuito de prueba R1CS según EpochProgram y la entrada, generar testigos.
Convertir el testigo en un nodo hoja del árbol de Merkle y calcular la raíz de Merkle.
Convertir la raíz de Merkle en proof_target de la solución y determinar si cumple con los requisitos de dificultad de la epoch actual.
Si cumple con los requisitos, envíe la solución y transmítala.
Esta actualización hace que el rompecabezas pase de generar pruebas a generar testigos, la lógica de cálculo dentro de cada época es coherente, pero hay grandes diferencias entre épocas diferentes. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, aumentando la dificultad de implementar la paralelización, lo que podría afectar las estrategias de optimización de minería existentes.