Ed25519 Signature Schemes Theory and Practice