Autor original: Delphi Digital

Compilación original: Luffy, Foresight News

Generalmente se cree que la teoría modular consta de cuatro capas: DA (disponibilidad de datos), consenso, ejecución y liquidación. Sin embargo, se puede integrar una nueva capa, el probador compartido, en la teoría modular.

¿Podría ser la pieza que falta para una verificación eficiente y escalable? Los probadores compartidos, las agregaciones de pruebas y los mercados de probadores están cambiando el panorama de las pruebas de conocimiento cero. Puede descubrir todo lo que necesita saber en nuestro último informe.

A continuación se presenta un resumen de los puntos clave del informe.

Una breve reseña de zk Rollup

La solución zk Rollup escala el tamaño de las transacciones de Ethereum, moviendo las transacciones fuera de la cadena para un procesamiento más rápido, al tiempo que permite una finalidad firme además de Ethereum y la verificación a través de pruebas zk (pruebas de conocimiento cero).

Prueba de zk: rápido de verificar, lento de generar

Si bien es poderosa en términos de privacidad y escalabilidad, la prueba de zk puede ser costosa y lenta de crear en Ethereum.

Los altos costos de prueba limitarán las aplicaciones de zk. Nuevos enfoques, como la agregación de pruebas y los mercados de pruebas, pretenden abordar estas limitaciones.

cadena de suministro del certificador

El secuenciador compartido proporciona un alto rendimiento para transacciones entre cadenas de bloques. Sin embargo, en realidad no prueban nada. Es posible que en el futuro se integren con una red de probadores compartida para delegar esta tarea.

Hoy en día, Rollup se enfrenta al desafío de las costosas y separadas presentaciones de pruebas sin conocimiento.

Prover Network proporciona una solución: un mercado unificado donde varias aplicaciones zk pueden subcontratar la generación de pruebas a proveedores de servicios de pruebas especializados, aumentando así el costo y la eficiencia.

Los atestados compartidos pueden mejorar en gran medida la situación de las aplicaciones que requieren soporte de atestación zk pero carecen de recursos internos de desarrollo de circuitos o zkVM.

Actualmente, Rollup presenta pruebas zk por separado, lo que genera altos costos de gas durante las horas pico.

La red de probadores ahora pretende subcontratar la generación de pruebas a proveedores de hardware especializados para aumentar la eficiencia.

En una red con múltiples acumulaciones conectadas a una red de probadores, el ciclo de vida de la transacción funciona de la siguiente manera:

  • Rollup envía una solicitud de certificación.

  • El mecanismo de emparejamiento selecciona un probador.

  • El probador satisface la solicitud.

  • Junte las pruebas.

  • El probador envía la prueba final a L1 para su verificación.

Costos de verificación amortizados

Proof Singularity se refiere a varias tecnologías diseñadas para reducir el costo de las pruebas de verificación en cadena.

La agregación de pruebas es una de estas técnicas, que comprime múltiples pruebas válidas en una única prueba que las verifica todas.

Esta "verificación por lotes" reduce los costos de gas en comparación con la verificación de cada prueba individualmente.

Costo del probador de la aplicación zk

Los altos costos de verificación y los tiempos de prueba de las aplicaciones zk eventualmente se trasladarán a los usuarios.

En los últimos años, las aplicaciones zk (principalmente Rollup) han gastado casi 30 millones de dólares en validación de gas y publicación de pruebas en cadena.

Descripción general del protocolo de agregación de pruebas

Nebra UPA

Nebra UPA permite que las aplicaciones zk combinen muchas certificaciones para reducir los costos de verificación y afirman admitir ~10 certificaciones por segundo en testnet. Su probador está actualmente centralizado, pero hay planes para habilitar pruebas sin permiso en el futuro.

Tienen un mecanismo de inclusión forzada similar a las cápsulas de escape L2 existentes. Si el probador censura o retrasa la prueba, las aplicaciones zk pueden pasar por alto al probador y forzar la liquidación de la prueba en L1.

Capa alineada

Aligned Layer es la capa de verificación zk universal de Ethereum protegida por EigenLayer AVS. Los restakers brindan a los usuarios una finalidad suave mediante la agregación de pruebas y confirmaciones únicas de Ethereum. El DA predeterminado es EigenDA, pero se pueden seleccionar otras capas de DA, como Celestia o Avail.

 AggLayer

AggLayer de Polygon es una infraestructura neutral para interacciones seguras entre cadenas. Su objetivo es unificar redes blockchain independientes bajo un puente entre cadenas, promoviendo la interoperabilidad sin comprometer la soberanía de blockchain.

El sistema está diseñado para agregar las pruebas en todos los paquetes acumulativos conectados y luego enviar una prueba única que contiene el árbol Merkle de cada prueba individual enviada.

  • No requiere una máquina virtual específica ni un entorno de ejecución.

  • Las blockchains son libres de elegir sus propios tokens de Gas

  • No es necesario que esté sujeto a una gobernanza compartida.

Debajo del capó, la infraestructura que lo reúne todo es el puente entre cadenas LxLy, que estandariza un protocolo común de mensajería entre cadenas para que los Rollups se comuniquen entre sí y con Ethereum mientras mantienen la soberanía.

Una breve explicación de cómo funciona LxLy

  • Cada cadena rastrea las transferencias de retiro en un árbol Merkle (árbol de salida)

  • Todos los árboles de salida se fusionan en un árbol de salida global, compartido entre cadenas.

  • Árboles locales y globales actualizados para permitir la validación y los cálculos de retiro neto.

Además, Agglayer tiene un puente de cadena cruzada compartido entre Rollups conectados que simplifica el flujo de activos entre L1 y L2. Los activos están garantizados en un contrato L1 y no requieren envoltorio ni bloqueo/acuñación.

Tradicionalmente, los marcos se han basado en un único certificador interno, con el riesgo de censura y problemas de vida. Una red de probadores puede comenzar siendo centralizada y descentralizarse gradualmente con el tiempo.

La descentralización del mercado de probadores sigue siendo una cuestión abierta, pero se están explorando algunos enfoques:

  • Concurso de prueba: gana el probador más rápido, lo que aumenta la eficiencia pero desperdicia cálculo (el costo se transfiere al usuario).

  • Minería de prueba: similar a la minería PoW, se utilizan números aleatorios para evitar que el ganador se lo lleve todo (aún existe desperdicio de cálculo). La aceleración de hardware en los ASIC SNARK promete reducir costos.