(public-key (ecc (curve Ed25519) (q #3AD8F8EEE317921EA26D2D735751060057C9D7E48D579DF22C3ABD28D050D394#) ) )