À quoi ressemble un zkVM conçu spécifiquement pour le consensus Ethereum ? Dans cet épisode (4/6 de la mini-série @LeanEthereum), des chercheurs de la Fondation Ethereum, Thomas Coratger (@tcoratger) et Emile, discutent avec @nico_mnbl de la conception et de l'implémentation de leanVM, la VM minimale utilisée pour l'agrégation de signatures post-quantique. Ils abordent : – Pourquoi leanVM utilise une VM au lieu de circuits fixes pour soutenir l'agrégation flexible XMSS et la composition de preuves récursives – L'architecture de leanVM : un ensemble d'instructions minimal (4 opcodes) conçu pour la simplicité et la vérification formelle – La pile de preuves derrière LeanVM : arithmétisation multilinéaire, vérification de somme, et le schéma d'engagement Weir – Détails d'implémentation : preuve optimisée pour CPU avec Plonky3, techniques SIMD, et hachage Poseidon2 – Benchmarks et contraintes autour de la récursivité et du débit d'agrégation XMSS Ils discutent également de la conception des spécifications, de la méthodologie de benchmarking, et des questions ouvertes autour de l'implémentation de la cryptographie post-quantique dans Ethereum. Écoutez l'épisode complet. —-------------------- HORAIRES 03:36 Pourquoi LeanVM a été choisi 07:50 Conception minimaliste de LeanVM 08:34 Simplicité plutôt que vitesse 19:34 Sécurité et sélection de champ 20:41 Performances et benchmarks d'agrégation 28:14 Spécification Python Ethereum