hagrid reports ed25519 key as 128-bit long
ed25519 keys should be written as 256
2 dkg@alice:/tmp/cdtemp.8eRJBx$ gpg --search dkg@fifthhorseman.net
gpg: data source: http://testing2.keys.openpgp.org:11371
(1) Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Daniel Kahn Gillmor <dkg@debian.org>
128 bit EDDSA key F20691179038E5C6, created: 2019-01-19
Keys 1-1 of 1 for "dkg@fifthhorseman.net". Enter number(s), N)ext, or Q)uit >
by comparison, SKS reports it as a "256" bit key (also wrong, but closer):
2 dkg@alice:/tmp/cdtemp.8eRJBx$ gpg --keyserver hkps://hkps.pool.sks-keyservers.net --search dkg@fifthhorseman.net
gpg: data source: https://46.4.246.179:443
(1) Daniel Kahn Gillmor <dkg@debian.org>
Daniel Kahn Gillmor <dkg@fifthhorseman.net>
256 bit EDDSA key F20691179038E5C6, created: 2019-01-19, expires: 2021-01-18