Bitget App
Trading Inteligente
Comprar criptoMercadosTradingFuturosEarnCentroMás
Vitalik Buterin propone leanVM, una zkVM minimalista que podría mejorar la escalabilidad y descentralización de Ethereum

Vitalik Buterin propone leanVM, una zkVM minimalista que podría mejorar la escalabilidad y descentralización de Ethereum

CoinotagCoinotag2025/09/08 11:59
Mostrar el original
Por:Jocelyn Blake

  • Diseño zkVM minimalista: 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 generador de pruebas y los costos de verificación en cadena.

  • Presentado por Vitalik Buterin como parte del impulso en 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. Descubrí qué significa para los rollups y el diseño de protocolos — leé 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 generador de pruebas. 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 generador de pruebas 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 de escalabilidad temporales.




¿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 por 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 decisiones 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 generador de pruebas de los rollups al simplificar el modelo de cómputo y la generación de pruebas. Una menor sobrecarga para el generador puede reducir los gastos de los operadores y mejorar el rendimiento para los diseños de optimistic y zk-rollups que adopten herramientas compatibles.

¿Es leanVM seguro en comparación con los zkVMs 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 un 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 generador de pruebas.
  • 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 importante 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 generador de pruebas y permitir una recursión y agregación más eficientes. Desarrolladores e investigadores deberían seguir las discusiones y revisiones por pares en curso para evaluar su adopción práctica.

Historias relacionadas

  • Se crearon millones de nuevas billeteras de Ethereum – Pero los inversores están más bajistas que nunca — hace 2 horas — lectura de 3 min
  • El rally de Ethereum oculta una realidad oscura, advierte un investigador — hace 18 horas — lectura de 2 min
  • Esto es lo que vale Vitalik Buterin, cofundador de Ethereum, en 2025 — hace 24 horas — lectura de 3 min
  • Los ETFs de Ethereum registran salidas por 787 millones de dólares tras entradas récord en agosto — hace 2 días — lectura de 2 min
  • Una ballena de Ethereum despierta tras 3 años – Hace staking de 646 millones de dólares en ETH — hace 3 días — lectura de 2 min
  • Grayscale lanza un ETF de Ethereum que te paga cada 2 semanas — hace 3 días — lectura de 2 min
Por si te lo perdiste: el token de Kinto cae después de que el equipo dijera que Ethereum L2 podría cerrarse tras un hackeo de 1.6 millones de dólares
0

Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.

PoolX: Haz staking y gana nuevos tokens.
APR de hasta 12%. Gana más airdrop bloqueando más.
¡Bloquea ahora!

También te puede gustar

Alliance DAO dice que no apostará en corto contra las L1s, pero las califica como apuestas de baja calidad

Qiao Wang de Alliance DAO duda del valor a largo plazo de los tokens L1, citando la falta de una barrera de entrada sólida. Considera que los tokens L1 son “apuestas de baja calidad”, pero no cree que sean malas inversiones en general. Wang sugiere que la capa de aplicaciones ofrece oportunidades de inversión más seguras con una captura de valor más sólida.

CoinEdition2025/11/30 17:48

Prueba global de OracleX: reconstruyendo el mecanismo de incentivos del mercado de predicciones con "Prueba de Contribución de Comportamiento"

OracleX es una plataforma de predicciones descentralizada basada en el protocolo POC, que utiliza un modelo de doble token y un mecanismo de recompensas por contribución para resolver los problemas del mercado de predicciones, creando así un ecosistema de toma de decisiones basado en la inteligencia colectiva. Resumen generado por Mars AI Este resumen fue generado por el modelo Mars AI, cuya precisión y completitud aún están en proceso de mejora continua.

MarsBit2025/11/30 17:21
Prueba global de OracleX: reconstruyendo el mecanismo de incentivos del mercado de predicciones con "Prueba de Contribución de Comportamiento"

Bitcoin no es “oro digital”; es la moneda madre global en la era de la IA

El artículo refuta la idea de que bitcoin será reemplazado, destacando el valor único de bitcoin como capa de protocolo, incluyendo el efecto de red, la inmutabilidad y su potencial como capa de liquidación global. Además, explora nuevas oportunidades para bitcoin en la era de la inteligencia artificial. Resumen generado por Mars AI Este resumen fue generado por el modelo de Mars AI y su precisión y completitud están en proceso de mejora continua.

MarsBit2025/11/30 17:20
Bitcoin no es “oro digital”; es la moneda madre global en la era de la IA