Cree un paquete acumulativo con Avail

Descripción general

La integración con Avail mejora el procesamiento de transacciones al mantener los datos fuera de la cadena y al mismo tiempo garantizar su disponibilidad y validez. El papel de Avail como cadena de bloques optimizada para la disponibilidad de datos es fundamental para esta adaptación, ya que ofrece un diseño robusto y modular para diversos casos de uso.

Si está buscando desarrollar con Avail en un hackathon, puede consultar una lista seleccionada de ideas en este documento de Notion.(se abre en una nueva pestaña).

Operaciones del sistema

• Procesamiento y secuenciación de transacciones : en el marco de resumen, las transacciones se procesan, secuencian y preparan para su envío a Avail.

• Envío de datos a Avail : Estos datos procesados ​​se transfieren de forma segura a Avail, siguiendo un protocolo específico diseñado para un manejo de datos eficiente y seguro.

• Configuración y conexión : los sistemas acumulativos están configurados para una integración perfecta con Avail, lo que garantiza una interacción y un flujo de datos fluidos.

• Interacción de contrato inteligente : los usuarios participan en contratos en cadena, proporcionando a Merkle pruebas de acciones como retiros. Estos contratos interactúan con Avail para autenticar y procesar estas transacciones.

Puente de atestación

DISPONIBLE EN TESTNET Attestation Bridge de Avail está disponible en testnet para Ethereum.

• Verificación optimizada con Attestation Bridge : Attestation Bridge de Avail simplifica el proceso de verificación en L1. Este puente facilita la publicación directa de certificaciones de disponibilidad de datos en la cadena de bloques L1, aliviando así la carga de trabajo del contrato de verificación.

• Función del contrato de verificación : con el puente de certificación implementado, la función principal del contrato de verificación es verificar estas certificaciones en cadena, garantizando la disponibilidad e integridad de los datos.

Interacción con la L1

• Funcionalidad del contrato de verificación : situado en la L1, este contrato desempeña una doble función: verifica la precisión de las transacciones y verifica la disponibilidad de los datos, utilizando las certificaciones de Avail.

• Dinámica de contratos L1 : los rollups mantienen una relación comunicativa con L1 a través de contratos dedicados. El contrato de certificación principal almacena los compromisos estatales (raíces de datos de Merkle) de los productores de bloques. Paralelamente, un contrato de verificación se encarga de los controles de validez de la transición estatal.

Seguridad y finalización

• Consenso del validador : los validadores de Avail, que forman parte de un sistema de prueba de participación nominada, llegan a un consenso sobre los lotes de transacciones.

• Gadget de finalidad GRANDPA : El consenso se solidifica utilizando el gadget de finalidad GRANDPA, garantizando la disponibilidad de los datos.

• Publicación de raíz de datos : los secuenciadores publican la raíz de datos en L1, vinculando la disponibilidad de datos de Avail con la seguridad de L1.

Aprovechar clientes ligeros y verificación de datos

• Verificación de datos independiente : los clientes ligeros de Avail permiten la verificación de la disponibilidad de datos sin depender de la mayoría de los nodos.

• Muestreo de datos : los clientes ligeros pueden tomar muestras de los bloques en la cadena de bloques de Avail utilizando un AppId para validar la disponibilidad de los datos.

Arquitectura Validium con Avail

En el modelo Validium, las transacciones son recopiladas por un secuenciador, que las agrupa. La función del secuenciador se extiende más allá del ordenamiento de transacciones: prepara un árbol Merkle de transacciones, donde cada hoja representa una transacción o un conjunto de transacciones. La raíz de este árbol Merkle, conocida como hash por lotes, es crucial para garantizar la integridad del lote de transacciones y para construir pruebas de inclusión.

Avail entra en juego como destinatario de los datos de esta transacción. Al recibir las transacciones por lotes, Avail ejecuta la codificación de borrado.

Una prueba de inclusión es una prueba Merkle generada por Avail para dar fe de que una transacción específica es parte del lote y se ha registrado en la cadena de bloques de Avail. Es esencial para verificar la presencia de transacciones sin descargar el conjunto de datos completo.

Simultáneamente, el estado del sistema se calcula ejecutando estas transacciones. Un Prover, que es una entidad computacional, toma las transiciones de estado y genera pruebas criptográficas, como zk-SNARK o STARK, para dar fe de la validez de los cambios de estado sin revelar los datos subyacentes.

Un remitente de secuencia es responsable de comunicarse con L1. Toma las pruebas de inclusión y los hashes por lotes de Avail, junto con las pruebas de validez del Prover, y las envía a la cadena L1. Este proceso de envío generalmente implica llamadas de contratos inteligentes que registran el hash de los datos de la transacción y las pruebas de validez en la cadena de bloques L1.

La L1 actúa como la capa principal para la resolución y firmeza de disputas. Si bien no almacena los datos de la transacción en sí, conserva los compromisos criptográficos con los datos. Esto garantiza que, si alguna vez surge una disputa o es necesaria una verificación, las pruebas se puedan cotejar con los compromisos para determinar la validez de las transiciones de estado y la disponibilidad de datos.

Esta configuración aprovecha la seguridad de L1 mientras descarga el trabajo intensivo de datos a Avail, que está optimizado para manejar grandes cantidades de datos de manera eficiente y segura. Al hacerlo, las cadenas Validium pueden reducir significativamente sus costos y mejorar la escalabilidad, manteniendo al mismo tiempo un alto nivel de confianza y seguridad.

Arquitectura óptima con disponibilidad

En el modelo Optimium, las transacciones se agregan de manera similar mediante un secuenciador. Este secuenciador organiza las transacciones en lotes y calcula una raíz de datos, una raíz del árbol Merkle que representa el lote, crucial para la integridad y la prueba de inclusión.

Avail está integrado como una capa de disponibilidad de datos. Una vez que el secuenciador envía lotes de transacciones a Avail, emplea codificación de borrado para garantizar la redundancia e integridad de los datos. Luego, Avail genera compromisos polinómicos KZG y la raíz de datos, esencial para confirmar la disponibilidad de los datos.

La siguiente fase implica el cálculo del estado del sistema, ejecutado en el resumen, según la arquitectura de la cadena. La solución de disponibilidad de datos de Avail garantiza que los datos de la transacción sean fácilmente accesibles para cualquier cálculo o verificación necesarios.

Un remitente de secuencia, en esta arquitectura, es responsable de enviar pruebas a la cadena principal. Estos incluyen la raíz de datos de Avail, lo que garantiza que la disponibilidad de los datos esté anclada a la seguridad de Ethereum o la L2 correspondiente.

Esta arquitectura proporciona el doble beneficio de la seguridad de la cadena principal para la resolución de disputas y la eficiencia de Avail en el manejo de datos. Al transferir la disponibilidad de datos a Avail, las cadenas Optimium pueden lograr una mayor escalabilidad y eficiencia mientras mantienen una seguridad y una descentralización sólidas.

Suites de soluciones DA

Avail Uncharted es una iniciativa central dentro del ecosistema Avail dedicada a explorar territorios inexplorados en tecnología blockchain modular. Impulsada por el equipo central de Avail, la misión es doble: fomentar proyectos innovadores y cultivar una colaboración estrecha con la comunidad.

Proyecto	Descripción	Repositorio
Paquete acumulativo de EVM optimista disponible	Una estructura acumulativa soberana compatible con EVM.	op-evm(se abre en una nueva pestaña)
Adaptador DA para SDK soberano	Un adaptador que permite acumulaciones soberanas modulares utilizando el SDK de Sovereign Rollup.	adaptador-soberano-da(se abre en una nueva pestaña)
Interfaz DA para Madara Starknet	Una interfaz DA unificada que permite al secuenciador Madara Starknet publicar datos en Avail.	interfaz-madara-da(se abre en una nueva pestaña)
Validium basado en zkEVM con tecnología disponible	Un Validium basado en la pila Polygon zkEVM que utiliza Avail en lugar del DAC nativo para la disponibilidad de datos.	-nodo de validium(se abre en una nueva pestaña) -contratos-validium(se abre en una nueva pestaña)
Adaptador DA para Optimismo SDK	Un adaptador que facilita la integración de Avail DA con la pila operativa Rollup SDK de Optimism.	adaptador-de-pila-opcional-disponible(se abre en una nueva pestaña)
Adaptador DA para Rollkit	Un adaptador diseñado para el marco modular acumulativo de Rollkit que permite soluciones compatibles con ABCI.	rollkit-da-adaptador