-spec ed25519_sign(jose_curve25519:message(), jose_curve25519:eddsa_secret_key()) ->
                jose_curve25519:signature().

-spec ed25519_verify(jose_curve25519:maybe_invalid_signature(),
               jose_curve25519:message(),
               jose_curve25519:eddsa_public_key()) ->
                  boolean().

-spec ed25519ctx_sign(jose_curve25519:message(),
                jose_curve25519:eddsa_secret_key(),
                jose_curve25519:context()) ->
                   jose_curve25519:signature().

-spec ed25519ctx_verify(jose_curve25519:maybe_invalid_signature(),
                  jose_curve25519:message(),
                  jose_curve25519:eddsa_public_key(),
                  jose_curve25519:context()) ->
                     boolean().

-spec ed25519ph_sign(jose_curve25519:message(), jose_curve25519:eddsa_secret_key()) ->
                  jose_curve25519:signature().

-spec ed25519ph_sign(jose_curve25519:message(),
               jose_curve25519:eddsa_secret_key(),
               jose_curve25519:context()) ->
                  jose_curve25519:signature().

-spec ed25519ph_verify(jose_curve25519:maybe_invalid_signature(),
                 jose_curve25519:message(),
                 jose_curve25519:eddsa_public_key()) ->
                    boolean().

-spec ed25519ph_verify(jose_curve25519:maybe_invalid_signature(),
                 jose_curve25519:message(),
                 jose_curve25519:eddsa_public_key(),
                 jose_curve25519:context()) ->
                    boolean().

-spec eddsa_keypair() -> {jose_curve25519:eddsa_public_key(), jose_curve25519:eddsa_secret_key()}.

-spec eddsa_keypair(jose_curve25519:eddsa_seed()) ->
                 {jose_curve25519:eddsa_public_key(), jose_curve25519:eddsa_secret_key()}.

-spec eddsa_secret_to_public(jose_curve25519:eddsa_secret_key()) -> jose_curve25519:eddsa_public_key().

-spec x25519_keypair() -> {jose_curve25519:x25519_public_key(), jose_curve25519:x25519_secret_key()}.

-spec x25519_keypair(jose_curve25519:x25519_seed()) ->
                  {jose_curve25519:x25519_public_key(), jose_curve25519:x25519_secret_key()}.

-spec x25519_secret_to_public(jose_curve25519:x25519_secret_key()) ->
                           jose_curve25519:x25519_public_key().

-spec x25519_shared_secret(MySecretKey :: jose_curve25519:x25519_secret_key(),
                     YourPublicKey :: jose_curve25519:x25519_public_key()) ->
                        jose_curve25519:x25519_shared_secret().