Thank you for posting it there. If I understand correctly, the resolution should be to use internal hash algorithms — in this case, SHAKE. Now, the question is whether to wait for the implementation of a public API to make the change as general as possible, or to try implementing it on the PG side?
