Resultado contradictorio de los últimos puntos de referencia de OpenVM de @powdr_labs: las autoprecompilaciones para Keccak y U256 en realidad superan a sus contrapartes escritas manualmente y altamente optimizadas. Esto sugiere que la optimización automatizada a nivel de compilador puede superar a los circuitos sintonizados a mano.