Additional practical considerations re hash function and zk opcodes

Sorry, my post was unclear. Blake will probably be faster to run on x86 than Poseidon (even on a small field). Perhaps the execution time will be comparable if the field is sufficiently small, in which case Poseidon will be the best of both worlds (as it’s much more efficient to prove with Circle STARKs over a small field). In my opinion such a core level decision warrants benchmarks.