Resultado contra-intuitivo dos últimos benchmarks OpenVM por @powdr_labs: Autoprecompilados para Keccak e U256 na verdade superam seus equivalentes escritos manualmente e altamente otimizados. Isto sugere que a otimização automatizada a nível de compilador pode superar circuitos ajustados manualmente.