Original de Delphi Digital

Compilación original: Luffy, Foresight News

La teoría modular generalmente se considera que consta de cuatro capas: DA (disponibilidad de datos), consenso, ejecución y asentamiento. Sin embargo, una nueva capa, el probador compartido, puede integrarse en la teoría modular.

¿Podría ser la pieza que faltaba para una validación eficiente y escalable? Los mercados de probadores compartidos, agregación de pruebas y probadores están cambiando el panorama de los zk-SNARKs. Puedes aprender todo lo que necesitas saber en nuestro último informe.

A continuación se muestra un resumen 👇 de las principales conclusiones del informe

Breve reseña de zk Rollup

La solución zk Rollup puede escalar el tamaño de las transacciones de Ethereum, moviendo las transacciones off-chain para un procesamiento más rápido, al tiempo que permite un determinismo estricto sobre Ethereum y verifica con pruebas de zk (zk-SNARKs).

ZK Proof: verificación rápida, generación lenta

Si bien las pruebas zk son poderosas en términos de privacidad y escalado, crear pruebas en Ethereum puede ser costoso y lento.

El alto costo de la atestación limita las aplicaciones zk. Los nuevos enfoques, como la agregación de atestación y los mercados de probadores, tienen como objetivo abordar estas limitaciones.

Cadena de suministro Protender

Los secuenciadores compartidos proporcionan un alto rendimiento para las transacciones en 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, los rollups enfrentan el desafío de presentaciones costosas y separadas de zk-SNARKs.

Proof Network proporciona una solución: un mercado unificado donde varias aplicaciones ZK pueden externalizar la generación de pruebas a proveedores de servicios de atestación dedicados, lo que aumenta los costos y la eficiencia.

Los atcertificadores compartidos pueden mejorar en gran medida la situación de las aplicaciones que requieren soportes a prueba de zk pero carecen de recursos internos de desarrollo de circuitos o zkVM.

Actualmente, los Rollups presentan pruebas de zk separadas, lo que resulta en altos costos de gas durante las horas pico.

El objetivo de la red de probadores ahora es externalizar la generación de pruebas a proveedores de hardware especializados en orden para aumentar la eficiencia.

En una red con rollups más largos y conectada a una red de prueba, el ciclo de vida de la transacción funciona de la siguiente manera:

• Rollup envía una solicitud de atestación.
• El mecanismo de coincidencia selecciona un probador.
• El certificador satisface la solicitud.
• Pruebas agregadas.
• El probador envía la atestación final a L1 para su verificación.

Asignar el costo de validación

La singularidad de prueba se refiere a una variedad de técnicas diseñadas para Soltar on-chain prueba de validación costos.

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

Esta "validación por lotes" puede Soltar gas costos en comparación con la verificación de cada prueba individualmente.

Costo del probador de aplicaciones zk

El alto costo de verificación y el tiempo de prueba de las aplicaciones ZK se transfieren en última instancia al usuario.

En los últimos años, las aplicaciones zk (en su mayoría Rollups) han gastado casi $ 30 millones en gases para validar y publicar pruebas en la cadena on-chain.

Perfil de protocolo de agregación de pruebas

Nebra UPA

Nebra UPA permite a las aplicaciones zk agrupar pruebas largas para soltar el costo de la verificación, y afirman soportar alrededor de 10 pruebas por segundo en Testnet. Sus certificadoras están actualmente centralizadas, pero planean implementarlas más adelante sin necesidad de prueba de permiso.

Tienen un mecanismo de inclusión forzada similar a las cápsulas de escape L2 existentes. Si el probador revisa o latencia la prueba, la aplicación zk puede omitir el probador y aplicar la liquidación de la prueba en L1.

Capa alineada

Aligned Layer es la capa de verificación zk universal de Ethereum asegurada por EigenLayer AVS. Restakers proporciona a los usuarios una finalidad suave a través de la agregación de pruebas y confirmaciones únicas de Ethereum. El DA predeterminado es EigenDA, pero también puede elegir otras capas de DA, como Celestia o Avail.

AggLayer

AggLayer de Polygon es una infraestructura neutral para la interoperabilidad cross-chain segura. Su objetivo es unificar las redes Cadena de bloques independientes bajo un único cross-chain puente, facilitando la interoperabilidad sin comprometer Cadena de bloques soberanía.

El sistema está diseñado para agregar las pruebas en todos los rollups conectados y, a continuación, enviar una prueba única que contiene el árbol de Merkle para cada prueba individual enviada.

• No requiere una máquina virtual específica o entorno de ejecución
• Cadena de bloques es libre de elegir su propio gas Token
• No es necesario que esté sujeto a cogobernanza.

Bajo el capó, la infraestructura que reúne todo esto son los puentes cross-chain LxLy, que estandarizan un protocolo común de mensajería cross-chain para que los Rollups puedan comunicarse entre sí y con Ethereum mientras mantienen la soberanía.

Una breve explicación 👇 de cómo funciona LxLy

• Cada cadena realiza un seguimiento de las transferencias de retiro en un árbol de Merkle (árbol de salida).
• Todos los árboles de salida se fusionan en un árbol de salida global, que es compartido cross-chain
• Se actualizaron los árboles locales y globales para permitir la validación y los cálculos de retiro neto.

Además, Agglayer tiene una cross-chain puente compartida entre rollups conectados, lo que simplifica el flujo de activos entre L1 y L2. Los activos están garantizados en un contrato L1 sin envolver ni bloquear/acuñar.

Tradicionalmente, los marcos se han basado en un único probador interno, lo que supone un riesgo de censura y problemas de vida. Una red de probadores puede comenzar de manera centralizada y gradualmente la descentralización con el tiempo.

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

• Competencia de prueba: El probador más rápido gana, mejorando la eficiencia pero desperdiciando el cálculo (los costos se transfieren a los usuarios).
• Prueba Minería: Al igual que PoW Minería, se utilizan números aleatorios para evitar que el ganador se lo lleve todo (todavía existe un desperdicio computacional). Se espera que la aceleración de hardware en los ASIC SNARK solte los costos.