(public-key (ecc (curve Ed25519) (q #F850D8EFF5375F3C31438E582A5D7B78A97734EDCA9DBF639DE984DBC0A07752#) ) )