El cofundador de Ethereum, Vitalik Buterin, ha propuesto un nuevo marco para la seguridad del rollo de la capa-2 (L2) que podría traer una finalidad más rápida y garantías de confianza más fuertes al ecosistema de escala de Ethereum.
En una propuesta reciente, Buterin describió una hoja de ruta construida alrededor de una arquitectura a prueba de híbrido que combina pruebas de conocimiento cero, rollups optimistas y entornos de ejecución de confianza (TEE) mientras evita la excesiva depilación en cualquier sistema único.
La propuesta llega cuando el paisaje L2 de Ethereum madura. Se espera que varios acurrucados hayan alcanzado la etapa 1 en la hoja de ruta de escala de Ethereum, y se espera que las próximas actualizaciones, como Pectra y Fusaka, expandan significativamente la disponibilidad de blobs de datos para el uso de la criatura.
Buterin dijo que el enfoque ahora está en llevar estos rollups a la Etapa 2, lo que requiere un mayor grado de confianza y finalidad de transacciones más rápida. A corto plazo, cree que el enfoque más sólido es un sistema de tres agotamiento, donde dos de tres mecanismos deben validar la raíz de estado de un rollup para lograr la finalidad.
Bajo este modelo, si tanto un ZK Prover y un TEE Prover aprueban una raíz de estado, el resultado se finaliza de inmediato. Si solo uno lo aprueba, el sistema vuelve a un modelo optimista que requiere un período de desafío de siete días.
La capa optimista actúa como un árbitro final, lo que evita que los sistemas semiensrustados anulen las decisiones cuando los sistemas más confiables no están de acuerdo.
Finalidad sin confianza
Buterin enfatizó que esta arquitectura está cuidadosamente diseñada para cumplir con los objetivos específicos de seguridad y descentralización que se describen para los acumulaciones de la Etapa 2.
Proporciona una rápida finalidad en las operaciones normales, garantiza que los sistemas de prueba minimizados de confianza no puedan ser anulados por componentes semi-controlados y reduce la dependencia de la generación actual de sistemas ZK, que siguen siendo vulnerables a los errores y las exploits de código compartido.
También introdujo un mecanismo para que un Consejo de Seguridad sirviera como salvaguardia. Este consejo podría actualizar inmediatamente la lógica de TEE en caso de falla y realizar cambios retrasados en los sistemas ZK u optimistas.
En escenarios raros, como los procesadores que producen resultados contradictorios, el consejo tendría la autoridad de intervenir al instante, preservando la integridad del sistema.
Según Buterin, esta combinación, un prover ZK, un prover optimista y un tee, representa la única forma viable de lograr los objetivos de Ethereum en la etapa 2 sin sacrificar la velocidad o la seguridad.
Los sistemas ZK y OP se basan en supuestos matemáticos fundamentalmente diferentes, lo que hace que la probabilidad de vulnerabilidades compartidas sea extremadamente baja. Como tal, combinarlos con una camiseta tiene un equilibrio práctico que es poco probable que falle en conjunto.
Escala con gotas y pruebas agregadas
Mirando más allá de la arquitectura de prueba, Buterin también abordó la capa de datos en evolución de Ethereum. Señaló la actualización de Pectra, esperada en unas pocas semanas, lo que aumentará el espacio de blob a seis unidades por bloque.
Una actualización posterior, Fusaka, podría aumentar ese número a hasta 72, expandiendo drásticamente el ancho de banda de datos disponible para los rollups. Más espacio de blob reduce la congestión y hace que las transacciones L2 sean más baratas y más escalables.
La hoja de ruta también llamó la atención sobre una pieza faltante en la infraestructura de Ethereum: una capa de agregación de prueba de todo el ecosistema estandarizada. Buterin argumentó que las aplicaciones en la pila de Ethereum, desde los rollups y los protocolos de privacidad hasta las herramientas de recuperación de la billetera, no deberían tener que presentar pruebas individuales de conocimiento cero.
En cambio, un mecanismo de agregación compartida permitiría que todas esas aplicaciones combinen sus salidas en una sola prueba unificada. Esto reduciría drásticamente los costos de gas al difundir la carga de gas de aproximadamente 500,000 gas de la sumisión de prueba en todos los participantes.
Buterin señaló que la comunidad Ethereum ya está en camino de producir ZK-EVM capaces de generar pruebas dentro de una sola ranura, incluso en las peores condiciones.
A medida que estos sistemas maduran y eliminan errores críticos, las camisetas eventualmente podrían eliminarse por completo. En ese escenario, los rollups de Ethereum lograrían una plena confianza, con finalidad instantánea y dependencia cero de componentes semi-controlados.
Mencionado en este artículo
(Tagstotranslate) Ethereum
