Résultat contre-intuitif des derniers benchmarks OpenVM par @powdr_labs : les Autoprécompilations pour Keccak et U256 surpassent en réalité leurs homologues écrits à la main et hautement optimisés. Cela suggère que l'optimisation au niveau du compilateur automatisé peut dépasser les circuits réglés à la main.