In the poseidon hasher we can use h(x,y)=hades(x,y,2), which is 1 permutation less compared to state.update(x).update(y).finalize(), since the latter adds a permutation whenever we transition from odd --> even # of arguments (so only one so far) + another one for finalization.