La propuesta leanVM de Vitalik Buterin es una máquina virtual de conocimiento cero minimalista diseñada para reducir los costos de transacción en Ethereum y mejorar la escalabilidad. Utiliza un ISA de cuatro instrucciones, STARKs multilineales y búsquedas logup para permitir una recursión eficiente y la agregación XMSS con una sobrecarga de procesamiento mucho menor.
-
Diseño minimalista de zkVM: ISA de cuatro instrucciones más STARKs multilineales para pruebas rentables.
-
Apunta a la recursión y la agregación XMSS para reducir la carga de trabajo del probador y los costos de verificación en cadena.
-
Presentado por Vitalik Buterin como parte de la hoja de ruta de Ethereum hacia herramientas criptográficas más ligeras y elegantes.
leanVM: la propuesta minimalista de zkVM de Vitalik Buterin para reducir los costos de Ethereum y aumentar la escalabilidad. Descubre lo que significa para los rollups y el diseño de protocolos — lee ahora.
¿Qué es leanVM y por qué es importante para Ethereum?
leanVM es una máquina virtual de conocimiento cero minimalista propuesta que prioriza la simplicidad y el bajo costo para el probador. El diseño se centra en un ISA de cuatro instrucciones, STARKs multilineales y búsquedas logup para permitir una recursión y agregación eficientes, lo que potencialmente reduce el uso de recursos en comparación con implementaciones zkVM más pesadas.
¿Cómo mejora leanVM la escalabilidad de Ethereum?
leanVM reduce el tiempo del probador simplificando el conjunto de instrucciones y la estructura de la prueba. Los STARKs multilineales disminuyen la sobrecarga del tamaño de la prueba y las búsquedas logup agilizan el acceso al estado. Estas elecciones ayudan a que la recursión y la agregación XMSS sean más económicas, lo que puede traducirse en un mayor rendimiento de los rollups y menores tarifas por transacción.
Vitalik Buterin enmarcó la propuesta como un esfuerzo por escribir “código compacto” y construir primitivas criptográficas mantenibles a largo plazo en lugar de parches temporales de escalabilidad.
¿Cuándo propuso Vitalik leanVM y qué dijo?
La propuesta surgió el 8 de septiembre de 2025 durante una discusión sobre la hoja de ruta de Ethereum. Vitalik Buterin describió leanVM como parte de una fase decisiva para la evolución técnica de Ethereum, enfatizando el diseño de protocolos compactos y elegantes sobre los parches temporales.
¿Cuáles son los aspectos técnicos destacados de leanVM?
Los elementos clave incluyen un ISA de cuatro instrucciones para mantener la semántica de ejecución al mínimo. Esto se combina con STARKs multilineales para reducir la sobrecarga de las pruebas y búsquedas logup para optimizar el acceso al estado. Estas elecciones apuntan explícitamente a hacer que la recursión y la agregación XMSS sean más económicas en la práctica.
Preguntas frecuentes
¿Cómo afectará leanVM a los rollups?
leanVM podría reducir los costos del probador de rollups al simplificar el modelo de computación y la generación de pruebas. Una menor sobrecarga para el probador puede reducir los gastos de los operadores y mejorar el rendimiento para los diseños de optimistic y zk-rollup que adopten herramientas compatibles.
¿Es leanVM seguro en comparación con los zkVM existentes?
La seguridad depende de la implementación y las elecciones criptográficas. leanVM se basa en pruebas STARK, que se consideran seguras ante la computación cuántica; sin embargo, cualquier nueva VM requiere análisis formal y revisión por pares antes de su uso en producción.
Puntos clave
- leanVM apunta al minimalismo: Un ISA de cuatro instrucciones y pruebas compactas buscan reducir los costos del probador.
- Enfocado en recursión y agregación: Los STARKs multilineales y las búsquedas logup hacen que la recursión y la agregación XMSS sean más prácticas.
- Parte de la hoja de ruta a largo plazo de Ethereum: La propuesta refleja un impulso más amplio hacia herramientas criptográficas resilientes y elegantes en lugar de soluciones temporales.
Conclusión
La propuesta leanVM marca un paso notable en la hoja de ruta de Ethereum hacia herramientas zk escalables y rentables. Al enfatizar un ISA minimalista, STARKs multilineales y búsquedas optimizadas, leanVM busca reducir el costo del probador y permitir una recursión y agregación más eficientes. Los desarrolladores e investigadores deben seguir las discusiones y revisiones por pares en curso para evaluar su adopción práctica.
Historias relacionadas
- Millones de nuevas billeteras de Ethereum creadas – Sin embargo, los inversores son más bajistas que nunca — hace 2 horas — 3 min de lectura
- El rally de Ethereum oculta una realidad oscura, advierte un investigador — hace 18 horas — 2 min de lectura
- Así es cuánto vale Vitalik Buterin, cofundador de Ethereum, en 2025 — hace 24 horas — 3 min de lectura
- Los ETF de Ethereum registran salidas de $787M tras entradas récord en agosto — hace 2 días — 2 min de lectura
- Una ballena de Ethereum despierta después de 3 años – Hace staking de $646M en ETH — hace 3 días — 2 min de lectura
- Grayscale lanza un ETF de Ethereum que paga cada 2 semanas — hace 3 días — 2 min de lectura
