En el vertiginoso mundo cripto, la seguridad y la eficiencia son fundamentales. Imaginá poder verificar la validez de transacciones y datos en Ethereum de manera más rápida y accesible, reduciendo significativamente los costos asociados. Esto no es solo una posibilidad, sino la realidad que Aligned Layer está haciendo posible.

Aligned Layer no solo está simplificando la adopción de sistemas de conocimiento cero (ZK) en Ethereum, sino que también está acelerando su desarrollo hacia un futuro más seguro y eficiente. Descubre cómo esta innovadora plataforma está democratizando el acceso a la verificación de datos seguros, allanando el camino para una nueva era de aplicaciones descentralizadas más rápidas y económicas.

Indicé

La verificación eficiente de pruebas en Ethereum ha sido un desafío crucial para la adopción de sistemas de conocimiento cero (ZK). Aligned Layer se posiciona como una solución innovadora que no solo acelera este proceso, sino que también lo hace más accesible económicamente.

¿Qué es Aligned Layer?

Aligned Layer es una plataforma innovadora diseñada para acelerar y simplificar la verificación de pruebas en la red Ethereum. Su principal objetivo es facilitar la adopción de sistemas de conocimiento cero (ZK) al hacerlos más rápidos y económicos. Esto significa que Aligned Layer permite a las aplicaciones descentralizadas (dApps) verificar la validez de transacciones y datos de manera eficiente, reduciendo significativamente los costos asociados. Además, la plataforma no solo se centra en la eficiencia tecnológica, sino que también apoya activamente el desarrollo comunitario y la investigación en tecnologías de ZK, fortaleciendo así el ecosistema Ethereum para futuras innovaciones

¿Por qué es importante?

Aligned Layer es importante por varias razones clave:

  1. Eficiencia y Velocidad: Mejora significativamente la velocidad y eficiencia de la verificación de pruebas en Ethereum, lo cual es crucial para mantener un rendimiento óptimo de las aplicaciones descentralizadas (dApps).
  2. Reducción de Costos: Al permitir una verificación de pruebas hasta un 90% más económica, Aligned Layer democratiza el acceso a tecnologías avanzadas como los sistemas de conocimiento cero (ZK), haciendo que sean más accesibles para desarrolladores y usuarios.
  3. Innovación Tecnológica: Impulsa la adopción y el desarrollo de sistemas de ZK en Ethereum, promoviendo así la innovación en seguridad y privacidad dentro del ecosistema blockchain.
  4. Apoyo a la Comunidad: Alined Layer no solo se enfoca en la tecnología, sino que también apoya activamente el desarrollo comunitario y la investigación en tecnologías de ZK, fortaleciendo el entorno de colaboración y aprendizaje en Ethereum.

Simplificando la Adopción de Pruebas ZK

Aligned Layer está revolucionando Ethereum al simplificar y acelerar la adopción de pruebas de conocimiento cero. Esto significa que las aplicaciones descentralizadas (dApps) pueden ahora verificar la validez de transacciones y datos con mayor rapidez y eficiencia.

Transformando Ethereum: Más Rápido y Más Económico

Uno de los mayores obstáculos para Ethereum ha sido la integración de nuevos sistemas de pruebas, como los SNARKs, debido a su complejidad y costo. Aligned Layer está reduciendo significativamente estos obstáculos, haciendo que la verificación de pruebas sea hasta un 90% más económica, lo que democratiza el acceso a la verificación de datos seguros.

Impulsores del Cambio en Ethereum

Aligned Layer no solo se enfoca en la eficiencia y la economía, sino que también apoya activamente el desarrollo comunitario y la investigación en tecnologías de conocimiento cero. Esto asegura un ecosistema Ethereum más robusto y preparado para el futuro.

¿Es Aligned de código abierto?

Sí, Aligned es un proyecto de código abierto. Esto significa que su código fuente está disponible para el público en general. Cualquier persona interesada puede revisar, modificar y distribuir el código de acuerdo con las condiciones establecidas en la licencia del proyecto.

¿Dónde encontrar el repositorio de Aligned?

El repositorio de Aligned se encuentra en GitHub, una de las plataformas más populares para alojar proyectos de desarrollo de software. Puedes visitar el repositorio de Aligned para explorar el código, ver los cambios recientes y contribuir con tus propias ideas y mejoras. Además, en su página de GitHub, puedes encontrar una sección de preguntas frecuentes que aborda muchas de las dudas comunes sobre el proyecto.

¿Cómo puedes contribuir a Aligned?

Contribuir a un proyecto de código abierto como Aligned es una excelente manera de mejorar tus habilidades de desarrollo y colaborar con una comunidad de personas con ideas afines. Aquí hay algunas formas de contribuir:

  1. Reportar problemas: Si encuentras algún error o problema, puedes abrir un “issue” en el repositorio de GitHub.
  2. Sugerir mejoras: Si tienes ideas sobre cómo mejorar el proyecto, puedes sugerir mejoras en la plataforma.
  3. Desarrollar nuevas funcionalidades: Si tienes experiencia en desarrollo, puedes contribuir con nuevas funcionalidades y enviar un “pull request”.

Beneficios del código abierto

El código abierto ofrece numerosas ventajas tanto para los desarrolladores como para los usuarios:

  • Transparencia: Todos pueden ver cómo funciona el software y cómo se desarrollan las nuevas funcionalidades.
  • Colaboración: Facilita la colaboración entre desarrolladores de todo el mundo.
  • Seguridad: Permite que más personas revisen el código y encuentren posibles vulnerabilidades.
  • Innovación: La comunidad puede aportar nuevas ideas y enfoques que pueden enriquecer el proyecto.

¿Aligned Layer es una L2?

Aligned está relacionado con Ethereum pero no es un L2 ya que no produce bloques. Es una red descentralizada de verificadores.

¿Cuál es su rendimiento?

Aligned ejecuta el código del verificador de forma nativa. El tiempo de verificación depende del sistema de prueba, la ejecución del programa y la opinión del público. Generalmente, la mayoría de los verificadores se pueden ejecutar en el orden de ms en el hardware del consumidor. Podemos optimizar el código para mayor velocidad y aprovechar la paralelización ejecutándolo de forma nativa. Tomando 3 ms por prueba, Aligned pudo verificar 300 pruebas por segundo y, utilizando paralelización, más de 10.000 pruebas por segundo.

¿Qué son ZK-SNARKs?

Los SNARKs han captado considerable atención recientemente debido a su amplia utilidad en áreas como la escalabilidad blockchain, mecanismos de identidad, aprendizaje automático verificable y la lucha contra la desinformación y las noticias falsas. Aunque se han desarrollado nuevas aplicaciones, los SNARKs existen desde hace mucho tiempo.

Propiedades Clave de los SNARKs

Los ZK-proofs no son una invención reciente. Las definiciones, fundamentos, teoremas importantes e incluso protocolos clave se establecieron desde mediados de los años 1980.

Evolución Histórica de los SNARKs

Las ideas fundamentales que forman la base de los SNARKs modernos se propusieron en los años 1990 (Sumcheck) y 2000 (GKR). Sin embargo, su adopción generalizada se vio obstaculizada por la falta de casos de uso convincentes y la potencia computacional requerida.

Desarrollos Clave en la Historia de los SNARKs

En 1991, Babai, Fortnow, Lewin y Szegedy presentaron un protocolo para verificar computaciones en tiempo polilogarítmico.

2010, Kate, Zaverucha y Goldberg introdujeron un esquema de compromiso para polinomios usando grupos de apareamiento bilineales.

2014, Pinocchio introdujo los primeros esquemas prácticos para computaciones generales.

Futuro de los SNARKs

STARKs y Cairo-VM muestran el poder de demostrar computaciones generales ejecutadas sobre una máquina virtual. Se esperan mejoras significativas en los verificadores, aunque la verificación on-chain sigue siendo un desafío principal para las aplicaciones verificables.

Aligned Testnet 3

Aligned Testnet 3 marca un hito significativo en el camino de Ethereum hacia la verificación escalable de pruebas de conocimiento cero (ZK). Este testnet, el primero abierto a operadores externos para AVS EigenLayer, tiene como objetivo simplificar y democratizar la adopción de pruebas ZK en aplicaciones descentralizadas.

Introducción a Aligned Testnet 3

Aligned Testnet 3 introduce AVS EigenLayer, ofreciendo a los desarrolladores una plataforma robusta para verificar pruebas ZK a una fracción del costo comparado con los métodos tradicionales. Este avance es crucial para mejorar la escalabilidad y eficiencia de Ethereum.

Características de Aligned Testnet 3

  • Alta Capacidad de Procesamiento: Capaz de procesar más de 1000 pruebas por segundo.
  • Múltiples Sistemas de Prueba: Soporta Halo2, SP1 y Gnark (Groth16 y Plonk + KZG).
  • Reducción de Costos: Permite a los desarrolladores verificar pruebas a un costo significativamente reducido en todos los sistemas de prueba soportados.

Ventajas de Rendimiento

Aligned utiliza verificación en metal desnudo, optimizando la velocidad y el rendimiento. Este enfoque permite la paralelización eficiente y soporta sistemas de prueba que son económicamente inviables en la Máquina Virtual Ethereum (EVM).

Cómo Interactuar con Aligned Testnet 3

Guía Paso a Paso:

  1. Instalación de Aligned: Instala Aligned fácilmente para comenzar a verificar pruebas.
  2. Envío de Pruebas: Envía pruebas usando scripts proporcionados y monitorea el estado del lote.
  3. Verificación en la Cadena: Verifica el estado de la verificación de pruebas usando la integración de Aligned con Ethereum Holesky testnet.

Participación Comunitaria

Aligned Testnet 3 invita a desarrolladores y operadores a participar en la mejora de sus características y funcionalidades. Únete a la búsqueda Galxe y mantente atento a futuras oportunidades de participación comunitaria.

Protocolo Sumcheck

El protocolo Sumcheck proporciona beneficios significativos a Aligned Layer al permitir verificaciones eficientes y seguras dentro de su infraestructura blockchain. Al simplificar la verificación de polinomios multivariados, Aligned puede implementar sistemas de prueba y verificación más robustos y rápidos. Esto es crucial para mantener la integridad y la seguridad de las transacciones y operaciones dentro de su plataforma, asegurando que los datos y las transacciones sean verificados de manera eficiente y confiable.

Herramienta eficiente

El protocolo Sumcheck es una herramienta eficiente para desarrollar argumentos sucintos en sistemas de prueba computacional. Es utilizado ampliamente en sistemas como Lasso/Jolt de a16z crypto, HyperPlonk, Binius, Spartan y GKR. Propuesto por Lund, Fortnow, Karloff y Nisan en 1992, el protocolo trabaja sobre polinomios multivariados, permitiendo a un verificador verificar la suma de evaluaciones polinómicas con eficiencia.

Introducción al Protocolo Sumcheck

El protocolo Sumcheck opera sobre polinomios multivariados, donde el probador intenta convencer al verificador de la suma de evaluaciones polinómicas sobre un conjunto dado, reduciendo significativamente el trabajo del verificador.

Funcionamiento del Protocolo Sumcheck

El protocolo procede en n rondas de intercambio de mensajes entre el probador y el verificador, permitiendo al último verificar la corrección del resultado en tiempo eficiente.

Aplicaciones del Protocolo Sumcheck

El uso del protocolo Sumcheck habilita la verificación eficiente de resultados en protocolos como la verificación de cero conocimiento.

Conclusión

Aligned Layer está transformando el ecosistema Ethereum al acelerar y simplificar la verificación de pruebas con tecnología de conocimiento cero (ZK). Esto no solo mejora la eficiencia y reduce costos significativamente, sino que también democratiza el acceso a estas tecnologías avanzadas. Al apoyar el desarrollo comunitario y la investigación, Aligned Layer fortalece el futuro de las aplicaciones descentralizadas, promoviendo una nueva era de blockchain más rápida, económica y segura.