A Different 'H' in Ed25519
I understand that the Ed25519 variety of EdDSA uses SHA-512 for the random oracle H. Would replacing H with Keccak be provably secure? I'm in a situation where the systems are constrained in ROM and RAM. Using Keccak in Ed25519 …