Aleo: Cadena de bloques innovadora en protección de la privacidad y 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 prueba de cero conocimiento. Su理念 central es permitir que los usuarios puedan llevar a cabo la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Resumen del proyecto
privacidad
El núcleo de Aleo es la tecnología de prueba de cero conocimiento, 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, pero se 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 compilación Leo: diseñado específicamente para desarrollar aplicaciones de conocimiento cero, 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, validando solo los resultados en la cadena, mejorando la eficiencia. snarkOS asegura la seguridad de los datos y cálculos, permitiendo 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 múltiples partes.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que admiten el desarrollo y la implementación rápida de aplicaciones.
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. Esto mejora significativamente la velocidad de procesamiento de transacciones y la escalabilidad del sistema, evitando la congestión de la red y los altos costos.
mecanismo de consenso
Aleo introdujo AleoBFT, 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 demostradores. Características principales:
Finalidad rápida del bloque: asegurar que cada bloque generado sea confirmado de inmediato.
Garantía de descentralización: al separar la producción de bloques de la generación de coinbase, se previene que unas pocas entidades monopolicen la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloques, lo que fomenta la participación en la operación de la red.
Aleo permite desarrollar aplicaciones sin restricciones de gas, adecuadas para aplicaciones de larga duración como el aprendizaje automático.
Últimos avances
Propuesta ARC-100 aprobada: implica medidas de cumplimiento y seguridad, se están realizando ajustes finales.
Programa de incentivos para validadores: comenzará el 1 de julio y continuará hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
Suministro inicial y circulación: Suministro inicial de 1.500 millones de tokens, circulación inicial de aproximadamente el 10%.
Reinicio de la red de prueba Beta: se añaden ARC-41 y la nueva función de rompecabezas.
Congelación de código: se completó hace una semana.
Expansión de nodos de verificación: 15 nodos iniciales, con el objetivo de aumentar a 50 en el transcurso del año, y alcanzar finalmente 500.
Actualización del algoritmo Synthesis Puzzle
El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, ha eliminado el cálculo de MSM y NTT, y se ha centrado en la generación de testigos. Proceso principal:
Cada epoch genera un EpochProgram fijo.
Usar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar R1CS y la entrada, calcular el testigo.
Convertir el testigo en nodos hoja del árbol Merkle.
Calcular la raíz de Merkle y convertirla en proof_target.
Si se cumplen las condiciones, envíe la solución y transmítala.
Esta actualización hace que puzzle pase de generar pruebas a generar testigos, calculando lógicamente coherente dentro de cada época, pero con diferencias significativas entre épocas. El nuevo algoritmo presenta desafíos para la optimización de GPU, y lograr la paralelización es bastante difícil.
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
7
Compartir
Comentar
0/400
PuzzledScholar
· hace3h
El potencial es solo potencial, el dinero es la verdad.
Ver originalesResponder0
OvertimeSquid
· hace3h
He copiado bsc esto
Ver originalesResponder0
DefiEngineerJack
· hace3h
meh. otra cadena zk que afirma un escalado *óptimo*. muéstrame las pruebas formales o lárgate
Ver originalesResponder0
SandwichTrader
· hace3h
¿Has trabajado en vano otra vez?
Ver originalesResponder0
SingleForYears
· hace3h
¿Por qué los proyectos de privacidad no pueden competir con el dios V?
Aleo Pilot Cadena de bloques: zk-SNARKs ayudan a la privacidad y alta escalabilidad
Aleo: Cadena de bloques innovadora en protección de la privacidad y 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 prueba de cero conocimiento. Su理念 central es permitir que los usuarios puedan llevar a cabo la verificación de identidad y el procesamiento de datos sin revelar datos personales.
Resumen del proyecto
privacidad
El núcleo de Aleo es la tecnología de prueba de cero conocimiento, 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, pero se 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 compilación Leo: diseñado específicamente para desarrollar aplicaciones de conocimiento cero, 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, validando solo los resultados en la cadena, mejorando la eficiencia. snarkOS asegura la seguridad de los datos y cálculos, permitiendo 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 múltiples partes.
Aleo también ofrece un entorno de desarrollo integrado y un kit de herramientas de desarrollo de software, que admiten el desarrollo y la implementación rápida de aplicaciones.
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. Esto mejora significativamente la velocidad de procesamiento de transacciones y la escalabilidad del sistema, evitando la congestión de la red y los altos costos.
mecanismo de consenso
Aleo introdujo AleoBFT, 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 demostradores. Características principales:
Finalidad rápida del bloque: asegurar que cada bloque generado sea confirmado de inmediato.
Garantía de descentralización: al separar la producción de bloques de la generación de coinbase, se previene que unas pocas entidades monopolicen la red.
Mecanismo de incentivos: los validadores y los probadores comparten las recompensas de bloques, lo que fomenta la participación en la operación de la red.
Aleo permite desarrollar aplicaciones sin restricciones de gas, adecuadas para aplicaciones de larga duración como el aprendizaje automático.
Últimos avances
Propuesta ARC-100 aprobada: implica medidas de cumplimiento y seguridad, se están realizando ajustes finales.
Programa de incentivos para validadores: comenzará el 1 de julio y continuará hasta el 15 de julio, distribuyendo 1 millón de puntos Aleo como recompensa.
Suministro inicial y circulación: Suministro inicial de 1.500 millones de tokens, circulación inicial de aproximadamente el 10%.
Reinicio de la red de prueba Beta: se añaden ARC-41 y la nueva función de rompecabezas.
Congelación de código: se completó hace una semana.
Expansión de nodos de verificación: 15 nodos iniciales, con el objetivo de aumentar a 50 en el transcurso del año, y alcanzar finalmente 500.
Actualización del algoritmo Synthesis Puzzle
El nuevo algoritmo ya no se centra en la generación de resultados de prueba zk, ha eliminado el cálculo de MSM y NTT, y se ha centrado en la generación de testigos. Proceso principal:
Cada epoch genera un EpochProgram fijo.
Usar nonce como semilla aleatoria para generar la entrada de EpochProgram.
Agregar R1CS y la entrada, calcular el testigo.
Convertir el testigo en nodos hoja del árbol Merkle.
Calcular la raíz de Merkle y convertirla en proof_target.
Si se cumplen las condiciones, envíe la solución y transmítala.
Esta actualización hace que puzzle pase de generar pruebas a generar testigos, calculando lógicamente coherente dentro de cada época, pero con diferencias significativas entre épocas. El nuevo algoritmo presenta desafíos para la optimización de GPU, y lograr la paralelización es bastante difícil.