Justin Drake says proof systems have improved enough that conventional hash functions now match Poseidon's performance, removing the reason to use a specialised one. A production-ready leanVM is targeted for 2027.