Aleo: Cadena de bloques innovadora que utiliza la tecnología zk-SNARKs para lograr la protección de la privacidad.
Aleo es un proyecto de cadena de bloques enfocado en la protección de la privacidad, que utiliza la tecnología zk-SNARKs (ZKP) para mejorar la privacidad y la escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin revelar información personal.
Últimos avances del proyecto
La red Aleo genera aleatoriamente un circuito ZK cada hora. Los mineros deben intentar diferentes nonces como entrada del circuito dentro de esa hora, calcular el witness(, es decir, todas las variables en el circuito; este proceso también se conoce como synthesize), calcular la raíz de Merkle del witness y luego determinar si cumple con los requisitos de dificultad de minería. Debido a la aleatoriedad del circuito, este algoritmo de minería no es amigable para las GPU y presenta grandes desafíos en términos de aceleración de cálculo.
Situación de financiamiento
Aleo completó en 2021 una ronda de financiación Serie A de 28 millones de dólares liderada por a16z. En 2024, la compañía completó una ronda de financiación Serie B de 200 millones de dólares, con inversores como Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures y Samsung Next, entre otros. Esta ronda de financiación llevó la valoración de Aleo a 1,450 millones de dólares.
Características clave del proyecto
Protección de la privacidad
El núcleo de Aleo son los zk-SNARKs ( ZKPs ), una tecnología 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, 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 lo hace muy adecuado para el desarrollo de aplicaciones DeFi.
Los componentes principales incluyen:
Leo lenguaje de compilación: adaptado del lenguaje 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 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 cálculos, y permite la ejecución de funciones sin permisos.
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 rápidamente. 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 off-chain, 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 la congestión de la red y los altos costos similares a los de Ethereum.
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 con la capacidad de cálculo 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 ser generado, 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 monopolizan la red.
Mecanismo de incentivos: los validadores y los demostradores comparten las recompensas de bloque; se incentiva a los demostradores a convertirse en validadores mediante la participación de tokens, lo que mejora el nivel 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 gas, por lo que es especialmente adecuado para aplicaciones que requieren un largo tiempo de ejecución, como el aprendizaje automático.
Últimos desarrollos
Aprobación de voto de ARC-100: La propuesta relacionada con aspectos de cumplimiento, el bloqueo de fondos en la red Aleo y medidas de seguridad como la demora en la llegada de fondos ha sido aprobada, y el equipo está realizando ajustes finales.
Plan de incentivos para validadores: se lanzará el 1 de julio, con el objetivo de verificar el nuevo mecanismo de puzzle. El plan se ejecutará hasta el 15 de julio, durante el cual se asignarán 1 millón de puntos Aleo como recompensa.
Suministro de tokens: la cantidad inicial de suministro es de 1.500 millones de tokens, y el suministro inicial en circulación es de aproximadamente el 10%( aún no está determinado de manera definitiva). Estos tokens provienen principalmente de la tarea de Coinbase(7500 mil), que se distribuirán en los primeros seis meses, incluyendo recompensas por staking, operación de validadores y nodos de validación.
Reinicio de Testnet Beta: Este es el último reinicio de la red, una vez completado no se agregarán nuevas funciones, la red será similar a la red principal.
Congelación de código: se completó hace una semana.
Plan de 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 dentro del año y alcanzar finalmente 500. Se requieren 10,000 tokens para convertirse en delegado y 10 millones de tokens para convertirse en validador; estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo puzzle más reciente de Aleo se llama Synthesis Puzzle, y sus principales características son las siguientes:
Cada epoch produce un EpochProgram común de forma fija.
A través de la construcción de un circuito de prueba R1CS para la entrada y el EpochProgram, genera la correspondiente asignación R1CS (, es decir, el testigo ), y lo utiliza como nodo hoja del árbol de Merkle.
Calcular la raíz de Merkle después de generar todos los nodos hoja y convertirla en proof_target de la solución.
Cada cálculo de puzzle se denomina nonce, construido a partir de la dirección que recibe la recompensa de minería, epoch_hash y un número aleatorio counter.
EpochProgram se genera a partir del hash de la época actual y se muestrean números aleatorios del conjunto de instrucciones.
Utilizar nonce como semilla de número aleatorio para generar la entrada del EpochProgram.
Agregar R1CS e input correspondientes a EpochProgram para realizar el cálculo de testigos.
Calcular la raíz de Merkle y determinar si cumple con el latest_proof_target del epoch actual.
Esta actualización hace que el puzzle pase de generar pruebas a generar testigos, la lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero la lógica de cálculo entre diferentes épocas presenta grandes diferencias. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, lo que representa un nuevo desafío para la optimización en GPU. Dado que existen algunas dependencias de ejecución en serie en el proceso de generación de testigos, la implementación de la paralelización también enfrenta un gran desafío.
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.
10 me gusta
Recompensa
10
6
Compartir
Comentar
0/400
ExpectationFarmer
· hace19h
La minería realmente es muy difícil.
Ver originalesResponder0
ShitcoinConnoisseur
· hace19h
zk está tan de moda, mejor compra un poco para calmar los nervios.
Ver originalesResponder0
ChainDoctor
· hace19h
Esto ha sido exagerado de nuevo.
Ver originalesResponder0
GateUser-5b799ff7
· hace19h
está desactualizado
Ver originalesResponder0
LuoGeMade1MillionDo
· hace19h
¡Vaya, esto es increíble, tantas grandes instituciones son fáciles, una capitalización de mercado de cien millones es demasiado baja!😍😍😍
Ver originalesResponder0
Czyl998
· hace19h
Ya se ha conseguido que el financiador 🈹 lo obtenga 🦴 🤓
Aleo cadena de privacidad completa una financiación con una valoración de 1.450 millones de dólares, la tecnología zk-SNARKs lidera Web3
Aleo: Cadena de bloques innovadora que utiliza la tecnología zk-SNARKs para lograr la protección de la privacidad.
Aleo es un proyecto de cadena de bloques enfocado en la protección de la privacidad, que utiliza la tecnología zk-SNARKs (ZKP) para mejorar la privacidad y la escalabilidad. La idea central del proyecto es permitir a los usuarios verificar su identidad y procesar datos sin revelar información personal.
Últimos avances del proyecto
La red Aleo genera aleatoriamente un circuito ZK cada hora. Los mineros deben intentar diferentes nonces como entrada del circuito dentro de esa hora, calcular el witness(, es decir, todas las variables en el circuito; este proceso también se conoce como synthesize), calcular la raíz de Merkle del witness y luego determinar si cumple con los requisitos de dificultad de minería. Debido a la aleatoriedad del circuito, este algoritmo de minería no es amigable para las GPU y presenta grandes desafíos en términos de aceleración de cálculo.
Situación de financiamiento
Aleo completó en 2021 una ronda de financiación Serie A de 28 millones de dólares liderada por a16z. En 2024, la compañía completó una ronda de financiación Serie B de 200 millones de dólares, con inversores como Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures y Samsung Next, entre otros. Esta ronda de financiación llevó la valoración de Aleo a 1,450 millones de dólares.
Características clave del proyecto
Protección de la privacidad
El núcleo de Aleo son los zk-SNARKs ( ZKPs ), una tecnología 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, 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 lo hace muy adecuado para el desarrollo de aplicaciones DeFi.
Los componentes principales incluyen:
Leo lenguaje de compilación: adaptado del lenguaje 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 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 cálculos, y permite la ejecución de funciones sin permisos.
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 rápidamente. 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 off-chain, 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 la congestión de la red y los altos costos similares a los de Ethereum.
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 con la capacidad de cálculo 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 ser generado, 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 monopolizan la red.
Mecanismo de incentivos: los validadores y los demostradores comparten las recompensas de bloque; se incentiva a los demostradores a convertirse en validadores mediante la participación de tokens, lo que mejora el nivel 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 gas, por lo que es especialmente adecuado para aplicaciones que requieren un largo tiempo de ejecución, como el aprendizaje automático.
Últimos desarrollos
Aprobación de voto de ARC-100: La propuesta relacionada con aspectos de cumplimiento, el bloqueo de fondos en la red Aleo y medidas de seguridad como la demora en la llegada de fondos ha sido aprobada, y el equipo está realizando ajustes finales.
Plan de incentivos para validadores: se lanzará el 1 de julio, con el objetivo de verificar el nuevo mecanismo de puzzle. El plan se ejecutará hasta el 15 de julio, durante el cual se asignarán 1 millón de puntos Aleo como recompensa.
Suministro de tokens: la cantidad inicial de suministro es de 1.500 millones de tokens, y el suministro inicial en circulación es de aproximadamente el 10%( aún no está determinado de manera definitiva). Estos tokens provienen principalmente de la tarea de Coinbase(7500 mil), que se distribuirán en los primeros seis meses, incluyendo recompensas por staking, operación de validadores y nodos de validación.
Reinicio de Testnet Beta: Este es el último reinicio de la red, una vez completado no se agregarán nuevas funciones, la red será similar a la red principal.
Congelación de código: se completó hace una semana.
Plan de 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 dentro del año y alcanzar finalmente 500. Se requieren 10,000 tokens para convertirse en delegado y 10 millones de tokens para convertirse en validador; estas cantidades disminuirán gradualmente con el tiempo.
Análisis del algoritmo Synthesis Puzzle
El núcleo del algoritmo puzzle más reciente de Aleo se llama Synthesis Puzzle, y sus principales características son las siguientes:
Cada epoch produce un EpochProgram común de forma fija.
A través de la construcción de un circuito de prueba R1CS para la entrada y el EpochProgram, genera la correspondiente asignación R1CS (, es decir, el testigo ), y lo utiliza como nodo hoja del árbol de Merkle.
Calcular la raíz de Merkle después de generar todos los nodos hoja y convertirla en proof_target de la solución.
Cada cálculo de puzzle se denomina nonce, construido a partir de la dirección que recibe la recompensa de minería, epoch_hash y un número aleatorio counter.
EpochProgram se genera a partir del hash de la época actual y se muestrean números aleatorios del conjunto de instrucciones.
Utilizar nonce como semilla de número aleatorio para generar la entrada del EpochProgram.
Agregar R1CS e input correspondientes a EpochProgram para realizar el cálculo de testigos.
Calcular la raíz de Merkle y determinar si cumple con el latest_proof_target del epoch actual.
Esta actualización hace que el puzzle pase de generar pruebas a generar testigos, la lógica de cálculo de todas las soluciones dentro de cada época es consistente, pero la lógica de cálculo entre diferentes épocas presenta grandes diferencias. El nuevo algoritmo abandona los cálculos MSM y NTT anteriores, lo que representa un nuevo desafío para la optimización en GPU. Dado que existen algunas dependencias de ejecución en serie en el proceso de generación de testigos, la implementación de la paralelización también enfrenta un gran desafío.