Risultato controintuitivo dai più recenti benchmark di OpenVM di @powdr_labs: gli Autoprecompilatori per Keccak e U256 superano effettivamente i loro omologhi scritti a mano e altamente ottimizzati. Questo suggerisce che l'ottimizzazione automatizzata a livello di compilatore può superare i circuiti ottimizzati a mano.