Ed25519 port from Python and some other experiments