<div dir="ltr">I want to know if there are key servers (e.g. implementation of the HKP key server protocol) for non-PGP public key cryptography, e.g. Ed25519 etc. Thanks.</div>