Resultado contraintuitivo de los últimos benchmarks de OpenVM por @powdr_labs: los Autoprecompilados para Keccak y U256 superan en realidad a sus contrapartes escritas a mano y altamente optimizadas. Esto sugiere que la optimización a nivel de compilador automatizado puede superar a los circuitos ajustados a mano.