Shouldn't all these ED25519 be Curve25519?