Hashing with EdDSA