¿Cómo es un zkVM diseñado específicamente para el consenso de Ethereum? En este episodio (4/6 de la miniserie de @LeanEthereum), investigadores de la Fundación Ethereum, Thomas Coratger (@tcoratger) y Emile, discuten con @nico_mnbl el diseño y la implementación de leanVM, la VM mínima utilizada para la agregación de firmas post-cuánticas. Cubren: – Por qué leanVM utiliza una VM en lugar de circuitos fijos para soportar la agregación flexible de XMSS y la composición de pruebas recursivas – La arquitectura de leanVM: un conjunto de instrucciones mínimo (4 opcodes) diseñado para la simplicidad y la verificación formal – La pila de pruebas detrás de LeanVM: aritmética multilineal, verificación de suma y el esquema de compromiso de Weir – Detalles de implementación: pruebas optimizadas para CPU con Plonky3, técnicas SIMD y hashing Poseidon2 – Referencias y limitaciones en torno a la recursión y el rendimiento de la agregación de XMSS También discuten el diseño de especificaciones, la metodología de benchmarking y preguntas abiertas sobre la implementación de 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 20:41 Rendimiento y Referencias de Agregación 28:14 Especificación de Python de Ethereum