¿Cuál es exactamente la reciente propuesta de leanVM de Ethereum? Echemos un vistazo a los antecedentes y las razones primero. Para entender LeanVM, primero hay que entender el marco leanEthereum. El marco leanEthereum es una hoja de ruta de 10 años propuesta por el investigador de Ethereum Justin Drake (publicada el 31 de julio de 2025), con el objetivo de la realidad: TPS de nivel de un millón (L1 10k/L2 1M), verificación zkVM en tiempo real y seguridad resistente a la cuántica. Esta hoja de ruta incluye zkVM, y LeanVM tiene como objetivo lograr zkVM (máquinas virtuales de conocimiento cero) minimizadas para la verificación de seguridad, la agregación de firmas y las pruebas recursivas en la era poscuántica. El marco leanEthereum consta de tres partes: Consenso Lean (consenso simplificado, uso de pruebas zk para verificar las raíces del estado para admitir dispositivos domésticos ordinarios), ejecución lean (racionalización de la ejecución, implementación de SNARKed L1 EVM o introducción de RISC-V) y Lean data (racionalización de datos, una nueva generación de esquema de disponibilidad de datos). En otras palabras, LeanVM es parte de la visión de LeanEthereum de mejorar el rendimiento, la seguridad y la descentralización de Ethereum de una manera minimalista. zkVM admite la verificación de cálculos y estados sin revelar contenido de datos específico, lo que lo hace adecuado para la verificación de estado en tiempo real, la protección de la privacidad y las aplicaciones de cadena cruzada. leanVM se enfoca en resolver los cuellos de botella computacionales de Ethereum, tratando de resolver el problema de la computación en cadena confiable pero costosa y la falta de confianza en la computación fuera de la cadena. Principalmente trata de lograr pruebas eficientes a través de paradigmas multilineales y campos pequeños (como Koala Bear, campo primo de 31 bits), reemplazando los PCS (esquemas de compromiso) univariados tradicionales para reducir la sobrecarga de pruebas. Según su documentación, la arquitectura de LeanVM utiliza principalmente tablas AIR (Arithmetic Intermediate Representation) como presentaciones polinómicas multilineales; La validez de las restricciones se demuestra a través del protocolo de verificación de suma y la evaluación se simplifica a una sola declaración polinómica; El conjunto de instrucciones básicas incluye suma, multiplicación, referencia (acceso a la memoria) y salto condicional. Elimine el registro del puntero de asignación (AP), use memoria de solo lectura (secciones públicas y de compromiso) y confíe en las sugerencias del probador (sugerencias) para asignar tramas; En términos de optimización, la estrella de registro se utiliza para reducir los costos de compromiso, y solo se comprometen 5 elementos de campo (PC, FP y tres índices de memoria) por ciclo, que se reduce a menos de 18 en comparación con otros zkVM (como KO), pero el grado de restricción aumenta a 5. Admite prueba recursiva: el rendimiento actual no optimizado es de 2,7 segundos/parte recursiva y la aceleración objetivo es más de 10 veces. El componente de criptografía incluye la integración de Poseidon 2 (función hash compatible con ZK), que admite la precompilación de elementos de 16 y 24 campos; Para la agregación y recursividad de XMSS (Esquema de firma poscuántico de base hash optimizada), la clave común es de aproximadamente 50 bytes, la firma es de 3 KB y el < de verificación es de 1 ms; Campos y PCS: Campos de Koala Bear, PCS multilineal, producto interno y evaluación multilineal en campos extendidos. En términos de implementación, el validador de prueba de concepto (POC) se implementa en < 500 líneas de Python, enfatizando la máxima simplicidad. El compilador admite el despliegue en línea y en bucle, pero aún no está maduro; En términos de pruebas, las pruebas unitarias, las pruebas de integridad de ida y vuelta y las pruebas de respuesta conocida utilizan el marco Pytest. Los escenarios de aplicación de LeanVM incluyen: agregación de firmas (comprimir miles de firmas en pequeñas pruebas, adecuadas para múltiples firmas); agujero de gusano de privacidad, juegos de cadena completa, mercados de predicción, verificación de IA; reutilización entre cadenas (puede aplicarse a BTC, etc.); Integración con leanMultisig (leanMultisig es un marco de firma múltiple basado en hash que utiliza la firma y agregación de hojas XMSS, confiando en las pruebas zk de leanVM para garantizar la seguridad poscuántica). El estado de implementación de LeanVM, según la información pública más reciente, leanVM aún se encuentra en la etapa inicial de investigación y desarrollo de prototipos. La hoja de ruta de Lean Ethereum se publicó el 31 de julio de 2025 y se estima que Lean Ethereum completará las tareas prioritarias en 2026, admitirá el despliegue de la red de prueba en 2027-28 y completará las pruebas en 2029. En general, Lean Ethereum se implementará durante al menos 3-5 años. Sin embargo, al observar la hoja de ruta general, la hoja de ruta de Ethereum para el futuro revela un futuro de alto rendimiento, descentralización, seguridad y privacidad. Una vez que logre un TPS de un millón de niveles, no está lejos de convertirse en la capa de asentamiento del mundo.