¿Cómo es una zkVM diseñada específicamente para el consenso de Ethereum? En este episodio (6/4 de la @LeanEthereum miniserie), investigadores de la Fundación Ethereum, Thomas Coratger (@tcoratger) y Emile, discuten con @nico_mnbl el diseño e implementación de leanVM, la VM mínima utilizada para la agregación de firmas post-cuántica. Cubren: – Por qué leanVM utiliza una máquina virtual en lugar de circuitos fijos para soportar agregación XMSS flexible y composición de pruebas recursivas – La arquitectura leanVM: un conjunto mínimo de instrucciones (4 opcodes) diseñado para la simplicidad y la verificación formal – La pila de demostración detrás de LeanVM: aritmitización multilineal, comprobación de suma y el esquema de compromiso de Weir – Detalles de implementación: demostración optimizada para CPU con Plonky3, técnicas SIMD y hashing de Poseidon2 – Benchmarks y restricciones en torno al rendimiento de recursión y agregación XMSS También discuten el diseño de especificaciones, la metodología de benchmarking y las preguntas abiertas sobre la implementación de la criptografía post-cuántica en Ethereum. Escucha el episodio completo. —-------------------- CÓDIGOS DE TIEMPO 03:36 Por qué se eligió LeanVM 07:50 Diseño minimalista de LeanVM 08:34 Simplicidad sobre Velocidad 19:34 Seguridad y selección de campo Indicadores de rendimiento y agregación 20:41 Especificación de Ethereum Python 28:14