Tegenintuïtief resultaat van de nieuwste OpenVM-benchmarks door @powdr_labs: Autoprecompiles voor Keccak en U256 presteren eigenlijk beter dan hun handmatig geschreven, sterk geoptimaliseerde tegenhangers. Dit suggereert dat geautomatiseerde optimalisatie op compiler-niveau handmatig afgestelde circuits kan overtreffen.