use sha512 as encoders