¿Qué es exactamente LeanVM, que fue propuesto recientemente por Ethereum? Primero, veamos el contexto y las razones. Para entender LeanVM, es necesario conocer el marco leanEthereum. El marco leanEthereum fue propuesto por el investigador de Ethereum Justin Drake como una hoja de ruta de 10 años (publicada el 31 de julio de 2025), cuyo objetivo es alcanzar: un TPS de millones (L1 10k / L2 1M), verificación en tiempo real de zkVM y seguridad contra la computación cuántica. En esta hoja de ruta, se incluye zkVM, y el objetivo de LeanVM es implementar un zkVM minimizado (máquina virtual de conocimiento cero) para la verificación de seguridad, agregación de firmas y pruebas recursivas en la era post-cuántica. El marco leanEthereum consta de tres partes: Lean consensus (consenso simplificado, que utiliza pruebas zk para verificar la raíz del estado, para soportar dispositivos comunes en el hogar), lean execution (ejecución simplificada, que implementa EVM L1 SNARKizado, o introduce RISC-V), y Lean data (datos simplificados, una nueva generación de soluciones de disponibilidad de datos). Es decir, LeanVM es parte de la visión de leanEthereum, que busca mejorar el rendimiento, la seguridad y la descentralización de Ethereum de manera extremadamente simplificada. zkVM permite verificar cálculos y estados sin revelar el contenido específico de los datos, siendo aplicable a la verificación de estado en tiempo real, protección de la privacidad y aplicaciones cross-chain, entre otros. LeanVM se centra en resolver el cuello de botella de cálculo de Ethereum, intentando abordar el problema de que el cálculo en cadena es confiable pero costoso, mientras que el cálculo fuera de la cadena es barato pero carece de confianza. Principalmente intenta lograr pruebas eficientes a través del paradigma multilineal y campos pequeños (como Koala Bear, campo primo de 31 bits), reemplazando el PCS (esquema de compromiso) unidimensional tradicional para reducir el costo de las pruebas. Según su documentación, la arquitectura de LeanVM utiliza principalmente tablas AIR (Representación Intermedia Aritmética) como compromisos de polinomios multilineales; a través del protocolo de verificación de sumas, se simplifica la evaluación a una sola declaración polinómica; el conjunto de instrucciones básico incluye suma, multiplicación, referencia (acceso a memoria) y saltos condicionales. Se eliminan los registros de punteros de asignación (AP), utilizando memoria de solo lectura (partes públicas y comprometidas), dependiendo de las sugerencias del probador para asignar marcos; en términos de optimización, se utiliza logup star para reducir el costo de compromiso, comprometiendo solo 5 elementos de campo por ciclo (PC, FP y tres índices de memoria), en comparación con otros zkVM (como KO) que comprometen más de 18, pero aumentando la restricción a 5; soporta pruebas recursivas: el rendimiento no optimizado actual es de 2.7 segundos por parte recursiva, con un objetivo de aceleración de más de 10 veces. Los componentes criptográficos incluyen la integración de Poseidon 2 (función hash amigable con ZK), soportando elementos de campo de 16 y 24 en precompilación; para la agregación y recursión de XMSS (esquema de firma post-cuántica basado en hash optimizado), la clave pública es de aproximadamente 50 bytes, la firma 3KB, y la verificación <1ms; campos y PCS: campo Koala Bear, PCS multilineal, producto interno y evaluación multilineal en campos extendidos. Desde el punto de vista de la implementación, el verificador de concepto (POC) se implementa en <500 líneas de Python, enfatizando la máxima simplicidad; el compilador soporta la expansión en línea y bucles, pero aún no está maduro; en términos de pruebas, se realizan pruebas unitarias, pruebas de integridad de ida y vuelta, y pruebas de respuestas conocidas, utilizando el marco Pytest. Los escenarios de aplicación de LeanVM incluyen: agregación de firmas (comprimir miles de firmas en una pequeña prueba, aplicable a firmas múltiples); puentes de privacidad, juegos en cadena completos, mercados de predicción, verificación de AI; reutilización cross-chain (posiblemente aplicable a BTC, entre otros); integración con leanMultisig (leanMultisig es un marco de firma múltiple basado en hash, que utiliza firmas de hoja XMSS y agregación, dependiendo de la prueba zk de leanVM para garantizar la seguridad post-cuántica). En cuanto a la implementación de LeanVM, según la información pública más reciente, LeanVM aún se encuentra en las primeras etapas de investigación y desarrollo de prototipos. La hoja de ruta de lean Ethereum se publicará el 31 de julio de 2025, y se estima que en 2026 se completarán las tareas prioritarias de Lean Ethereum, con soporte para el despliegue de la red de pruebas entre 2027 y 2028, y finalización de pruebas en 2029. En general, la implementación de Lean Ethereum tomará al menos de 3 a 5 años. Sin embargo, desde la perspectiva de la hoja de ruta general, el futuro de Ethereum revela un futuro de alto rendimiento, descentralizado, seguro y privado. Una vez que se logre un TPS de millones, el objetivo de convertirse en la capa de liquidación mundial estará más cerca.