Polygon zkEVM es una solución de escalado de capa 2 (capa 2) para Ethereum que utiliza tecnología de rollups de conocimiento cero (zk-rollup) para aumentar el rendimiento de las transacciones y reducir los costos de gas, al tiempo que mantiene la compatibilidad con la Máquina Virtual de Ethereum (EVM) [1]. Al procesar transacciones fuera de la cadena y luego enviar pruebas criptográficas, conocidas como pruebas de conocimiento cero succinct non-interactive arguments of knowledge (zk-SNARKs), al mainnet de Ethereum para su verificación, hereda la robusta seguridad de la capa 1 mientras aligera su carga computacional [2]. Su arquitectura se basa en un sistema de prueba (zkProver) que genera pruebas de validez para lotes de transacciones, garantizando que solo se acepten transiciones de estado correctas mediante un contrato verificador en Ethereum [3]. Gracias a su enfoque de equivalencia EVM (equivalencia EVM), los desarrolladores pueden desplegar contratos inteligentes de Ethereum existentes con herramientas como MetaMask, Hardhat y Foundry sin modificaciones significativas [4]. La red soporta aplicaciones en DeFi, NFTs y juegos, facilitando la escalabilidad sin sacrificar la seguridad. A pesar de sus avances técnicos, en 2026 se anunció la desactivación progresiva del mainnet beta de Polygon zkEVM, con un periodo de transición de al menos 12 meses para permitir la retirada de activos y la migración hacia otras soluciones del ecosistema como Polygon PoS o Polygon CDK [5].
Arquitectura y funcionamiento técnico
Polygon zkEVM es una solución de escalado de capa 2 (capa 2) que utiliza tecnología de rollups de conocimiento cero (zk-rollup) para procesar transacciones fuera de la cadena principal de Ethereum y luego verificarlas mediante pruebas criptográficas. Este diseño permite aumentar significativamente el rendimiento y reducir los costos de gas, mientras hereda la seguridad robusta de la capa 1. La arquitectura general se basa en la ejecución descentralizada de transacciones, la generación de pruebas de validez y la verificación en cadena a través de contratos inteligentes.
Componentes clave del sistema
El funcionamiento técnico de Polygon zkEVM se organiza en torno a varios componentes interconectados que trabajan en conjunto para garantizar la escalabilidad, seguridad y compatibilidad con la Máquina Virtual de Ethereum (EVM). Entre los más destacados se encuentran:
- Secuenciador (secuenciador): Es responsable de recopilar, ordenar y ejecutar transacciones en capa 2. Aunque actualmente opera de forma centralizada bajo el control de Polygon Labs, el sistema está diseñado para evolucionar hacia un modelo descentralizado. El secuenciador agrupa las transacciones en lotes y las envía a Ethereum como calldata, asegurando la disponibilidad de datos [6].
- zkNode: Es el software cliente que permite a los nodos sincronizarse con la red, verificar transacciones y mantener una copia del estado de capa 2. Facilita la descentralización al permitir que terceros participen en la validación del sistema [7].
- zkProver (zkProver): Este componente genera pruebas de conocimiento cero que verifican criptográficamente que un lote de transacciones se ejecutó correctamente según las reglas de la EVM. Utiliza un sistema de circuitos basado en aritmética polinomial para modelar cada operación de la EVM, asegurando que solo se acepten transiciones de estado válidas [8].
Generación y verificación de pruebas de validez
El núcleo del funcionamiento técnico de Polygon zkEVM es el uso de pruebas de validez en lugar de pruebas de fraude, lo que lo distingue de los rollups optimistas. Cada lote de transacciones procesado en capa 2 debe ser respaldado por una prueba criptográfica que demuestre su corrección antes de que se considere finalizado en Ethereum.
El proceso comienza con la ejecución de las transacciones en un entorno compatible con la EVM, generando un rastro de ejecución detallado que registra cada paso del cálculo: opcodes, operaciones en la pila, acceso a memoria y almacenamiento, consumo de gas y transiciones del contador de programa. Este rastro sirve como entrada para el sistema de prueba.
Posteriormente, el rastro se traduce a un conjunto de restricciones aritméticas mediante el lenguaje PIL (Polynomial Identity Language), que define las condiciones que deben cumplirse para que una ejecución sea válida [9]. Estas restricciones se compilan en un sistema de tipo Rank-1 Constraint System (R1CS), adecuado para la generación de pruebas de conocimiento cero.
El sistema emplea un enfoque modular con subcircuitos especializados, como el circuito EVM, el circuito de estado, el circuito de memoria y el circuito de hash, que se integran en un "super circuito" para garantizar la coherencia global [10]. Este diseño mejora la mantenibilidad y permite optimizaciones específicas por componente.
Uso de PLONK, UltraPLONK y compromisos KZG
Polygon zkEVM utiliza los marcos de prueba PLONK y UltraPLONK como base para su sistema de pruebas de conocimiento cero. PLONK proporciona una estructura universal y actualizable para aritmetizar las operaciones de la EVM, mientras que UltraPLONK extiende esta funcionalidad con compuertas personalizadas y argumentos de búsqueda, lo que permite expresar eficientemente operaciones complejas como Keccak-256, ECDSA y operaciones bit a bit [11].
Estos marcos dependen de esquemas de compromiso polinomial, especialmente los compromisos KZG (Kate-Zaverucha-Goldberg), que permiten al probador comprometerse con polinomios sin revelarlos completamente. Durante la verificación, se proporcionan pruebas de apertura que permiten al verificador comprobar que las evaluaciones son consistentes con el compromiso original, utilizando operaciones de emparejamiento elíptico [12].
La verificación en cadena se realiza mediante un contrato inteligente en Ethereum que aprovecha precompilados como EIP-2537 (para emparejamientos BLS12-381) y futuros como EIP-8149, que optimizan la evaluación múltiple de puntos KZG, reduciendo significativamente el costo de verificación [13].
Recursión de pruebas y optimización del rendimiento
Para escalar eficientemente la generación de pruebas, Polygon zkEVM implementa recursión de pruebas mediante una arquitectura híbrida que combina STARKs y SNARKs. Los pruebas STARK se generan para lotes individuales y luego se agregan recursivamente en una única prueba SNARK final, típicamente usando Groth16, conocido por su tamaño pequeño y verificación rápida [14].
Esta recursión permite reducir el número de pruebas enviadas a Ethereum, disminuyendo el costo de verificación y permitiendo la paralelización del proceso de prueba. Optimizaciones recientes han logrado reducir el tiempo de generación de pruebas Groth16 en hasta un 40%, mejorando significativamente el rendimiento [15].
Además, se han implementado mejoras a nivel de circuito, como argumentos de búsqueda para operaciones costosas (por ejemplo, verificaciones de rango), reducción de grado polinomial y alturas de paso variables, que permiten mayor flexibilidad y densidad en el diseño del circuito [16].
Aceleración por hardware y optimizaciones criptográficas
El alto costo computacional de la generación de pruebas se mitiga mediante aceleración por hardware. Se han desarrollado soluciones basadas en FPGA que logran generar una prueba para un lote de 500 transacciones en solo 84 segundos, con un aumento del 1.4x en velocidad frente a configuraciones basadas únicamente en CPU [17].
Asimismo, se están explorando arquitecturas basadas en GPU y unidades de procesamiento verificables (VPUs), chips ASIC personalizados diseñados específicamente para cargas de trabajo de conocimiento cero, que prometen mejorar aún más la eficiencia y reducir el consumo energético [18].
Compromiso de estado y publicación de lotes
Polygon zkEVM mantiene la integridad del estado de capa 2 mediante un árbol de estado criptográfico, específicamente un Árbol de Patricia Merkle, que representa el estado completo de la red: saldos de cuentas, almacenamiento de contratos y códigos. Cada transición de estado actualiza este árbol, produciendo una nueva raíz de estado que se incluye en cada lote [19].
Los lotes, que contienen transacciones, raíces de estado anteriores y nuevas, y metadatos, se publican en Ethereum a través de un contrato de entrada de lotes. Los datos se almacenan como calldata, garantizando la disponibilidad de datos y permitiendo que cualquier observador reconstruya el estado de capa 2. Futuras mejoras, como la implementación de EIP-4844 (Proto-Danksharding), permitirán usar blobs para reducir aún más los costos de publicación [20].
Finalidad y consistencia entre capas
La consistencia entre capa 1 y capa 2 se garantiza mediante el anclaje criptográfico de cada raíz de estado en Ethereum. Una vez que el contrato verificador acepta una prueba de validez, la raíz de estado se considera final. Los nodos completos pueden reconstruir el estado de capa 2 únicamente a partir de los datos publicados en capa 1, asegurando una sincronización sin confianza.
Para los usuarios, la finalidad se divide en tres estados:
- Confianza: Transacción confirmada en capa 2 (~2–3 segundos).
- Virtual: Lote enviado a capa 1, pero prueba aún no verificada.
- Consolidado: Prueba verificada en Ethereum (~30–60 minutos), necesario para retiradas [21].
Esta arquitectura permite que Polygon zkEVM ofrezca escalabilidad sin sacrificar la seguridad, posicionándose como una solución clave en la hoja de ruta de escalado de Ethereum.
Equivalencia con la EVM y experiencia para desarrolladores
Polygon zkEVM logra una equivalencia con la Máquina Virtual de Ethereum (EVM) al ejecutar directamente el bytecode de Ethereum sin necesidad de modificar los contratos inteligentes existentes [22]. Este enfoque, clasificado como un zkEVM de Tipo 3 según la taxonomía de Vitalik Buterin, busca equilibrar la compatibilidad con el rendimiento, permitiendo que los desarrolladores desplieguen aplicaciones descentralizadas (dApps) de Ethereum con mínimas o ninguna alteración [23]. Aunque no alcanza la equivalencia total del Tipo 1, el sistema se ha acercado significativamente gracias a mejoras como la actualización Etrog, que lo posicionó como un zkEVM de Tipo 2 en pruebas [24]. La arquitectura se basa en traducir cada operación de la EVM a restricciones criptográficas mediante un sistema de circuitos, asegurando que todas las transiciones de estado cumplan con las reglas de Ethereum [25].
Experiencia para desarrolladores y herramientas compatibles
La experiencia para desarrolladores en Polygon zkEVM es notablemente fluida gracias a su compatibilidad con el ecosistema de herramientas estándar de Ethereum. Se recomienda especialmente el uso de Hardhat como marco de desarrollo principal, permitiendo la compilación, despliegue, prueba y verificación de contratos inteligentes con configuraciones mínimas [26]. Los desarrolladores pueden integrar fácilmente Polygon zkEVM en sus flujos de trabajo añadiendo el punto final RPC y el ID de cadena correspondiente al archivo de configuración de Hardhat. Además, Foundry también es completamente compatible, ofreciendo a los usuarios de línea de comandos una alternativa eficiente para interactuar con la red [27]. Remix, el entorno de desarrollo integrado (IDE) basado en navegador, también es funcional al conectar una billetera como MetaMask configurada con la red zkEVM [28]. Aunque Truffle no se destaca en la documentación oficial, su compatibilidad se deriva de la equivalencia EVM, permitiendo su uso mediante la configuración adecuada de redes personalizadas [29].
Diferencias en mecánicas de gas y ciclo de vida de transacciones
A pesar de la compatibilidad general, existen diferencias clave en las mecánicas de gas y el ciclo de vida de las transacciones que los desarrolladores deben considerar. Polygon zkEVM implementa un modelo de precio efectivo del gas (EGP) que combina el costo de ejecución en capa 2 (L2) con el costo de disponibilidad de datos en capa 1 (L1) [30]. Esto contrasta con el modelo tradicional de Ethereum, donde el precio del gas depende principalmente de la congestión de la red. Como resultado, las tarifas en zkEVM son significativamente más bajas, en promedio alrededor de 7 veces más económicas que en el mainnet de Ethereum, lo que mejora la accesibilidad [31]. Sin embargo, la finalidad de las transacciones ocurre en múltiples etapas: una confirmación rápida en L2 (~2-3 segundos), seguida de la verificación de la prueba de conocimiento cero en Ethereum, que puede tardar entre 30 y 60 minutos para alcanzar la finalidad consolidada [21]. Esta demora es crítica para operaciones como retiros a Ethereum, lo que obliga a los desarrolladores a diseñar flujos de usuario que gestionen adecuadamente estas expectativas.
Herramientas de depuración y observabilidad
Para facilitar la depuración y el análisis, Polygon zkEVM proporciona un conjunto robusto de herramientas de observabilidad que replican la experiencia de Ethereum. Los desarrolladores pueden utilizar métodos de depuración RPC como debug_traceTransaction y trace_replayTransaction para inspeccionar paso a paso la ejecución de transacciones, identificar reversiones y analizar el consumo de gas a nivel de opcode [33]. Estas herramientas están disponibles a través de proveedores de infraestructura como QuickNode y Alchemy, y son compatibles con entornos como Remix y Hardhat [34]. Además, se puede desplegar un nodo local zkNode para pruebas y depuración aisladas, lo que permite simular el entorno completo antes del despliegue en testnet o mainnet [35]. La documentación también incluye referencias detalladas de códigos de error y guías para verificar el estado de las transacciones, lo que mejora significativamente la capacidad de diagnóstico [36].
Movilidad de activos y interoperabilidad entre capas
La infraestructura de puentes es fundamental para la experiencia del desarrollador, ya que permite la movilidad de activos y la interoperabilidad entre contratos. El Puente Unificado de Polygon y su contrato inteligente subyacente PolygonZkEVMBridgeV2.sol facilitan depósitos y retiros de ETH y tokens ERC-20 entre Ethereum y zkEVM [37]. Para integraciones programáticas, el SDK Matic.js proporciona una interfaz de alto nivel en JavaScript para gestionar transferencias y pasar mensajes arbitrarios entre capas [38]. Esta capacidad de paso de mensajes permite escenarios avanzados como la ejecución de gobernanza cruzada o la sincronización de estados, ampliando el potencial para construir aplicaciones verdaderamente componibles y distribuidas entre capas [39]. Aunque los retiros pueden tardar varias horas debido al tiempo de verificación de pruebas, el sistema garantiza seguridad y transparencia, con herramientas de indexación que permiten monitorear operaciones en tiempo real [40].
Mecanismos de escalado y pruebas de conocimiento cero
Polygon zkEVM emplea un enfoque avanzado de escalado basado en la tecnología de rollups de conocimiento cero (zk-rollup), que permite aumentar significativamente el rendimiento de las transacciones mientras reduce los costos de gas, todo ello sin comprometer la seguridad de Ethereum. A diferencia de las soluciones optimistas, que asumen la validez de las transacciones y dependen de pruebas de fraude, Polygon zkEVM utiliza pruebas de validez criptográficas para garantizar que cada transición de estado sea correcta antes de ser aceptada en la capa 1 (L1) [3]. Este mecanismo se basa en pruebas de conocimiento cero, específicamente en zk-SNARKs (argumentos de conocimiento cero succinct non-interactive), que permiten verificar la corrección de cálculos complejos sin revelar los datos subyacentes [42].
Validación criptográfica y escalabilidad
La principal ventaja de este modelo es que elimina la necesidad de períodos de desafío de hasta siete días, como ocurre en los rollups optimistas. En su lugar, una vez que se genera y verifica la prueba de validez en Ethereum, el estado se considera final. Este proceso reduce el tiempo de finalidad de retiros a aproximadamente 30–60 minutos, un gran avance en comparación con los rollups basados en pruebas de fraude [21]. Además, al no requerir que todos los nodos de Ethereum vuelvan a ejecutar cada transacción, el sistema aligera enormemente la carga computacional sobre la red principal, permitiendo un aumento significativo en el número de transacciones por segundo (TPS) sin sacrificar la descentralización.
La escalabilidad se logra mediante el procesamiento fuera de cadena de múltiples transacciones, que se agrupan en lotes. Un sistema especializado, el zkProver, genera una prueba criptográfica que certifica que todas las transacciones del lote se ejecutaron correctamente según las reglas de la Máquina Virtual de Ethereum (EVM). Esta prueba, extremadamente compacta, se envía a un contrato verificador en Ethereum, que la valida en una fracción del tiempo que tomaría re-ejecutar las transacciones [44]. Gracias a esta eficiencia, incluso nodos con recursos limitados pueden participar en la verificación, lo que fortalece la descentralización y la accesibilidad.
Arquitectura de pruebas recursivas y optimización del prover
Para hacer viable la generación de pruebas a gran escala, Polygon zkEVM implementa una arquitectura de prueba recursiva, que combina STARKs y SNARKs. Este enfoque jerárquico permite generar pruebas para subconjuntos de transacciones y luego componerlas en una única prueba final más pequeña. Este proceso, conocido como recursión STARK, reduce significativamente el costo computacional y el tiempo de generación de pruebas, mejorando el rendimiento general del sistema [45]. Por ejemplo, en redes de prueba, la recursión permitió reducir el tiempo de generación de pruebas de 10 minutos a solo 4 minutos por lote.
Además, se han introducido optimizaciones clave en el backend del prover. Una mejora específica en el sistema Groth16, una variante de zk-SNARK, logró acelerar la generación de pruebas hasta en un 40%, reduciendo así la latencia y los costos operativos [15]. Estas optimizaciones incluyen mejoras en la aritmética de curvas elípticas, implementaciones eficientes de transformadas rápidas de Fourier (FFT) y una refactorización de circuitos para reducir el grado de los polinomios.
Aceleración por hardware y rendimiento
Para abordar el alto costo computacional de la generación de pruebas, Polygon zkEVM ha adoptado estrategias de aceleración por hardware. Se han desarrollado implementaciones basadas en FPGA (Field-Programmable Gate Array) que lograron generar una prueba para un lote de 500 transacciones en solo 84 segundos, superando en un 40% a los sistemas basados únicamente en CPU [17]. Asimismo, se han optimizado provers para aprovechar la potencia de procesamiento paralelo de las GPU, especialmente en operaciones como la Transformada Teórica de Números (NTT), críticas para el rendimiento del prover [48].
A largo plazo, Polygon Labs ha anunciado una colaboración con Fabric para desarrollar Unidades de Procesamiento Verificable (VPUs), chips ASIC personalizados diseñados específicamente para cargas de trabajo de conocimiento cero. Estas VPUs buscan eliminar cuellos de botella en operaciones como compromisos polinómicos, FFTs y operaciones de curva elíptica, haciendo que la generación de pruebas sea más rápida, eficiente energéticamente y económicamente viable a escala [18].
Fundamentos criptográficos: PLONK, UltraPLONK y compromisos KZG
El sistema de pruebas de Polygon zkEVM se basa en los marcos PLONK y UltraPLONK, que proporcionan una estructura universal y actualizable para codificar afirmaciones computacionales complejas en circuitos de conocimiento cero. PLONK permite una aritmetización eficiente de las operaciones de la EVM, mientras que UltraPLONK extiende esta capacidad con puertas personalizadas y argumentos de búsqueda, lo que facilita la implementación eficiente de operaciones costosas como Keccak256, SHA256 y aritmética de curva elíptica [9].
Estos marcos dependen de esquemas de compromiso polinómico, en particular los compromisos KZG (Kate-Zaverucha-Goldberg), que permiten comprometerse con polinomios sin revelarlos completamente. Los compromisos KZG son fundamentales para la eficiencia de las pruebas, ya que permiten pruebas de tamaño constante y verificación en tiempo logarítmico, lo que minimiza el costo de gas en Ethereum. Para mejorar aún más esta verificación, se espera la implementación de EIP-8149, que permitirá la evaluación múltiple de puntos KZG en una sola operación en cadena [13].
Sin embargo, los compromisos KZG requieren una configuración confiable (trusted setup), una ceremonia de computación multipartita (MPC) que genera una cadena de referencia estructurada (SRS). La seguridad del sistema depende de que al menos un participante en esta ceremonia sea honesto y destruya su parte del secreto, garantizando que el "residuo tóxico" nunca sea conocido por completo [52]. Esta configuración única permite la reutilización de parámetros a lo largo del tiempo, reduciendo la sobrecarga operativa.
En resumen, los mecanismos de escalado de Polygon zkEVM se basan en una combinación sofisticada de pruebas de validez criptográfica, arquitectura recursiva, optimizaciones del prover y aceleración por hardware. Este enfoque logra un equilibrio entre compatibilidad con la EVM, escalabilidad y seguridad, posicionando a la solución como un ejemplo clave del potencial de los zk-rollups para el ecosistema de Ethereum.
Finalidad de las transacciones y disponibilidad de datos
La finalidad de las transacciones en Polygon zkEVM y la disponibilidad de datos son fundamentales para garantizar la seguridad, escalabilidad y confianza en este sistema de capa 2 (capa 2) basado en zk-rollup. A diferencia de otras soluciones, el modelo de finalidad y disponibilidad de datos en Polygon zkEVM combina la rapidez de la ejecución fuera de cadena con la robustez de la verificación en la capa 1 (capa 1) de Ethereum, asegurando que los usuarios puedan confiar en la integridad de sus transacciones sin sacrificar la descentralización.
Finalidad de las transacciones en múltiples etapas
La finalidad de las transacciones en Polygon zkEVM se divide en tres fases distintas, cada una con diferentes niveles de seguridad y tiempo de confirmación. Esta arquitectura permite una experiencia de usuario rápida mientras se mantiene la seguridad heredada de Ethereum.
-
Finalidad de confianza (trusted finality): Ocurre en aproximadamente 2 a 3 segundos tras la inclusión de la transacción en un lote por parte del secuenciador. En esta etapa, la transacción se considera confirmada en la capa 2 y puede ser utilizada inmediatamente para interacciones dentro del ecosistema zkEVM [53]. Sin embargo, aún no está protegida por la seguridad de Ethereum.
-
Finalidad virtual (virtual finality): Se alcanza cuando el lote de transacciones se envía a Ethereum como calldata, haciendo que los datos estén disponibles para su verificación. Aunque el estado aún no ha sido validado criptográficamente, la disponibilidad de datos en la capa 1 previene ataques de retención de datos.
-
Finalidad consolidada (consolidated finality): Es el estado más seguro, alcanzado tras la verificación exitosa de la prueba de conocimiento cero (zk-SNARK) en un contrato verificador de Ethereum. Este proceso toma entre 30 y 60 minutos, dependiendo del tiempo necesario para generar y verificar la prueba [21]. Solo en este punto se considera que la transacción es irreversible y se puede retirar fondos a Ethereum.
Esta estructura de finalidad escalonada contrasta con los rollups optimistas (optimistic rollup), donde la retirada de fondos requiere un periodo de desafío de hasta 7 días, y con las cadenas laterales (sidechain), que no heredan directamente la seguridad de Ethereum [53].
Disponibilidad de datos en la capa 1
La disponibilidad de datos es un principio clave en los rollups de conocimiento cero, ya que sin ella, incluso con pruebas válidas, sería imposible reconstruir el estado de la cadena en caso de fallo del operador. Polygon zkEVM garantiza la disponibilidad de datos publicando todos los datos necesarios para reconstruir el estado de la capa 2 directamente en Ethereum como calldata.
Esta práctica asegura que:
- Cualquier nodo puede verificar el estado actual del zkEVM sin depender del secuenciador.
- Los usuarios pueden forzar la inclusión de transacciones (mediante mecanismos de force batch) si el secuenciador centralizado actúa de forma maliciosa o se vuelve inaccesible [56].
- Se previenen ataques de censura y retención de datos, ya que todos los datos están disponibles públicamente en la capa 1.
Además, con la implementación futura de propuestas como EIP-4844 (Proto-Danksharding) y EIP-8142, se espera que los costos de publicación de datos disminuyan aún más al utilizar blobs en lugar de calldata, mejorando así la eficiencia económica del sistema [20].
Mecanismos de consistencia entre capas
Para mantener la consistencia entre la capa 1 y la capa 2, Polygon zkEVM utiliza compromisos de estado basados en árboles criptográficos, como el árbol de Merkle y el árbol de Patricia. Cada transición de estado en la capa 2 actualiza un árbol de estado que genera una raíz de estado (state root), la cual es verificada mediante pruebas de validez antes de ser aceptada en Ethereum.
Este proceso asegura que:
- El estado final en Ethereum refleje exactamente el resultado de las transacciones ejecutadas en zkEVM.
- Cualquier intento de incluir un estado incorrecto será detectado y rechazado por el contrato verificador.
- Los usuarios pueden retirar fondos presentando pruebas de inclusión de Merkle que demuestren su saldo en un estado verificado [28].
Impacto en la experiencia del desarrollador
Desde la perspectiva del desarrollador, la arquitectura de finalidad y disponibilidad de datos en Polygon zkEVM requiere un diseño consciente de los tiempos de finalidad, especialmente en aplicaciones que involucren retiradas o interacciones críticas con Ethereum. Aunque las transacciones se confirman rápidamente en la capa 2, las funciones que dependen de la finalidad consolidada deben manejar adecuadamente el retraso de 30 a 60 minutos.
Herramientas como PolygonScan (zkevm.polygonscan.com) permiten rastrear el progreso de las transacciones a través de sus diferentes estados de finalidad, facilitando el diagnóstico y la observabilidad. Además, los desarrolladores pueden utilizar métodos de depuración como debug_traceTransaction y trace_replayTransaction para analizar ejecuciones fallidas y optimizar contratos [33].
En resumen, Polygon zkEVM equilibra velocidad y seguridad mediante un modelo de finalidad en múltiples etapas y una rigurosa política de disponibilidad de datos en la capa 1. Este enfoque permite una experiencia de usuario rápida y económica, al tiempo que hereda la seguridad de Ethereum, posicionándose como una solución robusta dentro del ecosistema de escalado de Máquina Virtual de Ethereum (EVM).
Puentes y movilidad de activos entre capas
La movilidad de activos entre capas es un componente esencial del ecosistema Ethereum, y en el caso de Polygon zkEVM, se facilita mediante una infraestructura de puentes diseñada para permitir transferencias seguras y eficientes de activos entre la capa 1 (L1) de Ethereum y la capa 2 (L2) del zk-rollup. Este sistema garantiza que los usuarios puedan depositar y retirar fondos sin sacrificar la seguridad, aprovechando al mismo tiempo las ventajas de escalabilidad y bajos costos de la solución de capa 2 [39].
Arquitectura del puente entre Ethereum y Polygon zkEVM
El puente principal que conecta Ethereum con Polygon zkEVM es conocido como el Puente Unificado de Polygon, una arquitectura centralizada en el contrato inteligente PolygonZkEVMBridgeV2.sol [37]. Este contrato actúa como el mecanismo de enlace entre ambas capas, gestionando depósitos, retiros y el paso de mensajes entre contratos inteligentes en L1 y L2. El diseño del puente asegura que todos los datos de transacción necesarios para reconstruir el estado de L2 se publiquen en Ethereum, cumpliendo con el principio de disponibilidad de datos inherente a los zk-rollups [62].
El proceso de transferencia de activos sigue un flujo bien definido:
- Depósito (L1 → L2): El usuario bloquea sus activos (como ETH o tokens ERC-20) en un contrato en Ethereum. Este evento desencadena una actualización de estado en Polygon zkEVM, donde se emiten tokens equivalentes. La confirmación en L2 ocurre en cuestión de segundos, permitiendo una experiencia de usuario rápida.
- Retiro (L2 → L1): Para retirar fondos, el usuario inicia una transacción en L2 que desencadena la quema de tokens locales. Una vez que el contrato verificador en Ethereum valida la prueba de validez (zk-SNARK), los fondos se desbloquean en L1. Este proceso requiere que se complete la verificación de la prueba, lo que toma aproximadamente entre 30 y 60 minutos [21].
Este modelo de puente hereda la seguridad de Ethereum, ya que cualquier intento de fraude sería detectado criptográficamente durante la verificación de la prueba, lo que impide la finalización de transiciones de estado inválidas [28].
Herramientas y experiencia para desarrolladores
Desde el punto de vista del desarrollador, la infraestructura de puentes ofrece una experiencia altamente integrada y compatible con el ecosistema Ethereum existente. La biblioteca @maticnetwork/matic-js (también conocida como Matic.js) proporciona una interfaz de alto nivel para interactuar con el puente de forma programática, permitiendo la implementación de depósitos, retiros y paso de mensajes arbitrarios entre capas sin necesidad de lidiar directamente con la complejidad de los contratos inteligentes subyacentes [38].
Además, el puente soporta paso de mensajes entre contratos, lo que abre la puerta a casos de uso avanzados como:
- Ejecución de gobernanza cruzada
- Sincronización de estados entre aplicaciones en L1 y L2
- Protocolos de DeFi interoperables
Los desarrolladores pueden utilizar contratos adaptadores para personalizar cómo se representan los tokens en cada capa, mejorando así la componibilidad y permitiendo la creación de aplicaciones verdaderamente multi-capa [66].
Alternativas y optimización de rutas
Aunque el Puente Unificado de Polygon es la solución oficial, existen múltiples puentes de terceros que ofrecen rutas alternativas para la movilidad de activos. Plataformas como Rubic, Orbiter Finance y cBridge proporcionan opciones con posibles ventajas en términos de comisiones más bajas o tiempos de ejecución más rápidos para ciertos pares de activos [67]. Estas soluciones complementan la infraestructura principal y aumentan la resiliencia del sistema al ofrecer redundancia y competencia en el mercado de liquidez cruzada.
La integración con billeteras como MetaMask y Enkrypt también simplifica el acceso para los usuarios finales, quienes pueden utilizar interfaces como el Portal de Polygon para realizar transferencias sin necesidad de configuraciones técnicas complejas [68].
Latencia y consideraciones de seguridad
La principal limitación del puente es la latencia en los retiros, que se debe al tiempo necesario para generar y verificar las pruebas de conocimiento cero. Aunque esto introduce un retraso de hasta una hora, es un compromiso deliberado que garantiza la seguridad criptográfica del sistema. A diferencia de los rollups optimistas, que dependen de períodos de desafío de hasta 7 días, Polygon zkEVM ofrece un tiempo de finalidad significativamente más corto gracias a sus pruebas de validez [53].
En resumen, la infraestructura de puentes en Polygon zkEVM equilibra eficiencia, seguridad y facilidad de uso, permitiendo una movilidad de activos robusta entre capas. Su diseño aprovecha la compatibilidad con la Máquina Virtual de Ethereum (EVM) y herramientas estándar como Hardhat y Remix, lo que facilita la adopción por parte de desarrolladores y usuarios, mientras mantiene el alto nivel de seguridad proporcionado por la capa 1 de Ethereum [28].
Modelo de seguridad y supuestos de confianza
Polygon zkEVM se basa en un modelo de seguridad robusto que combina garantías criptográficas con mecanismos de confianza mínima para proteger la integridad del sistema. A diferencia de otros enfoques de escalado, su arquitectura de rollup de conocimiento cero (zk-rollup) reemplaza las suposiciones económicas por pruebas matemáticas, lo que permite heredar la seguridad de Ethereum sin depender de vigilantes externos. Este enfoque se centra en la validez criptográfica de cada transición de estado, lo que elimina la necesidad de períodos de desafío prolongados y minimiza los vectores de ataque.
Validación criptográfica frente a pruebas de fraude
El pilar fundamental del modelo de seguridad de Polygon zkEVM es el uso de pruebas de validez basadas en zk-SNARKs y STARKs, en contraste con las pruebas de fraude utilizadas por los rollups optimistas como Optimism o Arbitrum [71]. Mientras que los rollups optimistas asumen que las transacciones son válidas por defecto y permiten desafíos posteriores, Polygon zkEVM exige que cada lote de transacciones esté acompañado de una prueba criptográfica que demuestre su corrección antes de ser aceptado en la capa 1. Esto significa que ninguna transición de estado inválida puede ser finalizada, siempre que las suposiciones subyacentes de la prueba sean sólidas.
Esta diferencia tiene implicaciones profundas en los supuestos de confianza: en lugar de depender de que al menos un validador honesto esté vigilando para detectar fraudes, el sistema se basa únicamente en la solidez matemática de los esquemas de prueba. Esto reduce significativamente los riesgos asociados con la falta de participación o la corrupción de los vigilantes, alineándose con la visión de escalado centrada en rollups de Ethereum [72]. Como resultado, el modelo de seguridad de Polygon zkEVM es más fuerte en términos de garantías de validez, aunque impone mayores costos computacionales en la generación de pruebas.
Pruebas de conocimiento cero y seguridad inherente
La seguridad del sistema se deriva directamente de la fuerza de los esquemas de prueba de conocimiento cero. Polygon zkEVM utiliza un modelo de prueba recursiva, donde múltiples pruebas STARK se agrupan y comprimen en una única prueba SNARK final mediante un proceso conocido como recursión STARK [45]. Esta prueba final se verifica en un contrato inteligente en Ethereum, lo que permite una validación eficiente y de bajo costo en la capa 1. El uso de pruebas recursivas no solo mejora la escalabilidad, sino que también fortalece la seguridad al reducir la frecuencia de verificaciones en cadena, minimizando así la exposición a errores o manipulaciones.
El sistema apunta a un nivel de seguridad de 128 bits, lo que significa que romper la prueba requeriría realizar aproximadamente $2^{128}$ operaciones, una tarea computacionalmente inviable con la tecnología actual y futura previsible [74]. Sin embargo, esta seguridad también depende de la correcta implementación del circuito y de la ausencia de errores en el código. Un ejemplo notable fue una vulnerabilidad relacionada con un error matemático en la validación del resto de la división, que subraya la importancia de auditorías rigurosas y verificación formal [75].
Compromisos de polinomios y configuración confiable
Un componente crítico del sistema de pruebas es el uso de esquemas de compromiso de polinomios, particularmente los compromisos KZG (Kate-Zaverucha-Goldberg), que son fundamentales para los marcos PLONK y UltraPLONK utilizados en Polygon zkEVM [52]. Estos compromisos permiten al probador comprometerse con polinomios que representan la traza de ejecución sin revelarlos completamente, y luego abrirlos en puntos específicos durante la verificación. Esto posibilita pruebas succinctas y verificación eficiente en cadena, ideal para el entorno con restricciones de gas de Ethereum.
Sin embargo, los compromisos KZG requieren una configuración confiable (trusted setup), un proceso en el que se genera una cadena de referencia estructurada (SRS) a partir de una cadena secreta. Si esta cadena secreta (el "residuo tóxico") fuera conocida por un atacante, podría forjar pruebas falsas. Para mitigar este riesgo, Polygon zkEVM se basa en una ceremonia de configuración de múltiples partes (MPC), donde numerosos participadores contribuyen con entropía aleatoria, y el sistema es seguro siempre que al menos un participante sea honesto y destruya su porción del secreto [77]. Ethereum ha llevado a cabo una ceremonia KZG con más de 18,000 participantes, lo que fortalece la descentralización y la confianza en el sistema [52].
Supuestos de confianza en la arquitectura actual
A pesar de sus sólidas garantías criptográficas, la arquitectura actual de Polygon zkEVM opera con ciertos supuestos de confianza durante su fase de transición. El secuenciador es controlado centralmente por Polygon Labs, lo que significa que los usuarios deben confiar en que este operador incluirá sus transacciones y mantendrá la disponibilidad del servicio (liveness) [6]. Aunque el secuenciador no puede forzar un estado inválido gracias a las pruebas de validez, sí puede censurar transacciones o retrasar su inclusión.
Para mitigar estos riesgos, el sistema implementa mecanismos como lotes forzados (force batches), que permiten a los usuarios enviar transacciones directamente al contrato en la capa 1 si el secuenciador falla, garantizando así la resistencia a la censura [56]. Además, existe un Consejo de Seguridad (Security Council), un cuerpo de gobernanza de múltiples firmas, que puede intervenir en casos de emergencia, como ataques o errores del protocolo. Aunque esto introduce un punto central de control, está diseñado como una medida temporal hasta que se logre una descentralización completa.
Minimización de la confianza y verificación descentralizada
El modelo de seguridad de Polygon zkEVM está diseñado para minimizar la confianza en entidades centralizadas. Una vez que una prueba es verificada en Ethereum, cualquier nodo puede validarla con un costo computacional mínimo, lo que permite una verificación descentralizada por parte de cualquier participante en la red [81]. Esto contrasta con los rollups optimistas, donde los usuarios deben confiar en que los validadores estarán monitoreando activamente la cadena para detectar fraudes.
El sistema también reduce la dependencia de "guardianes" al hacer que las pruebas de validez sean una condición necesaria para la finalización. No se requiere que los usuarios o validadores monitoreen continuamente la cadena, ya que cualquier estado inválido será automáticamente rechazado por el contrato verificador. Este diseño se alinea con los principios de descentralización y resistencia al valor extraíble máximo (MEV) de Ethereum, asegurando que la seguridad se mantenga incluso a medida que la red escala [82]. A medida que el proyecto avance hacia una red de secuenciadores compartidos y probadores permisionados, estos supuestos de confianza se reducirán aún más, acercándose a un sistema verdaderamente trustless.
Descentralización y gobernanza del secuenciador
El modelo actual de secuenciador en Polygon zkEVM se basa en un enfoque centralizado, donde el ordenamiento de transacciones y la generación de lotes están controlados por Polygon Labs, la entidad principal detrás del desarrollo del proyecto [6]. Este modelo centralizado fue adoptado inicialmente para garantizar la estabilidad, confiabilidad y eficiencia operativa durante las fases tempranas del lanzamiento, especialmente en el mainnet beta. El secuenciador actúa como un líder único que recopila transacciones del mempool, las ejecuta fuera de la cadena y las agrupa en lotes que luego se envían a Ethereum como calldata, asegurando así la disponibilidad de datos [6]. Aunque este diseño mejora el rendimiento y reduce la latencia, introduce riesgos de centralización, particularmente en términos de resistencia a la censura y disponibilidad, ya que un solo operador tiene la capacidad de retrasar o excluir transacciones.
A pesar de esta centralización inicial, el sistema está diseñado con mecanismos de seguridad que limitan el poder del secuenciador. Gracias al uso de pruebas de validez basadas en conocimiento cero (zk-SNARKs), el secuenciador no puede comprometer la corrección del estado, ya que cualquier transición de estado inválida será rechazada por el contrato verificador en Ethereum [85]. Esto significa que el nivel de confianza requerido se reduce únicamente a la actividad (liveness), no a la correctitud (correctness). Además, para mitigar riesgos de censura, se ha implementado un mecanismo conocido como force batches, que permite a cualquier usuario forzar la inclusión de sus transacciones directamente en el contrato de consenso de Ethereum, aunque con un costo más alto y mayor latencia [56]. Este mecanismo actúa como un escape de emergencia, asegurando que el sistema mantenga propiedades de resistencia a la censura incluso bajo fallos del secuenciador.
Transición hacia la descentralización
El camino hacia una gobernanza más descentralizada del secuenciador está bien definido en la hoja de ruta de Polygon. Una de las piezas clave de esta transición es el protocolo Fernet, diseñado para permitir una selección descentralizada de secuenciadores [87]. Fernet busca eliminar la dependencia de un operador centralizado al permitir que múltiples nodos participen en el ordenamiento de transacciones, rotando el derecho a secuenciar lotes entre participantes elegibles basados en requisitos de participación y reputación. Este enfoque distribuye el control y aumenta la resistencia a fallos y ataques. Aunque el protocolo aún no se ha implementado completamente en el mainnet, su desarrollo representa un paso crítico hacia un modelo de secuenciador más abierto y resistente.
La gobernanza del secuenciador también está evolucionando hacia estructuras más descentralizadas. Actualmente, Polygon zkEVM incluye un Consejo de Seguridad, un grupo multifirmas que puede intervenir en caso de fallos críticos o amenazas al sistema, permitiendo pausar temporalmente el protocolo o retrasar retiros [88]. Este mecanismo, aunque centralizado, actúa como una medida de seguridad temporal durante la fase beta. El plan a largo plazo es reemplazar estos controles administrativos con mecanismos de gobernanza comunitaria basados en un modelo de DAO (Organización Autónoma Descentralizada), alineado con la visión general de Polygon 2.0, que busca integrar cadenas como Polygon PoS y zkEVM en una arquitectura modular y segurizada por conocimiento cero [89]. Este modelo de gobernanza permitiría a los titulares de tokens participar en decisiones críticas mediante votación, reduciendo así las asunciones de confianza en entidades centralizadas.
Comparación con otros ecosistemas de zk-Rollups
En comparación con otros ecosistemas de zk-Rollups, el enfoque de Polygon zkEVM refleja un equilibrio entre seguridad temprana y evolución progresiva hacia la descentralización. Por ejemplo, proyectos como Taiko y Aztec han implementado desde el inicio mecanismos de secuenciador completamente permisionados, donde cualquier nodo puede participar en el ordenamiento de transacciones tras cumplir con requisitos de apuesta [90]. En contraste, Polygon zkEVM priorizó la estabilidad inicial, lo que ha permitido una adopción más rápida por parte de desarrolladores y usuarios, pero a costa de una mayor centralización temporal. Otros proyectos como zkSync también están en proceso de descentralización, con planes para subastas de secuenciadores, mostrando una tendencia general en la industria hacia modelos más abiertos [91].
La ventaja competitiva de Polygon zkEVM radica en su profunda integración con el ecosistema existente de Polygon PoS, donde los validadores ya pueden participar en redes de consenso basadas en participación. Se espera que esta base de validadores pueda extenderse a zkEVM en el futuro, facilitando una transición más fluida hacia una red de validación permisionada. Además, la introducción de incentivos económicos, como recompensas por la generación de pruebas válidas y penalizaciones por comportamiento malicioso, será clave para alinear los intereses de los participantes con la integridad del sistema [92]. Aunque los detalles específicos de los bonos y los mecanismos de penalización aún no están completamente implementados, el diseño arquitectónico ya soporta estos modelos, sentando las bases para un sistema de seguridad económico robusto.
En resumen, aunque el secuenciador de Polygon zkEVM opera actualmente bajo un modelo centralizado, el proyecto ha establecido una hoja de ruta clara hacia la descentralización mediante protocolos como Fernet, mecanismos de gobernanza comunitaria y la integración con redes de validación existentes. Este enfoque evolutivo busca equilibrar la eficiencia y la seguridad en las fases iniciales con la promesa de un sistema más resistente, transparente y alineado con los principios de la descentralización a largo plazo. A pesar del anuncio de la desactivación progresiva del mainnet beta en 2026, las innovaciones en gobernanza y descentralización desarrolladas para zkEVM continúan influyendo en el futuro de las soluciones de escalado modular dentro del ecosistema Polygon [5].
Optimizaciones criptográficas y rendimiento del prover
El rendimiento del prover en Polygon zkEVM es fundamental para garantizar la escalabilidad y eficiencia del sistema, ya que es responsable de generar pruebas criptográficas que validen la corrección de las transacciones procesadas fuera de la cadena. Para reducir el tiempo y los recursos computacionales necesarios para la generación de estas pruebas, se han implementado diversas optimizaciones criptográficas que mejoran significativamente el rendimiento del prover. Una de las estrategias clave es la composición recursiva de pruebas, que utiliza pruebas STARK para verificar subpruebas y luego comprimir múltiples pruebas en una única prueba final más compacta mediante un sistema SNARK como Groth16 [45]. Este enfoque jerárquico permite procesar lotes más grandes de transacciones y reducir el tiempo de generación de pruebas, que pasó de 10 minutos a solo 4 minutos por lote en las pruebas públicas [95].
Optimizaciones del sistema de pruebas y arquitectura de circuitos
El sistema de pruebas en Polygon zkEVM se basa en los marcos PLONK y UltraPLONK, que ofrecen ventajas significativas en términos de expresividad y eficiencia [9]. PLONK proporciona una estructura universal y actualizable para codificar afirmaciones computacionales complejas en identidades polinómicas, lo que facilita la modularidad y el mantenimiento del circuito. UltraPLONK extiende esta funcionalidad al introducir puertas personalizadas y argumentos de búsqueda, lo que permite implementar operaciones costosas como funciones hash Keccak-256 y aritmética de curvas elípticas de manera más eficiente [97]. Estas optimizaciones reducen el número de restricciones necesarias por operación, lo que a su vez disminuye el grado de los polinomios involucrados y mejora el rendimiento del prover.
Además, el uso de compromisos polinómicos como los de KZG (Kate-Zaverucha-Goldberg) es fundamental en el proceso de generación y verificación de pruebas [12]. Estos compromisos permiten al prover comprometerse con polinomios que representan el rastro de ejecución del EVM sin revelar su forma completa, y luego abrirlos en puntos específicos durante la verificación. La verificación en cadena se realiza mediante operaciones de emparejamiento criptográfico, lo que permite comprobaciones rápidas y de bajo costo en términos de gas en la red principal de Ethereum. Mejoras recientes como la propuesta EIP-8149 para la evaluación múltiple de puntos KZG buscan optimizar aún más este proceso mediante la evaluación por lotes de múltiples pruebas de apertura en una sola operación [13].
Aceleración por hardware y reducción de costos computacionales
Para abordar la intensidad computacional inherente a la generación de pruebas de conocimiento cero, Polygon zkEVM ha adoptado estrategias de aceleración por hardware. Una iniciativa clave es el uso de FPGA (arreglos de compuertas programables por campo), donde Irreducible desarrolló el primer prover completamente acelerado por FPGA para Polygon zkEVM, logrando una aceleración de hasta 2 veces en comparación con las implementaciones de software no modificadas [17]. Este sistema generó una prueba para un lote de 500 transacciones en solo 84 segundos, optimizando cuellos de botella clave como la construcción de árboles de Merkle y los cálculos de extensión de bajo grado (LDE). Además, se han realizado optimizaciones para la aceleración mediante GPU, aprovechando el procesamiento paralelo para operaciones como la transformada numérica teórica (NTT), lo que mejora aún más el rendimiento [48].
A largo plazo, Polygon Labs se ha asociado con Fabric para desarrollar Unidades de Procesamiento Verificables (VPUs), que son circuitos integrados específicos (ASIC) diseñados especialmente para cargas de trabajo de ZK [18]. Estos chips buscan eliminar cuellos de botella de rendimiento al proporcionar hardware dedicado para compromisos polinómicos, FFTs y operaciones de curva elíptica, con el objetivo de hacer que la generación de pruebas ZK sea más rápida, eficiente energéticamente y rentable a escala. Estas innovaciones en hardware, combinadas con optimizaciones criptográficas, han reducido drásticamente el tiempo de generación de pruebas y el costo computacional, lo que permite a Polygon zkEVM soportar un mayor rendimiento de transacciones y facilitar la adopción masiva de soluciones de escalado basadas en ZK.
Estado actual y evolución del proyecto
A partir de 2026, el futuro del proyecto Polygon zkEVM entró en una fase de transición estratégica con el anuncio de su desactivación progresiva. Aunque el mainnet beta continuó operativo, se declaró oficialmente que el proyecto sería retirado durante ese año, marcando un punto de inflexión en la evolución de las soluciones de escalado dentro del ecosistema Polygon [5]. Este cambio refleja una reorientación hacia arquitecturas modulares y soluciones de infraestructura más flexibles, como Polygon CDK y Polygon PoS, que ahora reciben mayor atención estratégica [2].
Fase de desactivación y migración
El proceso de desactivación del mainnet beta de Polygon zkEVM no fue inmediato, sino que incluyó un periodo de transición de al menos 12 meses tras el anuncio. Durante este tiempo, el secuenciador continuó funcionando y se mantuvo la capacidad de realizar transacciones forzadas, lo que permitió a los usuarios retirar sus activos de manera segura y planificar su migración hacia otras plataformas [105]. Este enfoque garantizó que la comunidad y los desarrolladores tuvieran tiempo suficiente para adaptarse sin sufrir pérdidas de fondos o interrupciones abruptas en sus aplicaciones.
Las soluciones recomendadas para la migración incluyen Polygon PoS, una cadena lateral basada en consenso de prueba de participación que ofrece alta escalabilidad, y Polygon CDK, un kit de desarrollo que permite a los equipos crear sus propias cadenas compatibles con Ethereum y basadas en tecnología de rollups. Esta transición responde a una visión más amplia conocida como Polygon 2.0, que busca unificar diferentes redes dentro de un ecosistema interoperable y centrado en la tecnología de conocimiento cero [89].
Innovaciones técnicas y legado del proyecto
A pesar de su desactivación, Polygon zkEVM dejó un legado significativo en el campo de los rollups de conocimiento cero. Durante su ciclo de vida, el proyecto implementó importantes actualizaciones que mejoraron su rendimiento, eficiencia y soberanía de cadena. Entre ellas destacan las actualizaciones Elderberry y Eggfruit, que introdujeron optimizaciones en el sistema de prueba y mejoraron la experiencia de los desarrolladores [107], [108].
Uno de los hitos técnicos más relevantes fue el logro del estatus Type 1 zkEVM en 2024, lo que significa que alcanzó una equivalencia total con la Máquina Virtual de Ethereum (EVM) a nivel de protocolo [109]. Este avance permitió que los contratos inteligentes de Ethereum se ejecutaran sin modificaciones, lo que fortaleció la compatibilidad con herramientas como Hardhat, Foundry y MetaMask [110]. Además, el uso de pruebas de conocimiento cero, específicamente zk-SNARKs y STARKs, sentó las bases para futuras implementaciones de escalado basadas en pruebas de validez.
Contribución al ecosistema y evolución de la gobernanza
El proyecto también avanzó en su camino hacia la descentralización, aunque de manera gradual. Inicialmente operado con un secuenciador centralizado por Polygon Labs, el sistema incorporó mecanismos de seguridad como el Consejo de Seguridad, que podía intervenir en casos de fallos o ataques, y se planificó la implementación del protocolo Fernet, diseñado para permitir una selección descentralizada de secuenciadores [87]. Aunque estos planes no se completaron antes de la desactivación, sentaron las bases para futuras arquitecturas de rollups más descentralizadas.
En cuanto a la gobernanza, el proyecto formó parte de una reestructuración más amplia que incluyó la creación del Consejo del Protocolo y el Consejo del Ecosistema, entidades destinadas a descentralizar la toma de decisiones técnicas y estratégicas [112]. Estos cambios apuntaban a reducir la dependencia de Polygon Labs y a fomentar una gobernanza comunitaria, aunque el enfoque final se desplazó hacia soluciones más modulares como AggLayer, un protocolo de liquidez cruzada que unifica múltiples rollups zk en una sola capa de liquidez [28].
Impacto en el futuro del escalado de Ethereum
Aunque el mainnet beta de Polygon zkEVM fue retirado, su tecnología y investigación continúan influyendo en el desarrollo de soluciones de escalado dentro del ecosistema Ethereum. El enfoque de rollups centrados en pruebas de validez, promovido por este proyecto, alinea con la visión de una "red centrada en rollups" que prioriza la seguridad y escalabilidad sin sacrificar la compatibilidad [72]. Las innovaciones en sistemas de prueba, como el uso de recursión STARK y la optimización del generador de pruebas mediante FPGA y GPU, han sentado precedentes para futuros proyectos de zk-rollup [17], [48].
Además, el proyecto contribuyó al avance de estándares como PLONK y UltraPLONK, que mejoran la expresividad y eficiencia de los circuitos de conocimiento cero, así como al uso de compromisos polinómicos como KZG, que son fundamentales para la generación de pruebas succinctas [9]. Estas contribuciones técnicas aseguran que, incluso después de su desactivación, el impacto de Polygon zkEVM perdure en la evolución del escalado de capa 2.