ROUGHTIME -> 20190220 ed25519 rng sha2_64 socket roughtime.h