Rezultat contraintuitiv din cele mai recente benchmark-uri OpenVM de la @powdr_labs: Precompilările automate pentru Keccak și U256 depășesc de fapt omologii lor scrise manual, foarte optimizați. Acest lucru sugerează că optimizarea automată la nivel de compilator poate depăși circuitele reglate manual.