Resultado contra-intuitivo dos benchmarks OpenVM mais recentes da @powdr_labs: as autopré-compilações para Keccak e U256 realmente superam suas contrapartes altamente otimizadas e escritas manualmente. Isso sugere que a otimização automatizada no nível do compilador pode superar os circuitos ajustados manualmente.