Aleo: Cadena de bloques de protección de la privacidad basada en zk-SNARKs
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, que logra una mayor privacidad y escalabilidad a través de la tecnología zk-SNARKs. La idea central del proyecto es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos mientras protegen sus datos personales.
Resumen del proyecto
Protección de la privacidad
La tecnología central de Aleo son los zk-SNARKs ( ZKPs ), que permiten que la ejecución de transacciones y contratos inteligentes se realice con la protección de la privacidad. Por defecto, los detalles de la transacción, como el remitente y el monto, están ocultos. 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 de programación Leo: un lenguaje diseñado para el desarrollo de aplicaciones zk-SNARKs(ZKApps), que reduce los requisitos de conocimientos de 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 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 apoya 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 permite a los desarrolladores escribir y publicar aplicaciones de manera rápida. 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 adopta un método de procesamiento fuera de la cadena, donde las transacciones se calculan primero en el dispositivo del usuario y luego solo se carga 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 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.
Características principales:
Finalidad rápida del bloque: asegura que cada bloque generado sea confirmado de inmediato, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía descentralizada: separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, los probadores realizan el cálculo de la prueba, evitando que unas pocas entidades monopolicen 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 participación 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 tiempo de ejecución prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas información importante:
La propuesta ARC-100 fue aprobada, involucrando medidas de cumplimiento y seguridad.
El programa de incentivos para validadores se lanzará el 1 de julio y funcionará hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
El suministro inicial es de 1.500 millones de tokens, y el suministro circulante inicial es de aproximadamente el 10%.
La Beta de Testnet realizará el último reinicio de la red, añadiendo ARC-41 y la nueva función de rompecabezas.
La congelación del código se ha completado.
Plan de expansión de nodos de verificación: Inicialmente 15, con el objetivo de aumentar a 50 en un año, y finalmente alcanzar 500. Para convertirse en delegador se necesitan 10,000 tokens, y para convertirse en verificador se necesitan 10 millones de tokens, estas cantidades se reducirán gradualmente.
Análisis del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente el algoritmo puzzle, ya no se centra en la generación de resultados de zk proof, sino que se enfoca en la generación de datos intermedios witness antes de la prueba. El nuevo algoritmo se llama Synthesis Puzzle, y su núcleo consiste en generar un EpochProgram común para cada epoch, construyendo un circuito de prueba R1CS, produciendo la correspondiente asignación R1CS (, es decir, witness ), y como nodo hoja del árbol Merkle, calculando la raíz Merkle y convirtiéndola en proof_target de la solución.
Flujo principal:
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, todos los provers calculan el mismo EpochProgram, y el número aleatorio generado por epoch_hash se muestrea del conjunto de instrucciones.
Usar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar R1CS y la entrada correspondiente al EpochProgram, realizar el cálculo del testigo.
Convertir el testigo 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 el latest_proof_target de la epoch actual.
En la misma epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram a través de un contador iterativo.
Esta actualización cambiará puzzle de generar proof a generar witness, la lógica de cálculo de solution es consistente dentro de cada epoch, pero hay grandes diferencias en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo ha abandonado los cálculos MSM y NTT anteriores, lo que presenta desafíos para la optimización de GPU. Debido a la dependencia secuencial en el proceso de generación de witness, también hay ciertas dificultades para implementar la paralelización.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
9 me gusta
Recompensa
9
8
Compartir
Comentar
0/400
GateUser-330c4008
· Hace23m
Lo de el año pasado
Ver originalesResponder0
LuoGeMade1MillionDo
· hace2h
zk塞道 está llegando
Ver originalesResponder0
GateUser-c9cdc131
· hace9h
¡A darlo todo!💪
Ver originalesResponder0
QuietHappinessEarnsHi
· hace10h
¿Por qué, con tanta Información favorable, el precio no sube?
Aleo está a punto de lanzar la Testnet de incentivos, zk-SNARKs lidera la revolución de la privacidad en la cadena de bloques.
Aleo: Cadena de bloques de protección de la privacidad basada en zk-SNARKs
Aleo es un proyecto de cadena de bloques dedicado a la protección de la privacidad, que logra una mayor privacidad y escalabilidad a través de la tecnología zk-SNARKs. La idea central del proyecto es permitir a los usuarios realizar la verificación de identidad y el procesamiento de datos mientras protegen sus datos personales.
Resumen del proyecto
Protección de la privacidad
La tecnología central de Aleo son los zk-SNARKs ( ZKPs ), que permiten que la ejecución de transacciones y contratos inteligentes se realice con la protección de la privacidad. Por defecto, los detalles de la transacción, como el remitente y el monto, están ocultos. 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 de programación Leo: un lenguaje diseñado para el desarrollo de aplicaciones zk-SNARKs(ZKApps), que reduce los requisitos de conocimientos de 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 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 apoya 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 permite a los desarrolladores escribir y publicar aplicaciones de manera rápida. 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 adopta un método de procesamiento fuera de la cadena, donde las transacciones se calculan primero en el dispositivo del usuario y luego solo se carga 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 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.
Características principales:
Finalidad rápida del bloque: asegura que cada bloque generado sea confirmado de inmediato, mejorando la estabilidad de los nodos y la experiencia del usuario.
Garantía descentralizada: separar la producción de bloques de la generación de coinbase, los validadores son responsables de generar bloques, los probadores realizan el cálculo de la prueba, evitando que unas pocas entidades monopolicen 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 participación 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 tiempo de ejecución prolongado, como el aprendizaje automático.
Últimos avances
Aleo lanzará la red de pruebas incentivadas el 1 de julio, a continuación se presentan algunas información importante:
La propuesta ARC-100 fue aprobada, involucrando medidas de cumplimiento y seguridad.
El programa de incentivos para validadores se lanzará el 1 de julio y funcionará hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
El suministro inicial es de 1.500 millones de tokens, y el suministro circulante inicial es de aproximadamente el 10%.
La Beta de Testnet realizará el último reinicio de la red, añadiendo ARC-41 y la nueva función de rompecabezas.
La congelación del código se ha completado.
Plan de expansión de nodos de verificación: Inicialmente 15, con el objetivo de aumentar a 50 en un año, y finalmente alcanzar 500. Para convertirse en delegador se necesitan 10,000 tokens, y para convertirse en verificador se necesitan 10 millones de tokens, estas cantidades se reducirán gradualmente.
Análisis del algoritmo Synthesis Puzzle
Aleo ha actualizado recientemente el algoritmo puzzle, ya no se centra en la generación de resultados de zk proof, sino que se enfoca en la generación de datos intermedios witness antes de la prueba. El nuevo algoritmo se llama Synthesis Puzzle, y su núcleo consiste en generar un EpochProgram común para cada epoch, construyendo un circuito de prueba R1CS, produciendo la correspondiente asignación R1CS (, es decir, witness ), y como nodo hoja del árbol Merkle, calculando la raíz Merkle y convirtiéndola en proof_target de la solución.
Flujo principal:
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, todos los provers calculan el mismo EpochProgram, y el número aleatorio generado por epoch_hash se muestrea del conjunto de instrucciones.
Usar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar R1CS y la entrada correspondiente al EpochProgram, realizar el cálculo del testigo.
Convertir el testigo 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 el latest_proof_target de la epoch actual.
En la misma epoch, se pueden realizar múltiples cálculos de solución actualizando la entrada de EpochProgram a través de un contador iterativo.
Esta actualización cambiará puzzle de generar proof a generar witness, la lógica de cálculo de solution es consistente dentro de cada epoch, pero hay grandes diferencias en la lógica de cálculo entre diferentes epochs. El nuevo algoritmo ha abandonado los cálculos MSM y NTT anteriores, lo que presenta desafíos para la optimización de GPU. Debido a la dependencia secuencial en el proceso de generación de witness, también hay ciertas dificultades para implementar la paralelización.